Sortiert nach
3., bearb. und erw. Aufl, 1993
Signatur: TWQ4768(3)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Nierstrasz, Oscar
- Böhm, Rolf
- Hutchison, David
- Kanade, Takeo
- Kittler, Josef
- Kleinberg, Jon M
- Mattern, Friedemann
- Mitchell, John C
- Naor, Moni
- Pandu Rangan, C
- Steffen, Bernhard
- Sudan, Madhu
- Terzopoulos, Demetri
- Tygar, Doug
- Vardi, Moshe Y
- Weikum, Gerhard
- Tag des Systems Engineering
- Broy, Manfred
- De Weck, Olivier L
- Felici, Massimo
Erscheinungsform
Schlagwort
- Systementwicklung
- Software engineering
- Computer science
- Softwareentwicklung
- Logic design
- Formale Methode
- Anwendungssystem
- Computer Communication Networks
- Model Checking
- Information Systems
- Computer software
- Informationssystem
- Verifikation
- Artificial intelligence
- Mensch-Maschine-Kommunikation
- Zuverlässigkeit
- Theoretische Informatik
- Online-Ressource
- Information systems
- Programmanalyse
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Systemstelle
Art des Inhalts