Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Software 14 Treffer
- Formale Methode 8 Treffer
- Rechnernetz 6 Treffer
- Softwarespezifikation 6 Treffer
- Verteiltes System 6 Treffer
-
31 weitere Werte:
- Formale Spezifikationstechnik 5 Treffer
- Model Checking 5 Treffer
- Kommunikationssystem 4 Treffer
- Softwareentwicklung 3 Treffer
- Softwaretest 3 Treffer
- Telekommunikationsnetz 3 Treffer
- Anwendungssystem 2 Treffer
- Kommunikationsprotokoll 2 Treffer
- Verifikation 2 Treffer
- Agile Softwareentwicklung 1 Treffer
- Agile software development 1 Treffer
- Computer software / Reliability 1 Treffer
- Congresses 1 Treffer
- Electronic Commerce 1 Treffer
- Endlicher Automat 1 Treffer
- Fehlerbehandlung 1 Treffer
- Hardwareentwurf 1 Treffer
- IP 1 Treffer
- Internet 1 Treffer
- Korrektheit 1 Treffer
- Leistungsbeurteilung 1 Treffer
- Modellierung 1 Treffer
- Programmcode 1 Treffer
- Reaktives System 1 Treffer
- Risiko 1 Treffer
- Technische Sicherheit 1 Treffer
- Technisches System 1 Treffer
- Telecommunication systems / Testing 1 Treffer
- Testmustergenerierung 1 Treffer
- Transitionssystem 1 Treffer
- Zuverlässigkeit 1 Treffer
Form
Person
- Broy, Manfred (1949-) 1 Treffer
- Dong, Jin Song (1967-) 1 Treffer
- Frutos-Escrig, David de 1 Treffer
- Gardiner, Stewart (1945-) 1 Treffer
- Grabowski, Jens 1 Treffer
-
12 weitere Werte:
- Grieskamp, Wolfgang 1 Treffer
- Groz, Roland 1 Treffer
- Hogrefe, Dieter (1958-) 1 Treffer
- Khendek, Ferhat 1 Treffer
- König, Hartmut (1950-) 1 Treffer
- Martin, Robert C. (1952-) 1 Treffer
- Najm, Elie (1952-) 1 Treffer
- Núñez, Manuel 1 Treffer
- Peled, Doron (1962-) 1 Treffer
- Petrenko, Alexandre 1 Treffer
- Schieferdecker, Ina (1967-) 1 Treffer
- Wang, Farn 1 Treffer
17 Treffer
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Upper Saddle River, NJ [u.a.]: Prentice Hall, 2009Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston, Mass [.u.a.]: Kluwer Academic, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1999Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: