Sortiert nach
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...
Springers Angewandte Informatik
1st ed. 1989, 1989
- Link zum Volltext
2., aktualisierte und erw. Aufl, 2002
Signatur: TWZ3220(2)
2017
Informatik-Fachberichte : 146
1st ed. 1987, 1987
- Link zum Volltext
1st ed. 1989, 1989
- Link zum Volltext
1st ed. 1987, 1987
- Link zum Volltext
essentials
1st ed. 2020, 2020
- Link zum Volltext
2015
1st ed. 2011, 2011
- Link zum Volltext
2014
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Wehrheim, Heike
- Platzner, Marco
- Gausemeier, Jürgen
- Mitchell, John C
- Steffen, Bernhard
- Vardi, Moshe Y
- Hutchison, David
- Kanade, Takeo
- Kittler, Josef
- Kleinberg, Jon M
- Mattern, Friedemann
- Naor, Moni
- Nierstrasz, Oscar
- Pandu Rangan, C
- Sudan, Madhu
- Terzopoulos, Demetri
- Tygar, Doug
- Weikum, Gerhard
- Kopetz, Hermann
- Ludewig, Jochen
Erscheinungsform
Schlagwort
- Verifikation
- Computer science
- Software engineering
- Logic design
- Formale Methode
- Softwareentwicklung
- Model Checking
- Artificial intelligence
- Computer Communication Networks
- Software Engineering
- Engineering
- Systementwurf
- Eingebettetes System
- Wissenschaftstheorie
- Echtzeitsystem
- Systemanalyse
- Systementwicklung
- Modellierung
- Programmanalyse
- Softwaretest
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Systemstelle
Art des Inhalts