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...Electronic proceedings in theoretical computer science, 2016-06, Vol.209 (Proc. Refine 2015), p.107-111
2016
Volltextzugriff (PDF)
Science of computer programming, 2015-12, Vol.113, p.191-220
2015
Volltextzugriff (PDF)
Journal of automated reasoning, 2022-11, Vol.66 (4), p.747-803
2022
Volltextzugriff (PDF)
Journal of network and computer applications, 2021-02, Vol.176, p.102947, Article 102947
2021
Volltextzugriff (PDF)
Formal aspects of computing, 2013-09, Vol.25 (5), p.769-799
2013
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, p.342-357
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-27
2020
Volltextzugriff (PDF)
Programming Languages and Systems, p.125-144
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2016, Vol.10009, p.261-278
2016
Volltextzugriff (PDF)
Software Language Engineering, p.238-248
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.231-247
Volltextzugriff (PDF)
Parallel and Distributed Computing, Applications and Technologies, 2021, Vol.12606, p.304-317
2021
Volltextzugriff (PDF)
Formal aspects of computing, 2009-02, Vol.21 (1-2), p.187-223
2009
Volltextzugriff (PDF)
Engineering Trustworthy Software Systems, 2019, Vol.11430, p.1-37
2019
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.393-413
2005
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.297-312
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.20-35
Volltextzugriff (PDF)
Formal aspects of computing, 2009, Vol.21 (1-2), p.187-223
2009
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.148-164
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.363-379
Volltextzugriff (PDF)
Computer Aided Verification, 2006, p.475-488
2006
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.70-85
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Humans
- Life Sciences & Biomedicine
- Software Engineering
- Female
- Male
- Mathematics
- Proof Obligation
- Verification
- Aged
- Applied Sciences
- Computer Science; Control Theory; Systems
- Engineering
- Exact Sciences And Technology
- Middle Aged
- Software
Kollektion
- Ingenta E-Journals
- SpringerLink Series
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- MEDLINE
- Journals@Ovid Complete
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library Complete
- IngentaConnect Journals
- IEEE/IET Electronic Library
- JSTOR
- Oxford journals
- Springer journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley-Blackwell Journals
- Publisher or Other Site
- EBSCOhost Business Source Ultimate
- BMJ
- Oxford Journals 2020 Medicine
Zeitschrift / Serie
Neu hinzugefügt