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...Lecture notes in computer science, 2005, p.147-163
2005
Volltextzugriff (PDF)
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2008, p.247-260
2008
Volltextzugriff (PDF)
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014, p.73-85
2014
Volltextzugriff (PDF)
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2011, p.173-186
2011
Volltextzugriff (PDF)
Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, 2005, p.1-12
2005
Volltextzugriff (PDF)
Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, 2005, p.91-102
2005
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Theory Of Computation -- Semantics And Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning
- Computer Science
- Computer Science, Software Engineering
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Science & Technology
- Technology
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Inductive Definitions
- Separation Logic
- Shape Analysis
- Symbolic Abstract Domain
- Abstract Interpretation
- Almost Everywhere Invariants
- Almost Type-Consistent Heaps
- Applied Sciences
- Base Domain
- Calling Context
- Computer Science, Theory & Methods
Kollektion