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, 2016-11, Vol.229 (Proc. SYNT 2016), p.100-111
2016
Volltextzugriff (PDF)
SIGPLAN notices, 2013-10, Vol.48 (10), p.407-426
2013
Volltextzugriff (PDF)
Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 2015, p.18-29
2015
Volltextzugriff (PDF)
Computer Aided Verification, p.217-233
Volltextzugriff (PDF)
Verified Software: Theories, Tools, Experiments, p.48-67
Volltextzugriff (PDF)
Runtime Verification, p.1-20
Volltextzugriff (PDF)
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications, 2013, p.407-426
2013
Volltextzugriff (PDF)
Proceedings of the 4th Workshop on Scala, 2013, p.1-10
2013
Volltextzugriff (PDF)
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, 2010, p.373-374
2010
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
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- 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
- Satisfiability Modulo Theories
- Inductive Learning
- Logic
- Recursive Function
- Software Synthesis
- Software Verification
- Verification
- Abstract Domain
- Abstract Interpretation
- Composition Operator
Kollektion