Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Echtzeitsystem 2 Treffer
- Software Engineering 2 Treffer
- Ada 1 Treffer
- Anforderungsdefinition 1 Treffer
- Debugging 1 Treffer
-
11 weitere Werte:
- Formale Beschreibungstechnik 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Kommunikationsprotokoll 1 Treffer
- MORE/RT 1 Treffer
- Nebenläufigkeit 1 Treffer
- Objektorientierung 1 Treffer
- Parallelverarbeitung 1 Treffer
- Rechnernetz 1 Treffer
- Software 1 Treffer
- Verifikation 1 Treffer
- Zuverlässigkeit 1 Treffer
Form
Person
8 Treffer
-
Reading, Mass. [u.a.]: Addison-Wesley, 1993Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: BI-Wiss.-Verl, 1995Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Washington, DC [u.a.]: IEEE Computer Soc. Pr, 1989Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Gedruckte RessourceZugriff:
-
Providence, RI: American Math. Soc, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York: ACM Pr, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: