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...Electronic proceedings in theoretical computer science, 2010-06, Vol.28 (Proc. QAPL 2010), p.99-113
2010
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-08, Vol.60 (Proc. PACO 2011), p.1-18
2011
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-06, Vol.56 (Proc. AMMSE 2011), p.65-79
2011
Volltextzugriff (PDF)
Formal aspects of computing, 2012-07, Vol.24 (4-6), p.727-748
2012
Volltextzugriff (PDF)
Theoretical computer science, 2012-01, Vol.413 (1), p.58-72
2012
Volltextzugriff (PDF)
Theoretical computer science, 2012, Vol.413 (1), p.58-72
2012
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.88-104
2003
Volltextzugriff (PDF)
SOFSEM 2009: Theory and Practice of Computer Science, p.67-78
Volltextzugriff (PDF)
Computer Performance Engineering, p.268-283
Volltextzugriff (PDF)
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, 2012, p.1-8
2012
Volltextzugriff (PDF)
Information and computation, 2008-02, Vol.206 (2), p.425-459
2008
Volltextzugriff (PDF)
Foundations of Software Science and Computational Structures, p.79-93
Volltextzugriff (PDF)
Lecture notes in computer science, 2000, p.323-338
2000
Volltextzugriff (PDF)
Theoretical computer science, 2006-05, Vol.356 (3), p.325-355
2006
Volltextzugriff (PDF)
Information Security Practice and Experience, p.404-418
Volltextzugriff (PDF)
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, 2012, p.1-7
2012
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, p.88-104
Volltextzugriff (PDF)
CONCUR 2006 – Concurrency Theory, 2006, p.327-342
2006
Volltextzugriff (PDF)
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, 2012, p.1-8
2012
Volltextzugriff (PDF)
Architecting Dependable Systems VI, p.255-283
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2009-12, Vol.13
2009
Volltextzugriff (PDF)
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, 2012, p.1-7
2012
Volltextzugriff (PDF)
Software Language Engineering, p.223-242
Volltextzugriff (PDF)
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, 2012, p.1-8
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Technology
- Science & Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Process Algebra
- Theoretical Computing
- Computer Science, Software Engineering
- Parallel Composition
- Probabilistic Choice
- Branching Bisimulation
- Operational Semantic
- Software
- Software Engineering
- Abstract Syntax
- Algorithmics. Computability. Computer Arithmetics
- Automata. Abstract Machines. Turing Machines
- Compilers
Kollektion
- Ingenta
- Springer Book Series
- ACM Digital Library Complete
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ProQuest Dissertations & Theses A&I
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer journals
Zeitschrift / Serie