Sortiert nach
6., überarb. und erw. Aufl, 2013
- Link zum Volltext
Bibliothek der Nachhaltigkeit / Wiederentdeckungen für das Anthropozän
2019
Nachdr. d. Ausg. 1882. Reprint 2013, [2013]
- Link zum Volltext
Academic press series in biomedical engineering
2005
- Link zum Volltext
Fourth Edition, 2005
- Link zum Volltext
2005
IT kompakt
3. Aufl. 2013, 2013
- Link zum Volltext
Lecture notes in computer science : 4313 (Alle Bände)
2006
- Link zum Volltext
- Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
1. Aufl, 2024
2014
2013
2011
2005
überarbeitete und erweiterte Auflage, [2013]
- Link zum Volltext
2013
2006
Lecture notes in computer science : 4218 (Alle Bände)
2006
- Link zum Volltext
- Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
Erscheinungsform
Schlagwort
- Systemanalyse
- Computer science
- Software engineering
- Formale Methode
- Logic design
- Softwareentwicklung
- Systementwurf
- Verifikation
- Computer Communication Networks
- Model Checking
- Eingebettetes System
- Hardwareentwurf
- Information systems
- Zeitbehafteter Automat
- Computer software
- Hybrides System
- Programmanalyse
- Programmverifikation
- Sicherheitskritisches System
- Online-Ressource
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Systemstelle
Art des Inhalts