Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Entwurfsautomation 4 Treffer
- Algorithmus 3 Treffer
- Parallelrechner 3 Treffer
- CAD 2 Treffer
- Computerarchitektur 2 Treffer
-
12 weitere Werte:
- Logischer Entwurf 2 Treffer
- Formale Methode 1 Treffer
- Formale Sprache 1 Treffer
- Hardwareentwurf 1 Treffer
- Hardwareverifikation 1 Treffer
- Model Checking 1 Treffer
- Parallelverarbeitung 1 Treffer
- Petri-Netz 1 Treffer
- Schaltungsentwurf 1 Treffer
- Sequenzielle Logik 1 Treffer
- Spezifikationssprache 1 Treffer
- VHDL 1 Treffer
Form
Person
10 Treffer
-
Boston, Mass. [u.a.]: Kluwer Acad. Publ, 1987Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Soc, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier, 1991Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Amsterdam [u.a.]: Elsevier, 1991Konferenzschrift, Schriftenreihe, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier, 1991Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Boston [u.a.]: Kluwer, 2000Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
4. ed.. - New York [u.a.]: Wiley, 1993Monographie, Gedruckte RessourceZugriff:
-
Boston, [Mass.] [u.a.]: Kluwer Acad. Publ, 1992Monographie, Gedruckte RessourceZugriff: