Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Hardwareentwurf 6 Treffer
- Formale Methode 4 Treffer
- Model Checking 4 Treffer
- Entwurfsautomation 3 Treffer
- Entwurfssprache 2 Treffer
-
16 weitere Werte:
- System-on-Chip 2 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Computerarchitektur 1 Treffer
- Geschwindigkeitsunabhängigkeit 1 Treffer
- Hardwarebeschreibungssprache 1 Treffer
- Integrierte Schaltung 1 Treffer
- Logischer Entwurf 1 Treffer
- Mehrprozessorsystem 1 Treffer
- Pufferspeicher 1 Treffer
- Schaltungsentwurf 1 Treffer
- Temporale Logik 1 Treffer
- Top-down-Verfahren 1 Treffer
- Transitionssystem 1 Treffer
- VHDL 1 Treffer
- VLSI 1 Treffer
- Verteiltes System 1 Treffer
Sprache
Form
Person
12 Treffer
-
Cambridge, Mass. [u.a.]: MIT Pr, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Chapman & Hall, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer Acad. Publ, 1993Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1991Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: