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...Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014, p.311-324
2014
Volltextzugriff (PDF)
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022, p.364-378
2022
Volltextzugriff (PDF)
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018, p.1-5
2018
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Hardware & Architecture
- Computer Systems Organization -- Availability
- Computing Methodologies -- Distributed Programming Languages
- Decidability
- Dependent Types
- Engineering
- Engineering, Electrical & Electronic
- Inductive Relations
- Parametric Relations
- Relational Specifications
- Software And Its Engineering -- Formal Software Verification
- Standard Ml
- Theory Of Computation -- Logic
- Theory Of Computation -- Semantics And Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning
Kollektion