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...Combinatorics, probability & computing, 2000-03, Vol.9 (2), p.149-166
2000
Volltextzugriff (PDF)
Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018, p.64-75
2018
Volltextzugriff (PDF)
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022, p.153-165
2022
Volltextzugriff (PDF)
Grammatical Inference: Algorithms and Applications, 2002, Vol.2484, p.213-224
2002
Volltextzugriff (PDF)
SIGPLAN notices, 2020-04, Vol.53 (8), p.64-75
2020
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Mathematics
- Physical Sciences
- Applied Sciences
- Artificial Intelligence
- Computer Science, Artificial Intelligence
- Computer Science; Control Theory; Systems
- Declarative
- Dynamic Mixin
- Exact Sciences And Technology
- Formal Verification
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Interactive Proof Systems
- Learning And Adaptive Systems
- Mathematics, Applied
- Query-Based
Kollektion