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...ACM transactions on programming languages and systems, 2010-08, Vol.32 (6), p.1-84
2010
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.221-239
2006
Volltextzugriff (PDF)
Compiler Construction, 2004, Vol.2985, p.5-23
2004
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2008, Vol.4963, p.124-140
2008
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2010-08, Vol.32 (6)
2010
Volltextzugriff (PDF)
2013 35th International Conference on Software Engineering (ICSE), 2013, p.132-141
2013
Volltextzugriff (PDF)
Automated software engineering, 2015-12, Vol.22 (4), p.517-559
2015
Volltextzugriff (PDF)
Compiler Construction, 2005, p.250-254
2005
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2007, Vol.4349, p.1-28
2007
Volltextzugriff (PDF)
Compiler Construction, 2008, Vol.4959, p.16-35
2008
Volltextzugriff (PDF)
Proceedings of the seventh ACM international conference on Embedded software, 2009, p.49-58
2009
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.434-448
2005
Volltextzugriff (PDF)
ECOOP 2011 – Object-Oriented Programming, 2011, p.583-608
2011
Volltextzugriff (PDF)
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011, p.596-599
2011
Volltextzugriff (PDF)
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011, p.133-142
2011
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2012, Vol.7148, p.235-250
2012
Volltextzugriff (PDF)
High Performance Computing for Computational Science -- VECPAR 2014, 2015, Vol.8969, p.209-223
2015
Volltextzugriff (PDF)
Compiler Construction, 2012, p.144-164
2012
Volltextzugriff (PDF)
Static Analysis, 2008, Vol.5079, p.238-254
2008
Volltextzugriff (PDF)
Formal Verification of Object-Oriented Software, 2012, p.67-85
2012
Volltextzugriff (PDF)
Proceedings of the 25th European conference on Object-oriented programming, 2011, p.583-608
2011
Volltextzugriff (PDF)
Proceedings of the 2013 International Conference on Software Engineering, 2013, p.132-141
2013
Volltextzugriff (PDF)
ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation; 09-10 Jan. 2006, 2006, p.100-111
2006
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Software
- Abstract Interpretation
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software Engineering
- Model Check
- Programming Languages
- Static Analysis
- Abstract Domain
- Computer Bugs
- Program Point
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
- C++
- Call Graph
Kollektion
- Ingenta
- Springer Book Series (Lecture Notes)
- ACM Digital Library (Association for Computing Machinery)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Electronic Library Online
- BSC - Ebsco (Business Source Ultimate)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ProQuest Dissertations & Theses A&I
- Journals@Ovid Full Text
- Springer journals
Zeitschrift / Serie