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...Concurrency and computation, 2014-09, Vol.26 (14), p.2432-2455
2014
Volltextzugriff (PDF)
Software testing, verification & reliability, 2020-11, Vol.30 (7-8), p.n/a
2020
Volltextzugriff (PDF)
Foundational and Practical Aspects of Resource Analysis, 2016, Vol.9964, p.20-39
2016
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2018, Vol.10886, p.139-154
2018
Volltextzugriff (PDF)
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018, p.322-332
2018
Volltextzugriff (PDF)
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2017, p.58-68
2017
Volltextzugriff (PDF)
Foundational and Practical Aspects of Resource Analysis, 2014, Vol.8552, p.93-109
2014
Volltextzugriff (PDF)
Software engineering notes, 2017-01, Vol.41 (6), p.1-5
2017
Volltextzugriff (PDF)
NASA Formal Methods, 2013, p.63-77
2013
Volltextzugriff (PDF)
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, 2010, p.99-108
2010
Volltextzugriff (PDF)
Software engineering notes, 2015-02, Vol.40 (1), p.1-5
2015
Volltextzugriff (PDF)
Proceedings of the 13th workshop on Foundations of aspect-oriented languages, 2014, p.19-22
2014
Volltextzugriff (PDF)
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012, p.135-144
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Complexity Analysis
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Polynomial Interpolation
- Resource Analysis
- Symbolic Execution
- Theory Of Computation -- Logic
- Theory Of Computation -- Semantics And Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Guided Exploration
- Heap Bounds
- Ranking Function
- Software
- Stack Bounds
- Algorithm Design And Analysis
Kollektion
Zeitschrift / Serie