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, 2023-12, Vol.19, Issue 4 (4)
2023
Volltextzugriff (PDF)
Frontiers in psychology, 2020-07, Vol.11, p.1675-1675
2020
Volltextzugriff (PDF)
Logical methods in computer science, 2024-06, Vol.20, Issue 2
2024
Volltextzugriff (PDF)
Logical methods in computer science, 2022-01, Vol.18, Issue 1
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2020-10, Vol.16, Issue 4
2020
Volltextzugriff (PDF)
Logical methods in computer science, 2020-01, Vol.16 (2)
2020
Volltextzugriff (PDF)
Logical methods in computer science, 2012-09, Vol.8, Issue 3 (3)
2012
Volltextzugriff (PDF)
Logical methods in computer science, 2017-01, Vol.13, Issue 3
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2020, Vol.320, p.44-49
2020
Volltextzugriff (PDF)
Automata, Languages and Programming, p.188-199
Volltextzugriff (PDF)
Mathematical structures in computer science, 2020-08, Vol.30 (7), p.752-832
2020
Volltextzugriff (PDF)
Fundamenta informaticae, 2022-01, Vol.183 (1-2), p.33-66
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2012-06, Vol.8, Issue 2 (2)
2012
Volltextzugriff (PDF)
Information and computation, 2018-02, Vol.258, p.28-49
2018
Volltextzugriff (PDF)
Informatik-Spektrum, 2014-06, Vol.37 (3), p.229-236
2014
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.147-168
Volltextzugriff (PDF)
Journal of the ACM, 2021-10, Vol.68 (5), p.1-43
2021
Volltextzugriff (PDF)
Pratiques psychologiques, 2017-09, Vol.23 (3), p.303-323
2017
Volltextzugriff (PDF)
Theoretical computer science, 2016-07, Vol.637, p.1-29
2016
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2022, Vol.13273, p.50-66
2022
Volltextzugriff (PDF)
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, p.1-14
2024
Volltextzugriff (PDF)
Discrete event dynamic systems, 2021-06, Vol.31 (2), p.251-270
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Mathematics
- Computer Science, Software Engineering
- Model Check
- Theoretical Computing
- Physical Sciences
- Mathematics, Applied
- Automata. Logic Controller
- Control Theory. Systems
- Software
- Software Engineering
- Verification
- Logic In Computer Science
- Logic
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink Journals - AutoHoldings
- ACM Digital Library
- IEEE Xplore
- Taylor & Francis Journals Complete
- MEDLINE
- Publisher or Other Site
- Taylor & Francis Journals
- Taylor & Francis Current Content Access
- Wiley Online Library
- ERIC
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie
- Fundamenta Informaticae
- Logical Methods In Computer Science
- Information And Computation
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Information Processing Letters
- International Journal Of Foundations Of Computer Science
- International Journal On Software Tools For Technology Transfer
Neu hinzugefügt