Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 11 Treffer
- Systementwicklung 11 Treffer
- Technische Sicherheit 8 Treffer
- Mensch-Maschine-Kommunikation 7 Treffer
- Zuverlässigkeit 7 Treffer
-
28 weitere Werte:
- Qualitätsmanagement 6 Treffer
- Model Checking 3 Treffer
- Programmanalyse 3 Treffer
- Programmverifikation 3 Treffer
- Software 3 Treffer
- Testen 3 Treffer
- Datensicherung 2 Treffer
- Eingebettetes System 2 Treffer
- Fehlertoleranz 2 Treffer
- Sicherheitskritisches System 2 Treffer
- Anwendungssystem 1 Treffer
- Computersicherheit 1 Treffer
- Data Mining 1 Treffer
- Dienstgüte 1 Treffer
- Echtzeitsystem 1 Treffer
- Entwurfsmuster 1 Treffer
- Fuzzy-Regelung 1 Treffer
- Hardwareentwurf 1 Treffer
- Huntingdon and Godmanchester 1 Treffer
- Qualitätskontrolle 1 Treffer
- Requirements engineering 1 Treffer
- Risiko 1 Treffer
- Soft Computing 1 Treffer
- Statistik 1 Treffer
- Systementwurf 1 Treffer
- Technisches System 1 Treffer
- Telekommunikationsnetz 1 Treffer
- Unsicherheit 1 Treffer
Sprache
Form
Person
- Bomarius, Frank 4 Treffer
- Anderson, Stuart 2 Treffer
- Araki, Keijirō 1 Treffer
- Bouyssounouse, Bruno 1 Treffer
- Bustard, David (1949-) 1 Treffer
-
12 weitere Werte:
- Felici, Massimo (1973-) 1 Treffer
- Fitzgerald, John 1 Treffer
- Fitzgerald, John (1951-) 1 Treffer
- Górski, Janusz 1 Treffer
- Heisel, Maritta 1 Treffer
- Misra, Jayadev 1 Treffer
- Münch, Jürgen 1 Treffer
- Oivo, Markku 1 Treffer
- Redmill, Felix 1 Treffer
- Schumacher, Markus 1 Treffer
- Voges, Udo 1 Treffer
- Winther, Rune 1 Treffer
21 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: