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...Frontiers in computer science (Lausanne), 2023-01, Vol.4
2023
Volltextzugriff (PDF)
1st ed. 2023., 2023
Volltextzugriff (PDF)
Journal of the ACM, 2002-09, Vol.49 (5), p.672-713
2002
Volltextzugriff (PDF)
Logical methods in computer science, 2022-01, Vol.18, Issue 3
2022
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2022, Vol.18 (3), p.405-416
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2019-11, Vol.15, Issue 4
2019
Volltextzugriff (PDF)
Theoretical computer science, 2023-09, Vol.971, p.114057, Article 114057
2023
Volltextzugriff (PDF)
Journal of the ACM, 2000-03, Vol.47 (2), p.312-360
2000
Volltextzugriff (PDF)
Foundations and trends in theoretical computer science, 2022, Vol.15 (2), p.126-228
2022
Volltextzugriff (PDF)
ACM transactions on computational logic, 2024-04, Vol.25 (2), p.1-31, Article 10
2024
Volltextzugriff (PDF)
ACM transactions on computational logic, 2024-01, Vol.25 (1), p.1-26, Article 4
2024
Volltextzugriff (PDF)
Games, 2018-09, Vol.9 (3), p.39
2018
Volltextzugriff (PDF)
Information and computation, 2022-01, Vol.282, p.104651, Article 104651
2022
Volltextzugriff (PDF)
Information and computation, 2019-12, Vol.269, p.104451, Article 104451
2019
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2006, p.110-124
2006
Volltextzugriff (PDF)
Theoretical computer science, 2018-02, Vol.712, p.50-72
2018
Volltextzugriff (PDF)
Journal of the ACM, 2016-09, Vol.63 (3), p.1-56
2016
Volltextzugriff (PDF)
Information and computation, 2023-01, Vol.290, p.104996, Article 104996
2023
Volltextzugriff (PDF)
Language and Automata Theory and Applications, p.307-319
Volltextzugriff (PDF)
Acta informatica, 2018-12, Vol.55 (8), p.703-732
2018
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
International journal of foundations of computer science, 2019-09, Vol.30 (6n07), p.979-1003
2019
Volltextzugriff (PDF)
Formal methods in system design, 2018-04, Vol.52 (2), p.117-146
2018
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2016-09, Vol.78 (1), p.3-20
2016
Volltextzugriff (PDF)
Theoretical computer science, 2020-02, Vol.807, p.42-55
2020
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Model Check
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Computer Science, Software Engineering
- Temporal Logic
- Logic
- Linear Temporal Logic
- Mathematics
- Theoretical Computing
- Atomic Proposition
- Physical Sciences
- Science & Technology - Other Topics
- Mathematics, Applied
- Software
- Software Engineering
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Access via ScienceDirect (Elsevier)
- IEEE/IET Electronic Library (IEL)
- Association for Computing Machinery
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@OVID
- IngentaConnect Journals
- Access via Business Source (EBSCOhost)
- Access via Oxford University Press
- Cambridge Journals Online (DEFF)
- JSTOR
- Project Euclid
- NUS Single-Journal Subscriptions
Zeitschrift / Serie
- Acm Transactions On Computational Logic
- Information And Computation
- Theoretical Computer Science
- Formal Methods In System Design
- International Journal Of Foundations Of Computer Science
- Journal Of The Acm
- Logical Methods In Computer Science
- Games
- Ieee Transactions On Software Engineering
- International Journal On Software Tools For Technology Transfer