Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
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...

Theoretical computer science, 2023-09, Vol.974, p.114106, Article 114106
2023
Volltextzugriff (PDF)

The Journal of systems and software, 2024-04, Vol.210, p.111940, Article 111940
2024
Volltextzugriff (PDF)


Einführung in die Softwaretechnik
1st Aufl 2021st edition, 2021
Volltextzugriff (PDF)




Formal aspects of computing, 2024-09, Vol.36 (3), p.1-54, Article 16
2024
Volltextzugriff (PDF)




1. Aufl. 2017 edition., 2017
Volltextzugriff (PDF)


IEEE software, 2018-09, Vol.35 (5), p.38-43
2018
Volltextzugriff (PDF)

UML formal semantics: lessons learned
Software and systems modeling, 2011-10, Vol.10 (4), p.441-446
2011
Volltextzugriff (PDF)

Computer (Long Beach, Calif.), 2014-02, Vol.47 (2), p.70-72
2014
Volltextzugriff (PDF)

Computer (Long Beach, Calif.), 2015-05, Vol.48 (5), p.96-99
2015
Volltextzugriff (PDF)

Informatik-Spektrum, 2017, Vol.40 (2), p.201-204
2017
Volltextzugriff (PDF)

Formal Methods in Outer Space, 2021, Vol.13065, p.10-31
2021
Volltextzugriff (PDF)


Formal methods in system design, 2018-02, Vol.52 (1), p.33-87
2018
Volltextzugriff (PDF)

Philosophisches Jahrbuch (Freiburg), 2021, Vol.128 (1), p.84-94
2021
Volltextzugriff (PDF)

Science of computer programming, 2010-12, Vol.75 (12), p.1193-1214
2010
Volltextzugriff (PDF)

Computer (Long Beach, Calif.), 2009-12, Vol.42 (12), p.98-101
2009
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt