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...Algebra universalis, 2023-05, Vol.84 (2), Article 10
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2019-01, Vol.15, Issue 2
2019
Volltextzugriff (PDF)
Formal aspects of computing, 2021-01, Vol.33 (1), p.3-25
2021
Volltextzugriff (PDF)
Fundamenta informaticae, 2024-09, Vol.192 (3-4), p.219-259
2024
Volltextzugriff (PDF)
Logical methods in computer science, 2021-01, Vol.17 (2)
2021
Volltextzugriff (PDF)
Leibniz transactions on embedded systems, 2022-12, Vol.8 (2), p.03:1-03:16
2022
Volltextzugriff (PDF)
Science of computer programming, 2022-11, Vol.223 (102874), p.102874, Article 102874
2022
Volltextzugriff (PDF)
Theoretical computer science, 2014-06, Vol.538, p.54-69
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-09, Vol.191 (Proc. FICS 2015), p.48-59
2015
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2019-12, Vol.21 (6), p.667-677
2019
Volltextzugriff (PDF)
Formal aspects of computing, 2024-07
2024
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-07, Vol.87 (Proc. FIT 2012), p.5-16
2012
Volltextzugriff (PDF)
Theoretical computer science, 2020-12, Vol.847, p.134-146
2020
Volltextzugriff (PDF)
Information and computation, 2022-05, Vol.285, p.104914, Article 104914
2022
Volltextzugriff (PDF)
Journal of Logic and Algebraic Methods in Programming, 2020-01, Vol.110, p.100499, Article 100499
2020
Volltextzugriff (PDF)
Logical methods in computer science, 2014-08, Vol.10, Issue 3, p.LMCS-2013-936
2014
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2020-01, Vol.110, p.100499
2020
Volltextzugriff (PDF)
Leibniz transactions on embedded systems, 2022-12, Vol.8 (2), p.0:i-0:iii
2022
Volltextzugriff (PDF)
Mathematical structures in computer science, 2021-05, Vol.31 (5), p.575-613
2021
Volltextzugriff (PDF)
Acta informatica, 2014-08, Vol.51 (5), p.261-295
2014
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, 2011, p.80-96
2011
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
- Logic
- Science & Technology - Other Topics
- Physical Sciences
- Mathematics, Applied
- Formal Languages And Automata Theory
- Computer Science, Software Engineering
- Model Check
- Algorithms
- Logic In Computer Science
- Algebra
- Software Engineering
- Artificial Intelligence
- Engineering
- Logics And Meanings Of Programs
- Theory Of Computation
Kollektion
- Ingenta
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLink Series
- Free E-Journal (出版社公開部分のみ）
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Electronic Library (IEL)
- EBSCOhost Business Source Ultimate
- Cambridge Journals Online (DEFF)
- IngentaConnect Journals
- Journals@Ovid Full Text
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Acta Cybernetica
- Electronic Notes In Theoretical Computer Science
- Formal Aspects Of Computing
- Logical Methods In Computer Science
- Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Information And Computation
- Journal Of Logical And Algebraic Methods In Programming
- Leibniz Transactions On Embedded Systems
Neu hinzugefügt