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...Formal methods in system design, 2016-06, Vol.48 (3), p.175-205
2016
Volltextzugriff (PDF)
Computer Aided Verification, p.846-862
Volltextzugriff (PDF)
Formal methods in system design, 2016-06, Vol.48 (3), p.175-205
2016
Volltextzugriff (PDF)
Computer Aided Verification, p.343-361
Volltextzugriff (PDF)
Computer Aided Verification, p.17-34
Volltextzugriff (PDF)
2015 Formal Methods in Computer-Aided Design (FMCAD), 2015, p.89-96
2015
Volltextzugriff (PDF)
BMC bioinformatics, 2010-10, Vol.11 Suppl 7 (S7), p.S10-S10, Article S10
2010
Volltextzugriff (PDF)
Discrete Applied Mathematics, 2009-08, Vol.157 (16), p.3372-3385
2009
Volltextzugriff (PDF)
Discrete applied mathematics, 2009, Vol.157 (16), p.3372-3385
2009
Volltextzugriff (PDF)
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.441-450
2012
Volltextzugriff (PDF)
Computer Aided Verification, p.310-326
Volltextzugriff (PDF)
Stabilization, Safety, and Security of Distributed Systems, p.458-471
Volltextzugriff (PDF)
2011 Asian Test Symposium, 2011, p.238-243
2011
Volltextzugriff (PDF)
Integration (Amsterdam), 2010, Vol.43 (1), p.58-71
2010
Volltextzugriff (PDF)
Combinatorial Image Analysis, p.1-12
Volltextzugriff (PDF)
Algebraic and Numeric Biology, p.117-135
Volltextzugriff (PDF)
Formal Aspects of Component Software, p.260-276
Volltextzugriff (PDF)
Proceedings of the 16th Asia and South Pacific Design Automation Conference, 2011, p.1-6
2011
Volltextzugriff (PDF)
16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011), 2011, p.1-6
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Engineering
- Computer Science, Hardware & Architecture
- Engineering, Electrical & Electronic
- Model Check
- Computer Science, Software Engineering
- Model Checking
- Verification
- Abstract Interpretation
- Algorithms
- Arithmetic
- Cognition
- Computational Modeling
- Formal Method
- Label Transition System
- Logic
- Mathematics
Kollektion
- IngentaConnect
- SpringerLink Series
- IEEE
- ACM Digital Library
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- MEDLINE
- IngentaConnect Journals
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
Zeitschrift / Serie