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...Theoretical computer science, 2021-05, Vol.869, p.62-84
2021
Volltextzugriff (PDF)
NASA Formal Methods, p.3-7
Volltextzugriff (PDF)
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.72-96
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.175-208, Article 7
2024
Volltextzugriff (PDF)
Principles of Systems Design, p.131-159
Volltextzugriff (PDF)
Formal Methods in Outer Space, p.61-86
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2022-03, Vol.44 (1), p.1-90
2022
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.1-24
2005
Volltextzugriff (PDF)
Foundations and trends in programming languages, 2015, Vol.2 (2-3), p.71-190
2015
Volltextzugriff (PDF)
Static Analysis, p.389-410
Volltextzugriff (PDF)
Theoretical Aspects of Computing – ICTAC 2019, p.3-21
Volltextzugriff (PDF)
Static Analysis, p.96-117
Volltextzugriff (PDF)
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-10
2014
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.19-42
Volltextzugriff (PDF)
Lecture notes in computer science, 2001, p.40-56
2001
Volltextzugriff (PDF)
Theoretical computer science, 2002-04, Vol.277 (1), p.47-103
2002
Volltextzugriff (PDF)
Theoretical computer science, 2011-10, Vol.412 (44), p.6135-6192
2011
Volltextzugriff (PDF)
Journal of the ACM, 2012-12, Vol.59 (6), p.1-56
2012
Volltextzugriff (PDF)
Static Analysis, p.368-388
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.3-18
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.210-225
Volltextzugriff (PDF)
Lecture notes in computer science, 2001, p.356-373
2001
Volltextzugriff (PDF)
Programming Language Implementation and Logic Programming, 2005, p.269-295
2005
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Technology
- Science & Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Abstract Interpretation
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Theoretical Computing
- Language Theory And Syntactical Analysis
- Software
- Static Analysis
- Verification
- Abstract Domain
- Software Engineering
- Programming Languages
- Logic Program
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
- Mathematics
Kollektion
- Ingenta
- SpringerLink Series
- ACM Digital Library Complete
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- EZB Electronic Journals Library
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- IEEE Electronic Library Online
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer journals
- Oxford journals
- ProQuest Dissertations & Theses A&I
- ScienceDirect eBooks
- Now Publishers Journals
- Journals@OVID
- Mathematical Sciences Publishers
- Project Euclid Complete
Zeitschrift / Serie
- Sigplan Notices
- Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Acm Computing Surveys
- Acm Sigplan Notices
- Information And Computation
- Lecture Notes In Computer Science
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Software Engineering Notes