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...NASA Formal Methods, 2014, Vol.8430, p.92-97
2014
Volltextzugriff (PDF)
NASA Formal Methods, 2013, p.261-275
2013
Volltextzugriff (PDF)
NASA Formal Methods, 2012, Vol.7226, p.195-209
2012
Volltextzugriff (PDF)
Safe and Secure Software Reuse, 2013, p.308-314
- Kulczycki, Gregory
- Sitaraman, Murali
- Krone, Joan
- Hollingsworth, Joseph E.
- Ogden, William F.
- Weide, Bruce W.
- Bucci, Paolo
- Cook, Charles T.
- Drachova-Strang, Svetlana V.
- Durkee, Blair
- Harton, Heather
- Heym, Wayne
- Hoffman, Dustin
- Smith, Hampton
- Sun, Yu-Shan
- Tagore, Aditi
- Yasmin, Nighat
- Zaccai, Diego
- Morisio, Maurizio
- Favaro, John
2013
Volltextzugriff (PDF)
Proceedings of the FSE/SDP workshop on Future of software engineering research, 2010, p.43-46
2010
Volltextzugriff (PDF)
Proceedings of the 45th ACM technical symposium on Computer science education, 2014, p.61-66
2014
Volltextzugriff (PDF)
Journal of Intelligent Systems and Internet of Things, 2023, Vol.10 (2), p.24-37
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Science & Technology
- Technology
- Assertions
- Automate Proof
- Automatic Control
- Automatisches Beweisverfahren
- Clean Semantics
- Coding Theory
- Compilers
- Components
- Computadoras Resistentes A Fallas
- Computer Languages
- Computer Logic
- Computer Operating Systems
- Computer Program Languages
- Computer Programming
- Computer Programming Languages
- Computer Programming, Programs, Data
Kollektion
Zeitschrift / Serie