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...The Journal of systems and software, 2012-08, Vol.85 (8), p.1801-1817
2012
Volltextzugriff (PDF)
Logical methods in computer science, 2022-07, Vol.18, Issue 3
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2023-01, Vol.19, Issue 4
2023
Volltextzugriff (PDF)
Science of computer programming, 2015-05, Vol.102, p.20-43
2015
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.277 (Proc. GandALF 2018), p.161-175
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-08, Vol.252 (Proc. AFL 2017), p.86-100
2017
Volltextzugriff (PDF)
Theoretical computer science, 2020-12, Vol.848, p.47-81
2020
Volltextzugriff (PDF)
Computer science review, 2018-02, Vol.27, p.61-87
2018
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2023-09, Vol.45 (3), p.1-66, Article 19
2023
Volltextzugriff (PDF)
Journal of computer and system sciences, 2020-11, Vol.113, p.18-41
2020
Volltextzugriff (PDF)
Discrete mathematics and theoretical computer science, 2010-01, Vol.12 no. 4 (4), p.73-94
2010
Volltextzugriff (PDF)
Information and computation, 2022-01, Vol.282, p.104658, Article 104658
2022
Volltextzugriff (PDF)
SIAM journal on computing, 2015-01, Vol.44 (4), p.1026-1088
2015
Volltextzugriff (PDF)
Science of computer programming, 2015-11, Vol.112, p.195-226
2015
Volltextzugriff (PDF)
ACM transactions on autonomous and adaptive systems, 2013-07, Vol.8 (2), p.1-29
2013
Volltextzugriff (PDF)
Theoretical computer science, 2017-01, Vol.658, p.105-121
2017
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.293-311
Volltextzugriff (PDF)
Information and computation, 2011-09, Vol.209 (9), p.1246-1267
2011
Volltextzugriff (PDF)
RAIRO. Informatique théorique et applications, 2011-01, Vol.45 (1), p.163-180
2011
Volltextzugriff (PDF)
Theoretical Aspects of Computing – ICTAC 2020, p.161-180
Volltextzugriff (PDF)
Implementation and Application of Automata, p.225-237
Volltextzugriff (PDF)
ACM computing surveys, 2009-02, Vol.41 (2), p.75
2009
Volltextzugriff (PDF)
Journal of applied logic, 2014-12, Vol.12 (4), p.522-557
2014
Volltextzugriff (PDF)
Information processing letters, 2013-04, Vol.113 (7), p.245-249
2013
Volltextzugriff (PDF)
Algebraic Informatics, p.13-46
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Humans
- Operator Precedence Languages
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Mathematics
- Physical Sciences
- Visibly Pushdown Languages
- Input-Driven Languages
- Model Checking
- Context
- Context-Oriented Programming
- Mathematics, Applied
- Software Engineering
Kollektion
- IngentaConnect Journals
- EZB Electronic Journals Library
- SpringerLink Series
- ACM Digital Library Complete
- Elsevier ScienceDirect Journals Complete
- MEDLINE
- IEEE Xplore
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- JSTOR
- EBSCOhost Business Source Ultimate
- SpringerLink Journals - AutoHoldings
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- Nexis Uni
- Nature Journals Online
- Single Journals
- Oxford journals
Zeitschrift / Serie
Neu hinzugefügt