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, 1998-07, Vol.20 (4), p.707-723
1998
Volltextzugriff (PDF)
Formal methods in system design, 2012-08, Vol.41 (1), p.4-24
2012
Volltextzugriff (PDF)
Computer Aided Verification, 2008, Vol.5123, p.385-398
2008
Volltextzugriff (PDF)
Computer Aided Verification, 2011, Vol.6806, p.592-608
2011
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.124-140
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.374-388
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, Vol.2694, p.171-188
2003
Volltextzugriff (PDF)
2008 10th International Conference on Advanced Communication Technology, 2008, Vol.1, p.105-109
2008
Volltextzugriff (PDF)
Science of computer programming, 2005-10, Vol.58 (1), p.141-178
2005
Volltextzugriff (PDF)
2008 10th International Conference on Advanced Communication Technology, 2008, Vol.1, p.255-258
2008
Volltextzugriff (PDF)
New generation computing, 2004-01, Vol.22 (1), p.1-36
2004
Volltextzugriff (PDF)
Information processing letters, 2002-02, Vol.81 (4), p.179-185
2002
Volltextzugriff (PDF)
International Symposium on Memory Management: Proceedings of the 4th international symposium on Memory management; 24-25 Oct. 2004, 2004, p.97-107
2004
Volltextzugriff (PDF)
Static Analysis, 2003, p.171-188
2003
Volltextzugriff (PDF)
Multimedia Content Analysis and Mining, 2007, Vol.4577, p.184-194
2007
Volltextzugriff (PDF)
2006 8th International Conference Advanced Communication Technology, 2006, Vol.1, p.4 pp.-540
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
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Separation Logic
- Abstract Domain
- Programming Languages
- Shape Analysis
- Software
- Specification Languages
- Static Analysis
- Computer Science, Information Systems
- Data Analysis
- Device Driver
- Engines
- Linux
Kollektion
- IngentaConnect
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- IEEE Xplore
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Elsevier ScienceDirect Journals Collection
- Springer Journals
- Business Source Ultimate
- EZB Electronic Journals Library
- Journals@Ovid