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, 2024-10, Vol.408, p.73-89
2024
Volltextzugriff (PDF)
Formal aspects of computing, 2023-06, Vol.35 (2), p.1-50, Article 9
2023
Volltextzugriff (PDF)
Foundations of Software Science and Computation Structures, 2016, p.335-352
2016
Volltextzugriff (PDF)
Formal Methods, 2021, Vol.13047, p.182-199
2021
Volltextzugriff (PDF)
Theoretical Aspects of Computing – ICTAC 2014, 2014, p.333-350
2014
Volltextzugriff (PDF)
2014 21st International Symposium on Temporal Representation and Reasoning, 2014, p.174-183
2014
Volltextzugriff (PDF)
2021 60th IEEE Conference on Decision and Control (CDC), 2021, p.1308-1313
2021
Volltextzugriff (PDF)
25th ACM International Conference on Hybrid Systems: Computation and Control, 2022, p.1-11
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Automation & Control Systems
- Decidability
- Logic
- Metric Temporal Logic
- Science & Technology - Other Topics
- Theory Of Computation
- Alternating Simulation
- Automata
- Cognition
- Computer Science, Artificial Intelligence
- Computer Science, Information Systems
- Computer Science, Interdisciplinary Applications
- Computer Systems Organization
- Computer Systems Organization -- Embedded And Cyber-Physical Systems
- Computing Methodologies
Kollektion
Zeitschrift / Serie
Neu hinzugefügt