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...ACM transactions on embedded computing systems, 2021-10, Vol.20 (5s), p.1-26, Article 93
2021
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.115-124
2018
Volltextzugriff (PDF)
IEEE robotics and automation letters, 2019-07, Vol.4 (3), p.2910-2917
2019
Volltextzugriff (PDF)
Interactive Theorem Proving, p.207-224
Volltextzugriff (PDF)
Verified Software. Theories, Tools, and Experiments, 2018, Vol.11294, p.112-134
2018
Volltextzugriff (PDF)
Automated Reasoning, 2020, p.454-473
2020
Volltextzugriff (PDF)
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.617-630
2018
Volltextzugriff (PDF)
IFAC-PapersOnLine, 2018, Vol.51 (16), p.55-60
2018
Volltextzugriff (PDF)
Journal of geophysical research. Biogeosciences, 2022-06, Vol.127 (6), p.n/a
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Cyber-Physical Systems
- Computer Systems Organization -- Embedded And Cyber-Physical Systems
- Formal Verification
- Hybrid Games
- Hybrid Systems
- Physical Sciences
- Theory Of Computation -- Logic -- Logic And Verification
- Acceleration
- Automation & Control Systems
- Collision Avoidance
- Component-Driven Verification
- Computer Science, Artificial Intelligence
- Computer Science, Hardware & Architecture
- Computer Systems Organization
- Constructive Logic
Kollektion