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...1st ed. 2019., 2019
Volltextzugriff (PDF)
2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018, Amsterdam, Netherlands, 2019, Vol.302 (Proc. VORTEX 2018), p.32-46
2019
Volltextzugriff (PDF)
Lecture notes in computer science, 2020, Vol.12165 LNCS, p.v
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019-12, Vol.310
2019
Volltextzugriff (PDF)
1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, Crete, Greece, 2024, Vol.14380 LNCS, p.351
2024
Volltextzugriff (PDF)
Deductive Software Verification - the KeY Book, 2016, Vol.10001, p.495-539
2016
Volltextzugriff (PDF)
Lecture notes in computer science, 2019, Vol.11918 LNCS, p.v
2019
Volltextzugriff (PDF)
15th International Conference, IFM 2019, Bergen, Norway, 2019, Vol.11918 LNCS, p.341-359
2019
Volltextzugriff (PDF)
Science of computer programming, 2012-10, Vol.77 (12), p.1289-1309
2012
Volltextzugriff (PDF)
Formal Aspects of Computing, 2024-03, Vol.36 (1), p.1-2, Article 1
2024
Volltextzugriff (PDF)
9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, Rhodes, Greece, 2020, Vol.12478 LNCS, p.9-24
2020
Volltextzugriff (PDF)
Integrated Formal Methods, p.3-24
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.193-228
2022
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.147-172
2022
Volltextzugriff (PDF)
Tests and Proofs, p.23-42
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.408-436
2022
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, p.129-146
2022
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2024-02, Vol.137, p.100939, Article 100939
2024
Volltextzugriff (PDF)
Deductive Software Verification: Future Perspectives, p.21-64
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.446-480
2022
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.290-312
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Symbolic Execution
- Software Engineering
- Proof Obligation
- Dynamic Logic
- Verification
- Artificial Intelligence
- Formal Methods
- Materials Science
- Materials Science, Characterization & Testing
- Software Verification
- Datavetenskap
- Engineering
- Java
- Software
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta
- Springer Book Series
- EZB Electronic Journals Library
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library Complete
- IEEE Electronic Library (IEL)
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid Full Text
- MEDLINE
- Content-Select Global Alltitles
- IngentaConnect Journals
- Publisher or Other Site
Zeitschrift / Serie
- Lecture Notes In Computer Science
- Deductive Software Verification – The Key Book
- Formal Aspects Of Computing
- Formal Methods In System Design
- Software And Systems Modeling
- Contraception
- Geological Society Special Publication
- Geological Society Special Publications
- Cancer Research
- Electronic Notes In Theoretical Computer Science