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...Science of computer programming, 2015-12, Vol.114, p.7-19
2015
Volltextzugriff (PDF)
Lecture notes in computer science, 2001, p.250-254
2001
Volltextzugriff (PDF)
Journal of logic and computation, 2011-02, Vol.21 (1), p.45-62
2011
Volltextzugriff (PDF)
Software Language Engineering, p.1-18
Volltextzugriff (PDF)
Fundamentals of Software Engineering, p.308-323
Volltextzugriff (PDF)
Mathematical models & methods in applied sciences, 2001-08, Vol.11 (6), p.1101-1127
2001
Volltextzugriff (PDF)
Algebraic Methodology and Software Technology, p.160-166
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2008-02, Vol.198 (1), p.17-32
2008
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.683-689
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2003-09, Vol.89 (1), p.68-83
2003
Volltextzugriff (PDF)
Communications in algebra, 1993-01, Vol.21 (6), p.1889-1907
1993
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2003-08, Vol.80, p.284-288
2003
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2003-08, Vol.80, p.284-288
2003
Volltextzugriff (PDF)
SIGPLAN notices, 2002-12, Vol.37 (12), p.98-107
2002
Volltextzugriff (PDF)
Computer Aided Verification, p.250-254
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
- Model Check
- Label Transition System
- Behavioral Property
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Process Algebra
- State Collapsing
- Tree Compression
- Applied Sciences
- Atomic Action
- Bidder Process
- Binary Decision Diagram
- Compiler Generators
- Composition Operator
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- Taylor & Francis Online
- Oxford Journals
- Taylor & Francis Journals
- Taylor & Francis