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...Information and software technology, 2017-01, Vol.81, p.131-153
2017
Volltextzugriff (PDF)
Theoretical computer science, 2015, Vol.563, p.1-42
2015
Volltextzugriff (PDF)
Theoretical computer science, 2013-09, Vol.502, p.165-176
2013
Volltextzugriff (PDF)
Formal aspects of computing, 2018-11, Vol.30 (6), p.627-628
2018
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, p.87-94
Volltextzugriff (PDF)
Acta informatica, 2011-04, Vol.48 (2), p.97-147
2011
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.415-429
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2012-02, Vol.14 (1), p.73-93
2012
Volltextzugriff (PDF)
Testing Software and Systems, p.1-8
Volltextzugriff (PDF)
Testing Techniques in Software Engineering, p.215-242
Volltextzugriff (PDF)
Tests and Proofs, p.1-13
Volltextzugriff (PDF)
Unifying Theories of Programming, p.188-206
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.131-147
Volltextzugriff (PDF)
FM 2005: Formal Methods, 2005, p.2-8
2005
Volltextzugriff (PDF)
Unifying Theories of Programming, p.42-61
Volltextzugriff (PDF)
TAPSOFT '95: Theory and Practice of Software Development, 1995, p.82-96
1995
Volltextzugriff (PDF)
Bulletin 1024, 2021-04 (17), p.119-122
2021
Volltextzugriff (PDF)
Verified Software: Theories, Tools, Experiments, p.243-260
Volltextzugriff (PDF)
Unifying Theories of Programming, p.1-45
Volltextzugriff (PDF)
Testing Software and Systems, p.48-63
Volltextzugriff (PDF)
2017 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2017, p.1-3
2017
Volltextzugriff (PDF)
STACS 92, 2005, p.1-18
2005
Volltextzugriff (PDF)
Formal Methods and Testing, p.209-239
Volltextzugriff (PDF)
Architecting Dependable Systems III, p.59-68
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Formal Method
- Software
- Proof Obligation
- Software Testing
- Algebra
- Model Check
- Operational Semantic
- Parallel Composition
- Theory Of Computation
- Circus
- Csp
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- IEEE/IET Electronic Library (IEL)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink_现刊
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- MEDLINE
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie