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...Mathematical structures in computer science, 2008-10, Vol.18 (5), p.823-894
2008
Volltextzugriff (PDF)
Static Analysis, 2013, Vol.7935, p.388-411
2013
Volltextzugriff (PDF)
Compiler Construction, 2008, Vol.4959, p.197-212
2008
Volltextzugriff (PDF)
Operating Systems Review, 2006, p.177-190
2006
Volltextzugriff (PDF)
Static Analysis, 2013, Vol.7935, p.454-476
2013
Volltextzugriff (PDF)
Static Analysis, 2013, Vol.7935, p.43-62
2013
Volltextzugriff (PDF)
Static Analysis, 2013, Vol.7935, p.238-258
2013
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2013, p.128-148
2013
Volltextzugriff (PDF)
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation, 2014, p.1-2
2014
Volltextzugriff (PDF)
Operating systems review, 2006-10, Vol.40 (4), p.177-190
2006
Volltextzugriff (PDF)
Operating Systems Review, 2007, p.341-354
2007
Volltextzugriff (PDF)
Science of computer programming, 2010-09, Vol.75 (9), p.796-807
2010
Volltextzugriff (PDF)
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software, 2011, p.49-60
2011
Volltextzugriff (PDF)
SIGPLAN notices, 2013-06, Vol.48 (6), p.95-104
2013
Volltextzugriff (PDF)
Formal Verification of Object-Oriented Software, 2011, Vol.6528, p.10-30
2011
Volltextzugriff (PDF)
Conference on Programming Language Design and Implementation: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation : Snowbird, Utah, United States, 2001, p.59-69
2001
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2012-12, Vol.288, p.15-23
2012
Volltextzugriff (PDF)
ECOOP 2012 – Object-Oriented Programming, 2012, p.283-307
2012
Volltextzugriff (PDF)
Static Analysis, 2013, Vol.7935, p.105-125
2013
Volltextzugriff (PDF)
IEEE software, 2004-05, Vol.21 (3), p.92-100
2004
Volltextzugriff (PDF)
ECOOP 2004 - Object-Oriented Programming, 2004, Vol.3086, p.465-490
2004
Volltextzugriff (PDF)
Static Analysis, 2013, Vol.7935, p.1-3
2013
Volltextzugriff (PDF)
Static Analysis, 2010, Vol.6337, p.2-5
2010
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Abstract Interpretation
- Software
- Abstract Domain
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Theory Of Computation -- Logic
- Static Analysis
- Programming Languages
- Software Engineering
- Theory Of Computation -- Semantics And Reasoning
- Computer Programming
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
Kollektion
- ACM Digital Library
- Ingenta.com
- SpringerLink Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- IEEE Electronic Library Online
- EZB Free E-Journals
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Business Source Ultimate
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- MEDLINE
- ProQuest Dissertations & Theses A&I
- IngentaConnect Journals
- Journals@Ovid Complete
Zeitschrift / Serie