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...Expert systems with applications, 2021-04, Vol.167, p.114203, Article 114203
2021
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-14
2021
Volltextzugriff (PDF)
Runtime Verification, 2020, Vol.12399, p.3-18
2020
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.394-403
2018
Volltextzugriff (PDF)
Runtime Verification, 2022, Vol.13498, p.200-220
2022
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024, Vol.15222, p.3-20
2024
Volltextzugriff (PDF)
Runtime Verification, 2024, Vol.15191, p.282-301
2024
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Approximate Monitoring
- Computer Science, Software Engineering
- Logic
- Science & Technology - Other Topics
- Abstract Monitor
- Approximation
- Benchmarks
- Boolean
- Boolean Algebra
- Computer Science, Artificial Intelligence
- Computer Science, Hardware & Architecture
- Computer Systems Organization -- Real-Time Systems -- Real-Time System Specification
- Distributed Systems
- Engineering
- Engineering, Electrical & Electronic
- Gpu Programming
Kollektion
Zeitschrift / Serie
Neu hinzugefügt