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...Informatik-Spektrum, 2020, Vol.43 (2), p.157-158
2020
Volltextzugriff (PDF)
IET cyber-physical systems, 2021-12, Vol.6 (4), p.193-207
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019, Vol.296 (Proc. HCVS/PERR 2019), p.6-13
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.268 (Proc. MARS/VPT 2018), p.185-199
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-10, Vol.167 (Proc. UITP 2014), p.4-13
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-11, Vol.102 (Proc. SSV 2012), p.18-32
2012
Volltextzugriff (PDF)
Automated Reasoning with Analytic Tableaux and Related Methods, 2005, p.78-92
2005
Volltextzugriff (PDF)
Tests and Proofs, p.134-153
Volltextzugriff (PDF)
Service-Oriented Computing – ICSOC 2023 Workshops, p.137-149
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)
Automated Reasoning with Analytic Tableaux and Related Methods, 2005, p.318-322
2005
Volltextzugriff (PDF)
IEEE intelligent systems, 2014-01, Vol.29 (1), p.20-29
2014
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)
IEEE intelligent systems, 2014, Vol.29 (1), p.20-29
2014
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.290-312
2022
Volltextzugriff (PDF)
Deductive Software Verification: Future Perspectives, 2020, Vol.12345 LNCS, p.204-218
2020
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, Software Engineering
- Computer Science, Artificial Intelligence
- Software Engineering
- Artificial Intelligence
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Science, Information Systems
- Mathematics
- Physical Sciences
- Symbolic Execution
- Mathematics, Applied
- Theoretical Computing
- Logical, Boolean And Switching Functions
- Government & Law
- Political Science
Kollektion
- IngentaConnect Journals
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Electronic Library (IEL)
- Springer Nature - Complete Springer Journals
- Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library Complete
- Journals@Ovid Complete
- MEDLINE
- Wiley Online Library All Journals
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- De Gruyter journals
- Oxford University Press Journals Current
- Elsevier ScienceDirect Journals Complete
- Taylor & Francis Journals Complete
- ScienceDirect eBooks
- Jstor Complete Legacy
Zeitschrift / Serie
- Lecture Notes In Computer Science
- Deductive Software Verification – The Key Book
- Journal Of Automated Reasoning
- Ieee Intelligent Systems
- Software And Systems Modeling
- Electronic Proceedings In Theoretical Computer Science
- Formal Aspects Of Computing
- Informatik-Spektrum
- Journal Of Logic And Computation
- Ki. Künstliche Intelligenz
Neu hinzugefügt