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, 2022-02, Vol.18, Issue 1
2022
Volltextzugriff (PDF)
Formal methods in system design, 2009-10, Vol.35 (2), p.121-151
2009
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-09, Vol.256 (Proc. GandALF 2017), p.31-45
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-09, Vol.256 (Proc. GandALF 2017), p.268-282
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-06, Vol.54 (Proc. GandALF 2011), p.162-177
2011
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.277 (Proc. GandALF 2018), p.191-205
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.277 (Proc. GandALF 2018), p.235-249
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2022, Vol.370, p.97-113
2022
Volltextzugriff (PDF)
Theoretical computer science, 2022-01, Vol.901, p.87-113
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-09, Vol.226 (Proc. GandALF 2016), p.76-90
2016
Volltextzugriff (PDF)
International researchscape journal, 2019, Vol.6 (1)
2019
Volltextzugriff (PDF)
Theoretical computer science, 2020-04, Vol.813, p.199-217
2020
Volltextzugriff (PDF)
Information and computation, 2021-10, Vol.280, p.104640, Article 104640
2021
Volltextzugriff (PDF)
ACM transactions on computational logic, 2024-01, Vol.25 (1), p.1-42, Article 8
2024
Volltextzugriff (PDF)
Information and computation, 2022-02, Vol.283, p.104673, Article 104673
2022
Volltextzugriff (PDF)
Theoretical computer science, 2014-02, Vol.523, p.1-36
2014
Volltextzugriff (PDF)
ACM transactions on computational logic, 2023-04, Vol.24 (3), p.1-32, Article 24
2023
Volltextzugriff (PDF)
Information and computation, 2023-10, Vol.294, p.105083, Article 105083
2023
Volltextzugriff (PDF)
Theoretical computer science, 2019-04, Vol.764, p.125-144
2019
Volltextzugriff (PDF)
Theoretical computer science, 2020-04, Vol.813, p.305-326
2020
Volltextzugriff (PDF)
Information and computation, 2020-06, Vol.272, p.104498, Article 104498
2020
Volltextzugriff (PDF)
Theoretical computer science, 2020-12, Vol.847, p.147-174
2020
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
Information and computation, 2018-10, Vol.262, p.241-264
2018
Volltextzugriff (PDF)
Theoretical computer science, 2016-06, Vol.631, p.118-138
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Logic
- Model Checking
- Temporal Logic
- Science & Technology - Other Topics
- Model Check
- Physical Sciences
- Software
- Software Engineering
- Theoretical Computing
- Mathematics, Applied
- Theory Of Computation
- Computer Science, Artificial Intelligence
Kollektion
- IngentaConnect
- EZB Free E-Journals
- Springer Book Series
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- SpringerLink
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Journals@Ovid Full Text
- IEEE Electronic Library (IEL)
- EBSCOhost Business Source Ultimate
- EBSCOhost Psychology and Behavioral Sciences Collection
- IngentaConnect Journals
- Jstor Complete Legacy
- Nexis Uni
- Publisher or Other Site
Zeitschrift / Serie
- Theoretical Computer Science
- Information And Computation
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Acm Transactions On Computational Logic
- Acta Informatica
- Formal Methods In System Design
- Logical Methods In Computer Science
- Electronic Notes In Theoretical Computer Science
- Eptcs