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, 2013-01, Vol.129 (Festschrift for Dave Schmidt), p.161-185
2013
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1905-1934, Article 289
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-29
2019
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2007-07, Vol.180 (3), p.15-30
2007
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2015-02, Vol.311, p.1-2
2015
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2005-05, Vol.131, p.63-74
2005
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Abstract Interpretation
- Computer Science, Software Engineering
- Automated Static Analysis
- Backwards Abstract Interpretation
- Biological Systems
- Callback Control Flow
- Dataflow Analysis
- Event-Driven Frameworks
- Formal Software Verification
- Framework Modeling
- Goal-Directed Verification
- Hoare Logic
- Inference
- Javascript
- Logic And Verification
- Logic In Computer Science
Kollektion