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...Logical methods in computer science, 2024-08, Vol.20, Issue 3
2024
Volltextzugriff (PDF)
Logical methods in computer science, 2023-12, Vol.19, Issue 4, p.6420-6425
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2022-01, Vol.18, Issue 1
2022
Volltextzugriff (PDF)
TheoretiCS, 2023-01, Vol.2
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2020-01, Vol.16, Issue 4
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-09, Vol.226 (Proc. GandALF 2016), p.135-148
2016
Volltextzugriff (PDF)
Information and computation, 2024-12, Vol.301, p.105229, Article 105229
2024
Volltextzugriff (PDF)
Acta informatica, 2018-03, Vol.55 (2), p.91-127
2018
Volltextzugriff (PDF)
Formal methods in system design, 2017-06, Vol.50 (2-3), p.207-248
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-09, Vol.193 (Proc. GandALF 2015), p.1-15
2015
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.277 (Proc. GandALF 2018), p.250-264
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-04, Vol.146 (Proc. SR 2014), p.1-8
2014
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.1-18
Volltextzugriff (PDF)
Logical methods in computer science, 2024-08, Vol.20, Issue 3
2024
Volltextzugriff (PDF)
Language and Automata Theory and Applications, p.3-23
Volltextzugriff (PDF)
Information and computation, 2022-11, Vol.289, p.104861, Article 104861
2022
Volltextzugriff (PDF)
Information and computation, 2017-06, Vol.254, p.259-295
2017
Volltextzugriff (PDF)
Information and computation, 2015-06, Vol.242, p.25-52
2015
Volltextzugriff (PDF)
Computer Aided Verification, p.123-139
Volltextzugriff (PDF)
Acta informatica, 2014-06, Vol.51 (3-4), p.129-163
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2020, Vol.326, p.149-165
2020
Volltextzugriff (PDF)
Foundations of Software Science and Computation Structures, p.179-195
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, p.165-182
Volltextzugriff (PDF)
CONCUR 2012 – Concurrency Theory, p.115-131
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.118-132
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 And Game Theory
- Formal Languages And Automata Theory
- Logic In Computer Science
- Computer Science - Computer Science And Game Theory
- Computer Science - Formal Languages And Automata Theory
- Computer Science - Logic In Computer Science
- Computer Science, Software Engineering
- Logic
- Science & Technology - Other Topics
- Markov Decision Process
- Markov Decision Processes
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Two-Player Games On Graphs
- Software Engineering/programming And Operating Systems
Kollektion
Zeitschrift / Serie
Neu hinzugefügt