Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 3 Treffer
- Systementwurf 3 Treffer
- Echtzeitsystem 2 Treffer
- Formale Methode 2 Treffer
- Hardwareentwurf 2 Treffer
-
13 weitere Werte:
- Hybrides System 2 Treffer
- Model Checking 2 Treffer
- Systemanalyse 2 Treffer
- Verifikation 2 Treffer
- Verteiltes System 2 Treffer
- Zeitbehafteter Automat 2 Treffer
- CASHE 1 Treffer
- Compiler 1 Treffer
- Fehlertoleranz 1 Treffer
- Prozessor 1 Treffer
- Systemsynthese 1 Treffer
- Taipeh <2005> 1 Treffer
- Zuverlässigkeit 1 Treffer
Sprache
Form
Person
7 Treffer
-
Boston [u.a.]: Kluwer, 1997Monographie, Gedruckte RessourceZugriff:
-
2., erw. Aufl.. - Berlin [u.a.]: Springer, 2007Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: