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...Journal of the ACM, 2018-03, Vol.65 (2), p.1-41
2018
Volltextzugriff (PDF)
Logical methods in computer science, 2015-03, Vol.11, Issue 1
2015
Volltextzugriff (PDF)
Logical methods in computer science, 2013-09, Vol.9, Issue 3
2013
Volltextzugriff (PDF)
Automata, Languages, and Programming, p.98-109
Volltextzugriff (PDF)
Distributed Computing, 2015, Vol.9363, p.388-404
2015
Volltextzugriff (PDF)
Soft computing (Berlin, Germany), 2023-09, Vol.27 (18), p.12943-12957
2023
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.219-229
Volltextzugriff (PDF)
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2022, p.204-220
2022
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.300-314
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.93-107
2006
Volltextzugriff (PDF)
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, p.277-286
Volltextzugriff (PDF)
Theoretical computer science, 1999-03, Vol.216 (1), p.1-53
1999
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-08, Vol.33 (Proc. AMCA-POP 2010), p.18-36
2010
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science - Logic In Computer Science
- Computer Science, Hardware & Architecture
- Computer Science, Interdisciplinary Applications
- Exact Sciences And Technology
- Logic
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Science & Technology - Other Topics
- Software Engineering
- Abstract Method
- Algorithms
- Algorithms & Data Structures
- Artificial Intelligence
Kollektion
- IngentaConnect_期刊（NSTL购买）
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- ACM Digital Library
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- Springer Online Journals
- Taylor & Francis