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...2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.2074-2077
2023
Volltextzugriff (PDF)
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.2078-2081
2023
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.111-128
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.3-19
Volltextzugriff (PDF)
Model Checking Software, p.184-203
Volltextzugriff (PDF)
Psychiatrische Praxis, 2014-09, Vol.41 (6), p.331-335
2014
Volltextzugriff (PDF)
40 years in-patient suicide research of the working group "Suicidality and the psychiatric hospital"
2014
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Software Verification
- Computer Science
- Computer Science, Software Engineering
- Program Analysis
- Technology
- Cpachecker
- Automatic Verification
- Automation & Control Systems
- Computer Science, Theory & Methods
- Electrical Engineering
- General And Reference
- General And Reference -- Cross-Computing Tools And Techniques
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Loop Abstraction
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Precision Adjustment
- Software And Its Engineering
Kollektion
Zeitschrift / Serie
Neu hinzugefügt