Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Zuverlässigkeit 17 Treffer
- Testen 16 Treffer
- Softwareentwicklung 10 Treffer
- Verteiltes System 8 Treffer
- Formale Methode 7 Treffer
-
45 weitere Werte:
- Fehlertoleranz 6 Treffer
- Formale Spezifikationstechnik 6 Treffer
- Softwarespezifikation 6 Treffer
- Model Checking 5 Treffer
- Rechnernetz 5 Treffer
- Softwaretest 4 Treffer
- Datenverarbeitungssystem 3 Treffer
- Hardware 3 Treffer
- Kommunikationssystem 3 Treffer
- Qualitätssicherung 3 Treffer
- Telekommunikationsnetz 3 Treffer
- Verifikation 3 Treffer
- Zuverlässigkeitstheorie 3 Treffer
- Ada 2 Treffer
- Anwendungssystem 2 Treffer
- Kommunikationsprotokoll 2 Treffer
- Qualitätskontrolle 2 Treffer
- Requirements engineering 2 Treffer
- Software Engineering 2 Treffer
- Softwareschutz 2 Treffer
- Technische Sicherheit 2 Treffer
- Technisches System 2 Treffer
- VLSI 2 Treffer
- Adaptives System 1 Treffer
- Agile Softwareentwicklung 1 Treffer
- Agile software development 1 Treffer
- Anpassung 1 Treffer
- Benchmark 1 Treffer
- Bewertung 1 Treffer
- Communications software 1 Treffer
- Computer software / Development 1 Treffer
- Computer software / Reliability 1 Treffer
- Dienstgüte 1 Treffer
- Einrichtung 1 Treffer
- Endlicher Automat 1 Treffer
- Entwurfsmuster 1 Treffer
- Fehlerbehandlung 1 Treffer
- Funktionspunktmethode 1 Treffer
- Hardwareentwurf 1 Treffer
- IP 1 Treffer
- Integrierte Software 1 Treffer
- Korrektheit 1 Treffer
- Leistungsbewertung 1 Treffer
- Normung 1 Treffer
- Numerische Mathematik 1 Treffer
Sprache
Form
Person
- Müllerburg, Monika 2 Treffer
- Alt, René 1 Treffer
- Bendell, Anthony 1 Treffer
- Bittanti, Sergio 1 Treffer
- Bondavalli, Andrea (1960-) 1 Treffer
-
43 weitere Werte:
- Brown, William J. (1954-) 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Calzarossa, Maria Carla (1958-) 1 Treffer
- Conradi, Reidar 1 Treffer
- DeMillo, Richard A. 1 Treffer
- DeNeumann, Bernard 1 Treffer
- Dong, Jin Song (1967-) 1 Treffer
- Dorfman, Merlin 1 Treffer
- Echtle, Klaus 1 Treffer
- Fowler, Martin (1963-) 1 Treffer
- Frutos-Escrig, David de 1 Treffer
- Grabowski, Jens 1 Treffer
- Grieskamp, Wolfgang 1 Treffer
- Groz, Roland 1 Treffer
- Grégoire, Jean-Charles 1 Treffer
- Hardy, Keith 1 Treffer
- Hlavička, Jan (1942-) 1 Treffer
- Hlawiczka, Andrzej 1 Treffer
- Hogrefe, Dieter (1958-) 1 Treffer
- Kersken, Manfred 1 Treffer
- Khendek, Ferhat 1 Treffer
- König, Hartmut (1950-) 1 Treffer
- Laddaga, Robert 1 Treffer
- Liggesmeyer, Peter (1963-) 1 Treffer
- Littlewood, B. 1 Treffer
- Lyu, Michael R. 1 Treffer
- Martin, Robert C. (1952-) 1 Treffer
- Meckelburg, Hans-Jürgen 1 Treffer
- Najm, Elie (1952-) 1 Treffer
- Nesi, Paolo 1 Treffer
- Peled, Doron (1962-) 1 Treffer
- Perlis, Alan J. (1922-1990) 1 Treffer
- Petrenko, Alexandre 1 Treffer
- Randell, Brian 1 Treffer
- Rising, Linda 1 Treffer
- Robertson, Paul 1 Treffer
- Rook, Paul 1 Treffer
- Sennett, Chris T. 1 Treffer
- Shaw, Roger 1 Treffer
- Strohmeier, Alfred 1 Treffer
- Thayer, Richard H. 1 Treffer
- Voges, Udo 1 Treffer
- Wang, Farn 1 Treffer
49 Treffer
-
London [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 2001Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif.: IEEE Computer Society Press [u.a.], 1996Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1998Sammelwerk, Gedruckte RessourceZugriff:
-
Oxford [u.a.]: Blackwell Scientif, 1987Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Addison-Wesley, 2000Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
[Dr.] A. - Menlo Park, Calif. [u.a.]: Benjamin/Cummings, 1986Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1981Sammelwerk, Gedruckte RessourceZugriff:
-
Maidenhead, Berkshire, 1986Sonstiges, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: