Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- CAD 4 Treffer
- Formale Methode 3 Treffer
- Model Checking 3 Treffer
- Entwurfsautomation 2 Treffer
- Asynchrones Schaltwerk 1 Treffer
-
12 weitere Werte:
- Eingebettetes System 1 Treffer
- Elektronische Schaltung 1 Treffer
- Funktionstest 1 Treffer
- Integrated circuits 1 Treffer
- Leistungsbewertung 1 Treffer
- Nebenläufigkeit 1 Treffer
- Petri-Netz 1 Treffer
- Programmanalyse 1 Treffer
- Software 1 Treffer
- Systementwurf 1 Treffer
- Testen 1 Treffer
- Verification 1 Treffer
Sprache
Form
Person
6 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer Acad. Publ, 2004Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: