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...2012 12th International Conference on Application of Concurrency to System Design, 2012, p.132-141
2012
Volltextzugriff (PDF)
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, 2012, p.150-159
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Algorithm Design And Analysis
- Clocks
- Computer Science
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Concolic Testing
- Dynamic Symbolic Execution
- Engineering
- Engineering, Electrical & Electronic
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Heuristic Algorithms
- Indexes
- Partial Order Reduction
- Schedules
- Science & Technology
- Technology
- Testing
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Unfoldings
- Vectors
Kollektion