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...2003, 2003
Volltextzugriff (PDF)
2010 edition, 2010
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.25-41
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.55-72
2003
Volltextzugriff (PDF)
Foundations and trends in programming languages, 2015, Vol.2 (2-3), p.71-190
2015
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.1-18
2003
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.1-24
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.199-215
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.113-129
2005
Volltextzugriff (PDF)
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-10
2014
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.363-379
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.181-198
2005
Volltextzugriff (PDF)
Theoretical computer science, 2011-10, Vol.412 (44), p.6135-6192
2011
Volltextzugriff (PDF)
Journal of the ACM, 2012-12, Vol.59 (6), p.1-56
2012
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.164-180
2005
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.210-225
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.346-362
2005
Volltextzugriff (PDF)
Static Analysis, p.55-72
Volltextzugriff (PDF)
Static Analysis, p.1-18
Volltextzugriff (PDF)
Programming Language Implementation and Logic Programming, 2005, p.269-295
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.413-429
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.380-395
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.233-249
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Technology
- Science & Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Abstract Interpretation
- Software Engineering
- Theory Of Computation
- Computer Science, Information Systems
- Theory Of Computation -- Semantics And Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
- Theory Of Computation -- Logic
- Static Analysis
- Software And Its Engineering
- Model Check
- Verification
Kollektion
- Ingenta
- SpringerLink Series
- ACM Digital Library【Remote access available】
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IEEE Xplore Digital Library
- SpringerLink
- BSC - Ebsco (Business Source Ultimate)
- Oxford Journals
- NOW Research Journals
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Mathematical Sciences Publishers
- Project Euclid
- NUS Single-Journal Subscriptions
Zeitschrift / Serie
- Sigplan Notices
- Theoretical Computer Science
- Acm Sigplan Notices
- Electronic Notes In Theoretical Computer Science
- Information And Computation
- Science Of Computer Programming
- Software Engineering Notes
- 29th Acm Sigplan-Sigact Symposium On Principles Of Programming Languages, Portland, Oregon, Jan. 2002
- Acm Sigops Operating Systems Review
- Acta Informatica