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...Lecture notes in computer science, 2004, p.239-251
2004
Volltextzugriff (PDF)
2009 30th IEEE Symposium on Security and Privacy, 2009, p.141-153
2009
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.237-251
Volltextzugriff (PDF)
Computer Aided Verification, p.470-485
Volltextzugriff (PDF)
2010 23rd IEEE Computer Security Foundations Symposium, 2010, p.3-14
2010
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-07, Vol.219 (Proc. HCVS2016), p.1-14
2016
Volltextzugriff (PDF)
Programming Languages and Systems, p.188-203
Volltextzugriff (PDF)
SIGPLAN notices, 2012-08, Vol.47 (6), p.405-416
2012
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-12, Vol.169 (Proc. HCVS 2014), p.31-38
2014
Volltextzugriff (PDF)
Verified Software: Theories, Tools, Experiments, p.262-280
Volltextzugriff (PDF)
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012, p.405-416
2012
Volltextzugriff (PDF)
Journal of automated reasoning, 2016-06, Vol.57 (1), p.1-2
2016
Volltextzugriff (PDF)
Verified Software: Theories, Tools, Experiments, p.1-21
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.251-266
Volltextzugriff (PDF)
Journal of symbolic computation, 2010-11, Vol.45 (11), p.1212-1233
2010
Volltextzugriff (PDF)
Fields of Logic and Computation II, 2015, Vol.9300, p.24-51
2015
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.415-418
2006
Volltextzugriff (PDF)
Static Analysis, p.105-125
Volltextzugriff (PDF)
SIGPLAN notices, 2016-04, Vol.51 (1), p.69-83
2016
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2019, Vol.11388, p.386-408
2019
Volltextzugriff (PDF)
SIGPLAN notices, 2011-01, Vol.46 (1), p.331-344
2011
Volltextzugriff (PDF)
Lecture notes in computer science, 2007, p.245-259
2007
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.315-331
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Exact Sciences And Technology
- Software
- Computer Science; Control Theory; Systems
- Software Engineering
- Model Check
- Model Checking
- Physical Sciences
- Abstract Interpretation
- Programming Languages
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Abstract Domain
- Chemistry
- Engineering
Kollektion
- Ingenta
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- EZB Electronic Journals Library
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer journals
- IEEE Electronic Library Online
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- Access via ScienceDirect (Elsevier)
- Access via Business Source (EBSCOhost)
- Journals@Ovid
- Wiley Online Library
- Access via Taylor & Francis
- ScienceDirect eBooks
- Wiley Online Library
- Single Journals
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Electronic Proceedings In Theoretical Computer Science
- Journal Of Chromatography. B, Analytical Technologies In The Biomedical And Life Sciences
- Metals
- Acm Sigplan 2007 Conference On Programming Language Design And Implementation; San Diego, Ca; Usa; 10-13 June 2007
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Aspects Of Computing
- Key Engineering Materials
- Materials Science Forum