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...Electronic proceedings in theoretical computer science, 2016-09, Vol.226 (Proc. GandALF 2016), p.178-197
2016
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2012-04, Vol.34 (1), p.1-48
2012
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-07, Vol.219 (Proc. HCVS2016), p.33-48
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018-09, Vol.278, p.1-1
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-12, Vol.199 (Proc. VPT 2015), p.1-14
2015
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021-09, Vol.346
2021
Volltextzugriff (PDF)
Journal of the ACM, 2016-03, Vol.63 (1), p.1-48
2016
Volltextzugriff (PDF)
Lecture notes in computer science, 2019, Vol.11847, p.79-94
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2022-09, Vol.370
2022
Volltextzugriff (PDF)
Acta informatica, 2017-03, Vol.54 (2), p.191-215
2017
Volltextzugriff (PDF)
ACM transactions on computational logic, 2021-10, Vol.22 (4), p.1-40
2021
Volltextzugriff (PDF)
Verification and Evaluation of Computer and Communication Systems, 2019, p.63-78
2019
Volltextzugriff (PDF)
Trustworthy Global Computing, 2016, Vol.9533, p.79-94
2016
Volltextzugriff (PDF)
Fundamenta informaticae, 2021-01, Vol.184 (1), p.1-47
2021
Volltextzugriff (PDF)
Formal methods in system design, 2017-06, Vol.50 (2-3), p.140-167
2017
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-10, Vol.19 (5), p.565-584
2017
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2014-09, Vol.36 (3), p.1-29, Article 9
2014
Volltextzugriff (PDF)
Verification and Evaluation of Computer and Communication Systems, 2019, Vol.11847, p.16-31
2019
Volltextzugriff (PDF)
Theory and practice of logic programming, 2018-03, Vol.18 (2), p.224-251
2018
Volltextzugriff (PDF)
Information processing letters, 2011-06, Vol.111 (12), p.614-619
2011
Volltextzugriff (PDF)
Verification and Evaluation of Computer and Communication Systems, 2019, Vol.11847, p.47-62
2019
Volltextzugriff (PDF)
Verification and Evaluation of Computer and Communication Systems, 2019, Vol.11847, p.1-15
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Security
- Information Retrieval
- Mathematical Theory Of Computation
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Logic
- Algorithms
- Science & Technology - Other Topics
- Software
- Software Engineering
- Engineering
- Abstract Interpretation
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
Kollektion
- Ingenta
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- Springer Online Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- IEEE/IET Electronic Library (IEL)
- Journals@Ovid Full Text
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Acm Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Methods In System Design
- Information Processing Letters
- International Journal On Software Tools For Technology Transfer
- Sigplan Notices
- Theoretical Computer Science
- Acm Transactions On Computational Logic
Neu hinzugefügt