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...1. [Dr.], 1991
Signatur: YGQ3137
4., überarb. und aktualisierte Aufl, 2010
Signatur: TWZ3563(4)
2., aktualisierte und erw. Aufl, 2002
Signatur: TWZ3220(2)
2., überarb. und aktualisierte Aufl, 2008
Signatur: TWQ12143(2)
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Franz, Klaus
- Spillner, Andreas
- Vardi, Moshe Y
- Baumgartner, Manfred
- Beydeda, Sami
- Gronau, Volkmar
- Hutchison, David
- Kanade, Takeo
- Kittler, Josef
- Kleinberg, Jon M
- Mattern, Friedemann
- Matthes, Eric
- Mitchell, John C
- Naor, Moni
- Nierstrasz, Oscar
- Pandu Rangan, C
- Petrenko, Alexandre
- Reussner, Ralf
- Rumpe, Bernhard
- Seidl, Richard
Erscheinungsform
Schlagwort
- Testen
- Software
- Software engineering
- Computer science
- Logic design
- Softwareentwicklung
- Formale Methode
- Model Checking
- Qualitätssicherung
- Computer Communication Networks
- Information Systems
- Softwaretest
- Verifikation
- Operating systems (Computers)
- Qualitätsmanagement
- Anwendungssystem
- Formale Spezifikationstechnik
- Leistungsbewertung
- Rechnernetz
- Verteiltes System
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Systemstelle
Art des Inhalts