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...Theorem Proving in Higher Order Logics, 2009, p.23-42
2009
Volltextzugriff (PDF)
Verified Software: Theories, Tools, Experiments, 2014, p.262-280
2014
Volltextzugriff (PDF)
Verified Software: Theorie, Tools, Experiments, 2014, Vol.8164, p.1-21
2014
Volltextzugriff (PDF)
Formal Methods, 2018, Vol.10951, p.671-674
2018
Volltextzugriff (PDF)
Lecture notes in computer science, 2000, p.45-59
2000
Volltextzugriff (PDF)
Interactive Theorem Proving, 2010, p.403-418
2010
Volltextzugriff (PDF)
Verified Software: Theorie, Tools, Experiments, 2014, Vol.8164, p.326-343
2014
Volltextzugriff (PDF)
Verified Software: Theorie, Tools, Experiments, 2014, Vol.8164, p.191-201
2014
Volltextzugriff (PDF)
Verified Software: Theorie, Tools, Experiments, 2014, Vol.8164, p.22-47
2014
Volltextzugriff (PDF)
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, p.63-78
2019
Volltextzugriff (PDF)
Verified Software: Theorie, Tools, Experiments, 2014, Vol.8164, p.242-261
2014
Volltextzugriff (PDF)
Verified Software: Theorie, Tools, Experiments, 2014, Vol.8164, p.281-303
2014
Volltextzugriff (PDF)
FM 2006: Formal Methods, 2006, p.81-81
2006
Volltextzugriff (PDF)
Verified Software: Theorie, Tools, Experiments, 2014, Vol.8164, p.149-169
2014
Volltextzugriff (PDF)
Verified Software: Theorie, Tools, Experiments, 2014, Vol.8164, p.170-190
2014
Volltextzugriff (PDF)
Verified Software: Theorie, Tools, Experiments, 2014, Vol.8164, p.222-241
2014
Volltextzugriff (PDF)
Relations and Kleene Algebra in Computer Science, 2006, p.1-1
2006
Volltextzugriff (PDF)
Verified Software: Theories, Tools, Experiments, 2014, p.88-107
2014
Volltextzugriff (PDF)
Verified Software: Theorie, Tools, Experiments, 2014, Vol.8164, p.304-325
2014
Volltextzugriff (PDF)
Verified Software: Theorie, Tools, Experiments, 2014, Vol.8164, p.129-148
2014
Volltextzugriff (PDF)
Verified Software: Theorie, Tools, Experiments, 2014, Vol.8164, p.48-67
2014
Volltextzugriff (PDF)
Journal of computer security, 2003, Vol.11 (2), p.189-216
2003
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Software
- Life Sciences & Biomedicine
- Memory And File Management
- Memory Organisation. Data Processing
- Computer Science, Software Engineering
- Humans
- Proof Obligation
- Biological And Medical Sciences
- Concurrent Program
- Female
- Medical Sciences
- Separation Logic
- Verification
Kollektion
- IngentaConnect
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Journals@Ovid
- MEDLINE
- EZB Electronic Journals Library
- Publisher or Other Site
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- ACM Digital Library
- Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- ScienceDirect eBooks
- IEEE Electronic Library (IEL)
- Nature
- SAGE Premier Complete
Zeitschrift / Serie
- American Journal Of Human Genetics
- Acm Transactions On Computational Logic
- American Journal Of Pharmaceutical Education
- Electronic Notes In Theoretical Computer Science
- Formal Methods In System Design
- Genetics In Medicine
- Information Processing Letters
- Journal Of Computer Security
- Journal Of Diagnostic Medical Sonography
- Neurology