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...Innovations in systems and software engineering, 2020-06, Vol.16 (2), p.99-100
2020
Volltextzugriff (PDF)
1st Edition 2019, 2019
Volltextzugriff (PDF)
Logical methods in computer science, 2012-09, Vol.8, Issue 3 (3), p.20
2012
Volltextzugriff (PDF)
Language and Automata Theory and Applications, 2014, p.62-75
2014
Volltextzugriff (PDF)
COMPUTER AIDED VERIFICATION, PT I, 2015, p.462-469
2015
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2013, p.530-536
2013
Volltextzugriff (PDF)
Logical methods in computer science, 2018-01, Vol.14 (1)
2018
Volltextzugriff (PDF)
Logical methods in computer science, 2011, Vol.7, Issue 4 (4), p.4:1
2011
Volltextzugriff (PDF)
Computing, 2022-10, Vol.104 (10), p.2157-2157
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2018-01, Vol.14 (1)
2018
Volltextzugriff (PDF)
Static Analysis, 2012, p.164-180
2012
Volltextzugriff (PDF)
Computer Aided Verification, 2012, p.210-226
2012
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-02, Vol.140 (Proc. INFINITY 2013), p.35-47
2014
Volltextzugriff (PDF)
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, Vol.52 (6), p.602-617
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-01, Vol.103 (Proc. QFM 2012), p.1-16
2012
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2024, p.276
2024
Volltextzugriff (PDF)
International journal of foundations of computer science, 2017-12, Vol.28 (8), p.945-975
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-29
2020
Volltextzugriff (PDF)
Acta informatica, 2017-12, Vol.54 (8), p.789-818
2017
Volltextzugriff (PDF)
International journal of foundations of computer science, 2011-06, Vol.22 (4), p.783-799
2011
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-06, Vol.8 (PLDI), p.1189-1212, Article 195
2024
Volltextzugriff (PDF)
2018 Formal Methods in Computer Aided Design (FMCAD), 2018, p.1-5
2018
Volltextzugriff (PDF)
COMPUTER AIDED VERIFICATION, PT II, CAV 2024, 2024, p.19
2024
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 Science, Information Systems
- Reachability Problem
- Datavetenskap
- Logic
- Concurrent Program
- Software Engineering
- Science & Technology - Other Topics
- Program Verification
- Artificial Intelligence
- Automata
- Memory Model
- Computer Programming / Software Development
- Formal Verification
- Reachability Analysis
- Context Switch
Kollektion
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Ingenta
- Springer Book Series
- ACM Digital Library Complete
- EZB Electronic Journals Library
- IEEE Electronic Library Online
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Elsevier ScienceDirect Journals Complete
- EBSCOhost Business Source Ultimate
- Journals@Ovid Complete
Zeitschrift / Serie
- Proceedings Of Acm On Programming Languages
- Logical Methods In Computer Science
- Electronic Proceedings In Theoretical Computer Science
- International Journal Of Foundations Of Computer Science
- Proceedings Of The Acm On Programming Languages
- Sigplan Notices
- Theoretical Computer Science
- Upmarc
- Acm Sigplan Notices
- Acta Informatica
Neu hinzugefügt