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...Formal Methods and Software Engineering, 2016, Vol.10009, p.261-278
2016
Volltextzugriff (PDF)
Parallel and Distributed Computing, Applications and Technologies, 2021, Vol.12606, p.304-317
2021
Volltextzugriff (PDF)
Engineering Trustworthy Software Systems, 2019, Vol.11430, p.1-37
2019
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2013, Vol.8144, p.165-181
2013
Volltextzugriff (PDF)
Formal Techniques for Safety-Critical Systems, 2014, Vol.419, p.142-159
2014
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2013, Vol.8144
2013
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2013, Vol.8144
2013
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2013, Vol.8144
2013
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2013, Vol.8144
2013
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2013, Vol.8144
2013
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2013, Vol.8144
2013
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2013, Vol.8144
2013
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2013, Vol.8144
2013
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2013, Vol.8144
2013
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2013, Vol.8144
2013
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2013, Vol.8144
2013
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2013, Vol.8144
2013
Volltextzugriff (PDF)
Software Evolution and Feedback, 2006, p.313-337
2006
Volltextzugriff (PDF)
Provably Correct Systems, p.61-91
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Software Engineering
- Computer Science
- Algorithm Analysis And Problem Complexity
- Computer Communication Networks
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Formal Methods
- Mathematical Logic And Formal Languages
- Programming Languages, Compilers, Interpreters
- Programming Techniques
- Proof Obligation
- Science & Technology
- Technology
- Verification
- Abstract History
- Abstract Operation
- Abstract Specification
- Activities, Distributional
- Activity, Distributional
- Administration
Kollektion