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...SIGPLAN notices, 2008-01, Vol.43 (1), p.247-260
2008
Volltextzugriff (PDF)
SIGPLAN notices, 2013-06, Vol.48 (6), p.275-286
2013
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)
SIGPLAN notices, 2017-05, Vol.52 (1), p.32-45
2017
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Software Engineering
- Science & Technology
- Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Programming Languages
- Software
- Inductive Definitions
- Separation Logic
- Shape Analysis
- Symbolic Abstract Domain
- Symbolic Execution
- Calling Context
- Computer Graphics And Computer-Aided Design
- Computer Systems Performance. Reliability
- Context-Sensitivity
- False Alarms
- Heap Analysis
Kollektion
Zeitschrift / Serie