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...Science of computer programming, 2016-05, Vol.120, p.1-24
2016
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2018-11, Vol.100, p.57-70
2018
Volltextzugriff (PDF)
Static Analysis, 2021, Vol.12913, p.359-383
2021
Volltextzugriff (PDF)
Semantics, Logics, and Calculi, 2016, Vol.9560, p.272-288
2016
Volltextzugriff (PDF)
Proceedings of the 2023 6th Artificial Intelligence and Cloud Computing Conference, 2023, p.218-225
2023
Volltextzugriff (PDF)
NASA Formal Methods, p.106-119
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.21-38
Volltextzugriff (PDF)
SIGPLAN notices, 2013-06, Vol.48 (6), p.377-386
2013
Volltextzugriff (PDF)
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2016, p.391-402
2016
Volltextzugriff (PDF)
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013, p.377-386
2013
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Fixpoint Iteration
- Static Program Analysis
- Abstract Interpretation
- Constraint Solving
- Logic
- Science & Technology - Other Topics
- Software Engineering
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Analysis
- Abstract Semantic
- Automatic Inference
- Class Declaration
- Collecting Trace Semantics
- Compilers
- Computer Logic
- Computer Programming
Kollektion
- IngentaConnect
- SpringerLink Series
- ACM Digital Library Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ProQuest Dissertations & Theses A&I
- EZB Free E-Journals
- IEEE Electronic Library (IEL)
- Elsevier ScienceDirect Journals Complete