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, 2019, Vol.303 (Proc. FROM 2019), p.48-60
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019-01, Vol.286 (Proc. CREST 2018), p.1-15
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-08, Vol.224 (Proc. CREST 2016), p.10-24
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2023-09, Vol.387
2023
Volltextzugriff (PDF)
Science of computer programming, 2017-01, Vol.133, p.194-215
2017
Volltextzugriff (PDF)
Fundamenta informaticae, 2020-01, Vol.173 (2-3), p.217-251
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019-10, Vol.308
2019
Volltextzugriff (PDF)
Algebra and Coalgebra in Computer Science, p.433-442
Volltextzugriff (PDF)
Model Checking Software, p.141-160
Volltextzugriff (PDF)
Model Checking Software, p.3-21
Volltextzugriff (PDF)
Model Checking Software, p.59-80
Volltextzugriff (PDF)
Model Checking Software, p.22-37
Volltextzugriff (PDF)
Model Checking Software, p.41-58
Volltextzugriff (PDF)
Model Checking Software, p.180-187
Volltextzugriff (PDF)
Model Checking Software, p.123-140
Volltextzugriff (PDF)
Model Checking Software, p.103-120
Volltextzugriff (PDF)
Model Checking Software, p.163-179
Volltextzugriff (PDF)
Model Checking Software, p.83-102
Volltextzugriff (PDF)
Model Checking Software, p.188-197
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-08, Vol.62 (Proc. SOS 2011), p.1-15
2011
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2021-06, Vol.121, p.100676, Article 100676
2021
Volltextzugriff (PDF)
Theoretical Aspects of Software Engineering, 2022, Vol.13299, p.290-307
2022
Volltextzugriff (PDF)
Science of computer programming, 2013-09, Vol.78 (9), p.1324-1345
2013
Volltextzugriff (PDF)
Cyber Physical Systems. Design, Modeling, and Evaluation, 2017, Vol.10107, p.31-45
2017
Volltextzugriff (PDF)
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
- Algebra
- Engineering
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Safety
- Bisimilarity
- Circular Coinduction
- Data Structures
- Engineering, Electrical & Electronic
- Hennessy Milner Logic
- Labelled Transition Systems
- Logic
- Logic In Computer Science
- Proof System
Kollektion
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Electronic Notes In Theoretical Computer Science
- Science Of Computer Programming
- Fundamenta Informaticae
- Journal Of Logical And Algebraic Methods In Programming
- Vr Project Effembac, Kks Project Auto-Caas
Neu hinzugefügt