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...Computer Aided Verification, 2016, p.352-358
2016
Volltextzugriff (PDF)
2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2023, p.315-326
2023
Volltextzugriff (PDF)
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020, p.511-523
2020
Volltextzugriff (PDF)
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.1447-1458
2020
Volltextzugriff (PDF)
Tests and Proofs, p.151-168
Volltextzugriff (PDF)
Software Reuse: Bridging with Social-Awareness, p.315-330
Volltextzugriff (PDF)
2nd Aufl 2020 edition, 2020
Volltextzugriff (PDF)
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.2, p.645-648
2015
Volltextzugriff (PDF)
2012 IEEE 23rd International Symposium on Software Reliability Engineering, 2012, p.301-310
2012
Volltextzugriff (PDF)
Formal methods in system design, 2010-12, Vol.37 (2-3), p.171-199
2010
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2015, Vol.9364, p.97-113
2015
Volltextzugriff (PDF)
2019
Volltextzugriff (PDF)
FM 2012: Formal Methods, p.187-201
Volltextzugriff (PDF)
Computer Aided Verification, p.767-773
Volltextzugriff (PDF)
Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021, p.1416-1426
2021
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.591-605
2015
Volltextzugriff (PDF)
Verified Software: Theories, Tools, Experiments, p.310-325
Volltextzugriff (PDF)
NASA Formal Methods, 2014, p.313-327
2014
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.499-514
2015
Volltextzugriff (PDF)
NASA FORMAL METHODS (NFM 2015), 2015, p.327-342
2015
Volltextzugriff (PDF)
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022, p.1367-1378
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Church History
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Medieval History
- Western Philosophy, C 500 To C 1600
- Computer Science, Theory & Methods
- Cultural Studies
- Theory Of Art
- Philosophy: Aesthetics
- Aufsatzsammlung
- Religion
- Science & Technology - Other Topics
- Engineering
- Logic
- Software Engineering
- Static Analysis
- Engineering, Electrical & Electronic
- Feasible Path
Kollektion
- Ebook Central Perpetual and DDA
- De Gruyter eBooks
- eBooks on EBSCOhost
- UTB Scholars
- De Gruyter Open Access Books
- Ingenta
- Nomos eLibrary
- Springer Book Series (Lecture Notes)
- ACM Digital Library
- IEEE Electronic Library Online
- Brill Online Books
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- MEDLINE
- Springer journals
- V&R eLibrary
- Kohlhammer eLibrary Gesamt
- ProQuest Dissertations & Theses A&I
- ScienceDirect eBooks
- EZB Electronic Journals Library
- Journals@Ovid Full Text
Zeitschrift / Serie
Neu hinzugefügt