Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Testen 22 Treffer
- Formale Methode 14 Treffer
- Zuverlässigkeit 14 Treffer
- Model Checking 12 Treffer
- Softwareentwicklung 10 Treffer
-
45 weitere Werte:
- Verteiltes System 9 Treffer
- Formale Spezifikationstechnik 7 Treffer
- Fehlertoleranz 6 Treffer
- Rechnernetz 6 Treffer
- Softwarespezifikation 6 Treffer
- Datenverarbeitung 5 Treffer
- Programmanalyse 5 Treffer
- Programmverifikation 5 Treffer
- Qualitätssicherung 5 Treffer
- Softwaretest 5 Treffer
- Kommunikationssystem 4 Treffer
- Mathematik 4 Treffer
- Programmierung 4 Treffer
- Verifikation 4 Treffer
- Anwendungssystem 3 Treffer
- Computerarchitektur 3 Treffer
- Datenverarbeitungssystem 3 Treffer
- Hardware 3 Treffer
- Informatik 3 Treffer
- Leistungsbewertung 3 Treffer
- Parallelverarbeitung 3 Treffer
- Qualitätskontrolle 3 Treffer
- Systementwicklung 3 Treffer
- Technische Sicherheit 3 Treffer
- Telekommunikationsnetz 3 Treffer
- Ada 2 Treffer
- Algorithmus 2 Treffer
- Computersicherheit 2 Treffer
- Datenbankverwaltung 2 Treffer
- Datensicherung 2 Treffer
- Dienstgüte 2 Treffer
- Information Retrieval 2 Treffer
- Information und Dokumentation 2 Treffer
- Kommunikationsprotokoll 2 Treffer
- Korrektheit 2 Treffer
- Mensch-Maschine-Kommunikation 2 Treffer
- Modellgetriebene Entwicklung 2 Treffer
- Modellierung 2 Treffer
- Qualität 2 Treffer
- Software Engineering 2 Treffer
- Softwarearchitektur 2 Treffer
- Softwareschutz 2 Treffer
- Supercomputer 2 Treffer
- VLSI 2 Treffer
- Zuverlässigkeitstheorie 2 Treffer
Sprache
Form
Person
- Abadi, Martín (1963-) 1 Treffer
- Araki, Keijirō 1 Treffer
- Banâtre, Michel 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Bell, James R. 1 Treffer
-
45 weitere Werte:
- Belli, Fevzi 1 Treffer
- Berg, Helmut K. 1 Treffer
- Bondavalli, Andrea (1960-) 1 Treffer
- Chandrasekaran, B. 1 Treffer
- Cowell, Wayne 1 Treffer
- DeNeumann, Bernard 1 Treffer
- Dong, Jin Song (1967-) 1 Treffer
- Echtle, Klaus 1 Treffer
- Ehrenberger, Wolfgang 1 Treffer
- Fitzgerald, John 1 Treffer
- Floyd, Christiane (1943-) 1 Treffer
- Frutos-Escrig, David de 1 Treffer
- Gorny, Peter (1935-2019) 1 Treffer
- Grabowski, Jens 1 Treffer
- Grieskamp, Wolfgang 1 Treffer
- Groz, Roland 1 Treffer
- Grégoire, Jean-Charles 1 Treffer
- Hagiya, Masami 1 Treffer
- Hardy, Keith 1 Treffer
- Hausen, Hans-Ludwig 1 Treffer
- Havelund, Klaus (1955-) 1 Treffer
- Hetzel, William C. (1941-) 1 Treffer
- Hlavička, Jan (1942-) 1 Treffer
- Hlawiczka, Andrzej 1 Treffer
- Hofmeister, Christine 1 Treffer
- Hogrefe, Dieter (1958-) 1 Treffer
- Hunt, Warren A. 1 Treffer
- Iglesias, Andrés 1 Treffer
- Itō, Takayasū 1 Treffer
- Khendek, Ferhat 1 Treffer
- Kobayashi, Naoki (1921-) 1 Treffer
- Koornneef, Floor 1 Treffer
- Kowalik, Janusz S. 1 Treffer
- Kölsch, Raimund (1947-) 1 Treffer
- König, Hartmut (1950-) 1 Treffer
- Laddaga, Robert 1 Treffer
- Lai, Ten H. 1 Treffer
- Lichnewsky, A. 1 Treffer
- Liggesmeyer, Peter (1963-) 1 Treffer
- Mason, John C. 1 Treffer
- Messina, Paul C. 1 Treffer
- Misra, Jayadev 1 Treffer
- Müllerburg, Monika 1 Treffer
- Najm, Elie (1952-) 1 Treffer
- Nesi, Paolo 1 Treffer
84 Treffer
-
Berlin [u.a.]: Springer, 1983Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Plenum Pr, 1987Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1987Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: SpringerKonferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: