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...Abstract State Machines, Alloy, B, VDM, and Z, 2012, p.194-207
2012
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2010, Vol.6355, p.348-370
2010
Volltextzugriff (PDF)
Computer Aided Verification, 2016, Vol.9780, p.312-332
2016
Volltextzugriff (PDF)
Intelligent Computer Mathematics, 2014, Vol.8543 LNAI, p.108-122
2014
Volltextzugriff (PDF)
Automated Deduction—CADE-11, 2005, p.748-752
2005
Volltextzugriff (PDF)
Programming Languages and Systems, 2013, p.125-128
2013
Volltextzugriff (PDF)
Computer Aided Verification, 2015, p.343-361
2015
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2023, Vol.14308, p.228-246
2023
Volltextzugriff (PDF)
FM 2011: Formal Methods, 2011, p.200-214
2011
Volltextzugriff (PDF)
Transactions on Foundations for Mastering Change I, 2016, p.130-156
2016
Volltextzugriff (PDF)
Computer Aided Verification, 2012, p.4-4
2012
Volltextzugriff (PDF)
Journal of scientific & industrial research (New Delhi, India : 1963), 2022-05, Vol.81 (5)
2022
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, 2012, Vol.7212, p.130-145
2012
Volltextzugriff (PDF)
Mathematical Software – ICMS 2016, 2016, p.451-457
2016
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2010-01, Vol.37 (1), p.1-20
2010
Volltextzugriff (PDF)
Interactive Theorem Proving, 2014, p.93-110
2014
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, Vol.8471 (8471), p.55-71
2014
Volltextzugriff (PDF)
Computer Aided Verification, 2014, p.831-848
2014
Volltextzugriff (PDF)
IEEE access, 2020, Vol.8, p.72814-72834
2020
Volltextzugriff (PDF)
Intelligent Computer Mathematics, 2014, p.169-183
2014
Volltextzugriff (PDF)
ECOOP 2009 -- Object-Oriented Programming, 2009, Vol.5653, p.148-172
2009
Volltextzugriff (PDF)
Specification, Algebra, and Software, 2014, Vol.8373, p.603-629
2014
Volltextzugriff (PDF)
Theories of Programming and Formal Methods, 2013, Vol.8051, p.67-81
2013
Volltextzugriff (PDF)
Deductive Software Verification - the KeY Book, 2016, Vol.10001, p.495-539
2016
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, 2008, Vol.4961, p.16-30
2008
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Proof Obligation
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Software
- Software Engineering
- Theoretical Computing
- Computer Science, Artificial Intelligence
- Model Check
- Proof Assistant
- Theorem Prover
- Symbolic Execution
- Formal Method
- Mathematics
- Abstract Machine
Kollektion
- IngentaConnect
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- EZB Electronic Journals Library
- JSTOR
- ACM Digital Library Complete
- IEEE/IET Electronic Library (IEL)
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Full Text
- Wiley Online Library All Journals
- Worldwide Political Science Abstracts
- MEDLINE
- EBSCOhost Business Source Ultimate
- Taylor & Francis eBooks A-Z
- Wiley Online Library Full Collection 2018
- PAIS Index
- Nexis Uni
Zeitschrift / Serie
- Journal Of Philosophical Logic
- Formal Aspects Of Computing
- Journal Of Medical Ethics
- Acm Transactions On Mathematical Software
- American Philosophical Quarterly
- Australian Journal Of Clinical And Experimental Hypnosis
- Bioethics
- Chronic Diseases And Translational Medicine
- Computer Networks
- Control And Intelligent Systems