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)
1st Edition 2017, 2017
Volltextzugriff (PDF)
Foundations and trends in programming languages, 2020-01, Vol.6 (1–2), p.1-158
2020
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.375-395
Volltextzugriff (PDF)
Static Analysis, p.203-224
Volltextzugriff (PDF)
Static Analysis, p.17-23
Volltextzugriff (PDF)
Static Analysis, p.225-246
Volltextzugriff (PDF)
SIGPLAN notices, 2008-01, Vol.43 (1), p.247-260
2008
Volltextzugriff (PDF)
Static Analysis, 2015, Vol.9291, p.90-108
2015
Volltextzugriff (PDF)
Programming Languages and Systems, p.148-168
Volltextzugriff (PDF)
SIGPLAN notices, 2010-06, Vol.45 (6), p.436-447
2010
Volltextzugriff (PDF)
SIGPLAN notices, 2011-01, Vol.46 (1), p.173-186
2011
Volltextzugriff (PDF)
Communications of the ACM, 2015-02, Vol.58 (2), p.44
2015
Volltextzugriff (PDF)
Aktive Filter
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
- Mathematics
- Applied Sciences
- Computer Programming
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Logic
- Mathematics, Applied
- Physical Sciences
- Science & Technology - Other Topics
- Separation Logic
- Software
- Software Engineering
- Abstract Interpretation
- Compilers
Kollektion
Zeitschrift / Serie