Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...IEEE intelligent systems, 2014-01, Vol.29 (1), p.20-29
2014
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2021-06, Vol.23 (3), p.285-287
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.279 (Proc. ICE 2018), p.52-67
2018
Volltextzugriff (PDF)
Computer (Long Beach, Calif.), 2011-02, Vol.44 (2), p.82-85
2011
Volltextzugriff (PDF)
Computing and Software Science, p.345-373
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.723-729
Volltextzugriff (PDF)
Journal of automated reasoning, 2024-06, Vol.68 (2), Article 7
2024
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.424-441
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, Vol.3450, p.193-209
2005
Volltextzugriff (PDF)
2010 edition., 2010
Volltextzugriff (PDF)
1, 2012
Volltextzugriff (PDF)
1, 2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019, Vol.302 (Proc. VORTEX 2018), p.1-15
2019
Volltextzugriff (PDF)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.79-90
Volltextzugriff (PDF)
Active Object Languages: Current Research Trends, 2024, p.289-322
2024
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification, and Validation, p.3-8
Volltextzugriff (PDF)
Fundamentals of Software Engineering, p.213-227
Volltextzugriff (PDF)
Journal of automated reasoning, 2010-12, Vol.45 (4), p.327-329
2010
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Software Engineering
- Symbolic Execution
- Artificial Intelligence
- Proof Obligation
- Computer Science, Information Systems
- Dynamic Logic
- Sequent Calculus
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Programming / Software Development
- Software
- Logics And Meanings Of Programs
- Formal Methods
Kollektion
- Ingenta
- Ebook Central Perpetual and DDA
- Springer Book Series
- eBooks on EBSCOhost
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB Electronic Journals Library
- ACM Digital Library Complete
- IEEE Electronic Library (IEL)
- Journals@Ovid Full Text
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford Journals
- EBSCOhost Business Source Ultimate
- IngentaConnect Journals
- JSTOR
- Wiley Online Library All Obooks
- Taylor & Francis Online
- ScienceDirect eBooks
- Taylor & Francis Journals
Zeitschrift / Serie
- Deductive Software Verification – The Key Book
- Lecture Notes In Computer Science
- Journal Of Automated Reasoning
- International Journal On Software Tools For Technology Transfer
- Ieee Intelligent Systems
- Journal Of Logic And Computation
- Software And Systems Modeling
- Theoretical Computer Science
- Acm Transactions On Modeling And Computer Simulation
- Computer
Neu hinzugefügt