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...1st Edition 2019, 2019
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.364-387
2006
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-01, Vol.129 (Festschrift for Dave Schmidt), p.161-185
2013
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-29
2019
Volltextzugriff (PDF)
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.565-576
2018
Volltextzugriff (PDF)
Static Analysis, 2014, p.134-150
2014
Volltextzugriff (PDF)
Foundations and trends in programming languages, 2020-01, Vol.6 (1–2), p.1-158
2020
Volltextzugriff (PDF)
Static Analysis, 2019, p.413-436
2019
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.21-37
Volltextzugriff (PDF)
Static Analysis, 2021, Vol.12913, p.286-307
2021
Volltextzugriff (PDF)
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1160-1170
2018
Volltextzugriff (PDF)
Programming Languages and Systems, p.3-20
Volltextzugriff (PDF)
Static Analysis, 2014, p.285-301
2014
Volltextzugriff (PDF)
Programming Languages and Systems, p.491-513
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, p.489-492
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2019, Vol.11388, p.275-296
2019
Volltextzugriff (PDF)
Static Analysis, p.459-480
Volltextzugriff (PDF)
Static Analysis, p.271-295
Volltextzugriff (PDF)
Static Analysis, p.183-202
Volltextzugriff (PDF)
Static Analysis, p.203-224
Volltextzugriff (PDF)
Static Analysis, p.225-246
Volltextzugriff (PDF)
Static Analysis, p.17-23
Volltextzugriff (PDF)
Static Analysis, p.384-401
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Logic
- Science & Technology - Other Topics
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Abstract Interpretation
- Programming Languages
- Abstract Domain
- Separation Logic
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Software
- Software Engineering
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Applied Sciences
- Computer Science; Control Theory; Systems
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta E-Journals
- SpringerLink Series
- Access via ACM Digital Library
- EZB Electronic Journals Library
- IEEE/IET Electronic Library (IEL)
- Access via ScienceDirect (Elsevier)
- Access via Business Source (EBSCOhost)
- ProQuest Dissertations & Theses A&I
- Now Publishers Journals
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Electronic Notes In Theoretical Computer Science
- Communications Of The Acm
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Foundations And Trends In Programming Languages
- Grid Computing - Grid 2002
- Lecture Notes In Computer Science
- Proceedings Of Acm On Programming Languages