Sortiert nach
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.465-480
2018
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.185-194
2018
Volltextzugriff (PDF)
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010, p.292-304
2010
Volltextzugriff (PDF)
SIGPLAN notices, 2010-06, Vol.45 (6), p.292-304
2010
Volltextzugriff (PDF)
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014, p.41-51
2014
Volltextzugriff (PDF)
SIGPLAN notices, 2018-12, Vol.53 (4), p.465-480
2018
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Disjunctive Invariants
- Dynamic Analysis
- Education
- Pattern Matching
- Ranking Functions
- Resource Bound Analysis
- Transitive Closure
- Applied Computing
- Applied Computing -- Education -- Computer-Assisted Instruction
- Applied Sciences
- Clustering
- Computer Science, Theory & Methods
- Computer Science; Control Theory; Systems
- Computer Systems Organization -- Dependable And Fault-Tolerant Systems And Networks -- Availability
- Computer Systems Organization -- Dependable And Fault-Tolerant Systems And Networks -- Reliability
- Computer Systems Performance. Reliability
Kollektion
Zeitschrift / Serie