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...1st Edition 2017, 2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019, Vol.311 (Proc. ARCADE 2019), p.37-41
2019
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2021-04, Vol.23 (2), p.255-284
2021
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2021-04, Vol.23 (2), p.209-228
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-08, Vol.254 (Proc. PrePost 2017), p.1-14
2017
Volltextzugriff (PDF)
FM 2012: Formal Methods, 2012, p.68-84
2012
Volltextzugriff (PDF)
Lectures on Runtime Verification, 2018, Vol.10457, p.1-33
2018
Volltextzugriff (PDF)
EPJ Web of Conferences, 2020, Vol.245, p.5013
2020
Volltextzugriff (PDF)
Automated Reasoning with Analytic Tableaux and Related Methods, p.187-199
Volltextzugriff (PDF)
Automated Reasoning with Analytic Tableaux and Related Methods, p.250-265
Volltextzugriff (PDF)
Models, Algorithms, Logics and Tools, p.310-338
Volltextzugriff (PDF)
Lecture notes in computer science, 2017, Vol.10548 LNCS, p.294-311
2017
Volltextzugriff (PDF)
Runtime Verification, p.370-379
Volltextzugriff (PDF)
2022 IEEE International Conference on Big Data (Big Data), 2022, p.4758-4767
2022
Volltextzugriff (PDF)
Runtime Verification, p.416-423
Volltextzugriff (PDF)
Runtime Verification, p.410-415
Volltextzugriff (PDF)
Runtime Verification, p.498-503
Volltextzugriff (PDF)
Lectures on Runtime Verification, 2018, Vol.10457, p.61-102
2018
Volltextzugriff (PDF)
Runtime Verification, p.390-399
Volltextzugriff (PDF)
Automated Deduction – CADE 27, 2019, p.477-494
2019
Volltextzugriff (PDF)
Runtime Verification, p.190-207
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.479-495
Volltextzugriff (PDF)
Automated Reasoning, 2020, p.278-296
2020
Volltextzugriff (PDF)
Aktive Filter
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
- Computer Science, Artificial Intelligence
- Logic
- Science & Technology - Other Topics
- Runtime Verification
- Software Engineering
- Computer Science, Interdisciplinary Applications
- Engineering
- Software Engineering/programming And Operating Systems
- Computer Science, Hardware & Architecture
- Execution Trace
- Formal Methods
- Physical Sciences
- Temporal Logic
- Theorem Proving
- Verification
Kollektion
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Crystal Growth & Design
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Journal On Satisfiability, Boolean Modeling And Computation
- Preventive Medicine Reports
- Software Engineering Notes