Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Model Checking 7 Treffer
- Hardwareentwurf 5 Treffer
- Entwurfsautomation 4 Treffer
- Hardwareverifikation 4 Treffer
- CAD 3 Treffer
-
16 weitere Werte:
- Verifikation 3 Treffer
- Entwurfssprache 2 Treffer
- System-on-Chip 2 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Eingebettetes System 1 Treffer
- Leistungsbewertung 1 Treffer
- Logische Schaltung 1 Treffer
- Nebenläufigkeit 1 Treffer
- Petri-Netz 1 Treffer
- Programmanalyse 1 Treffer
- Schaltungsentwurf 1 Treffer
- Software 1 Treffer
- Systementwurf 1 Treffer
- Testen 1 Treffer
- Top-down-Verfahren 1 Treffer
- VLSI 1 Treffer
Sprache
Form
Person
9 Treffer
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
3., durchges. Aufl.. - Stuttgart [u.a.]: Teubner, 2005Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: