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...International journal on software tools for technology transfer, 2021-08, Vol.23 (4), p.641-654
2021
Volltextzugriff (PDF)
Computer Aided Verification, p.243-259
Volltextzugriff (PDF)
Automata, Languages and Programming, 2006, p.107-118
2006
Volltextzugriff (PDF)
Theoretical computer science, 2012-01, Vol.413 (1), p.21-35
2012
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-11, Vol.229, p.2-2
2016
Volltextzugriff (PDF)
Computer Aided Verification, p.301-321
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-08, Vol.3 (ICFP), p.1-28
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-10, Vol.166, p.1-1
2014
Volltextzugriff (PDF)
Theoretical computer science, 2014-12, Vol.560, p.348-363
2014
Volltextzugriff (PDF)
Computer Aided Verification, p.163-179
Volltextzugriff (PDF)
Studie o rukopisech, 2014 (44), p.37-56
2014
Volltextzugriff (PDF)
Formal methods in system design, 2017, Vol.50 (2-3), p.97-139
2017
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.21-37
Volltextzugriff (PDF)
Lecture notes in computer science, 2015, Vol.9032, p.105-131
2015
Volltextzugriff (PDF)
ACM transactions on computational logic, 2012-08, Vol.13 (3), p.1-29
2012
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-03, Vol.142 (Proc. SYNT 2013), p.8-23
2014
Volltextzugriff (PDF)
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1160-1170
2018
Volltextzugriff (PDF)
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015, p.196-207
2015
Volltextzugriff (PDF)
Runtime Verification, 2019, Vol.11757, p.329-348
2019
Volltextzugriff (PDF)
2011 IEEE 24th Computer Security Foundations Symposium, 2011, p.205-217
2011
Volltextzugriff (PDF)
CONCUR 2010 - Concurrency Theory, p.253-268
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-02, Vol.202
2016
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2019, Vol.11388, p.275-296
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-10, Vol.96 (Proc. GandALF 2012), p.29-42
2012
Volltextzugriff (PDF)
SIGPLAN notices, 2015-08, Vol.50 (6), p.196-207
2015
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
- Synthesis
- Abstraction
- Engineering
- Games
- Quantitative Analysis
- Software
- Animals
- Applied Sciences
- Computer Science, Artificial Intelligence
- Computer Science; Control Theory; Systems
- Concurrent Program
- Exact Sciences And Technology
- H-2 Antigens - Immunology
- Life Sciences & Biomedicine
- Mathematical Models
Kollektion
- IngentaConnect
- SpringerLink Series
- ACM Digital Library
- EZB Free E-Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerNature Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Electronic Library (IEL)
- Elsevier ScienceDirect Journals Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- MEDLINE
- ProQuest Dissertations & Theses A&I
- Journals@Ovid
- Wiley-Blackwell Journals
- Business Source Ultimate
- IngentaConnect Journals
- Wiley Online Library
- International Bibliography of Art (IBA)
Zeitschrift / Serie