Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Computerarchitektur 11 Treffer
- Hardwareentwurf 11 Treffer
- Model Checking 11 Treffer
- Formale Methode 10 Treffer
- Computer 9 Treffer
-
45 weitere Werte:
- Digitaltechnik 9 Treffer
- Hardwareverifikation 9 Treffer
- Technische Informatik 7 Treffer
- Verifikation 7 Treffer
- Entwurfsautomation 6 Treffer
- Softwareentwicklung 6 Treffer
- Systementwurf 6 Treffer
- CAD 5 Treffer
- Eingebettetes System 5 Treffer
- Hardware 5 Treffer
- Hochgeschwindigkeitsnetz 4 Treffer
- Elektrotechnik 3 Treffer
- Informatik 3 Treffer
- Mikrocomputer 3 Treffer
- Datentechnik 2 Treffer
- Datenverarbeitung 2 Treffer
- Entwurfssprache 2 Treffer
- Fehlertoleranz 2 Treffer
- Hardwarebeschreibungssprache 2 Treffer
- Hybrides System 2 Treffer
- Mikroarchitektur 2 Treffer
- Mikroprozessor 2 Treffer
- Schaltalgebra 2 Treffer
- Schaltnetz 2 Treffer
- Schaltwerk 2 Treffer
- System-on-Chip 2 Treffer
- Systemanalyse 2 Treffer
- VLSI 2 Treffer
- Zeitbehafteter Automat 2 Treffer
- Zuverlässigkeit 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Ausfallsicheres System 1 Treffer
- Automatentheorie 1 Treffer
- Berechnungstheorie 1 Treffer
- Boolesche Algebra 1 Treffer
- Cache-Speicher 1 Treffer
- Deduktionssystem 1 Treffer
- Digitaler Schaltkreis 1 Treffer
- Digitales System 1 Treffer
- Digitalschaltung 1 Treffer
- Electronics / Data processing 1 Treffer
- Electronics / Experiments 1 Treffer
- Entwurf 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Funktion 1 Treffer
Sprache
Form
Person
- Bähring, Helmut 12 Treffer
- Hönig, Udo 12 Treffer
- Schiffmann, Wolfram (1956-) 12 Treffer
- Schmitz, Robert 12 Treffer
- Weiland, Jürgen (1966-) 12 Treffer
-
45 weitere Werte:
- Muchow, Kenneth 4 Treffer
- Zeppa, Anthony 4 Treffer
- Clements, Alan (1948-) 3 Treffer
- Deem, Bill R. 3 Treffer
- Falsafi, Babak 3 Treffer
- Gotthardt, Klaus 3 Treffer
- Ameling, Walter 2 Treffer
- Beckmann, Ernst 2 Treffer
- Nashelsky, Louis 2 Treffer
- Schildt, Gerhard-Helge 2 Treffer
- Seifert, Franz 2 Treffer
- Aagaard, Mark 1 Treffer
- Adryan, Boris 1 Treffer
- Austin, Todd 1 Treffer
- Axmann, Hans-Peter 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Bauer, Wolfgang 1 Treffer
- Borrione, Dominique 1 Treffer
- Boyce, Jefferson C. (1924-) 1 Treffer
- Brauer, Volker 1 Treffer
- CAVE, FRANK E. 1 Treffer
- Camurati, Paolo E. 1 Treffer
- Deem, Bill 1 Treffer
- Ebner, Dieter 1 Treffer
- Fernandez, Eduardo B. 1 Treffer
- Fjeldly, Tor A. (1943-) 1 Treffer
- Fremantle, Paul 1 Treffer
- Fricke, Klaus 1 Treffer
- Geist, Daniel 1 Treffer
- Gopalakrishnan, Ganesh 1 Treffer
- Graf, Susanne 1 Treffer
- Gübeli, Rolf 1 Treffer
- Haas, Gerhard 1 Treffer
- Hahn, Winfried 1 Treffer
- Haltof, Horst (1942-) 1 Treffer
- Hartley, Michael G. 1 Treffer
- Healey, Martin 1 Treffer
- Hellmann, Roland (1978-) 1 Treffer
- Hellwagner, Hermann 1 Treffer
- Hennessy, John L. (1952-) 1 Treffer
- Hentschke, Siegbert 1 Treffer
- Hilburn, John L. 1 Treffer
- Hill, Fredrick J. 1 Treffer
- Hu, Alan J. 1 Treffer
- Hunt, Warren A. 1 Treffer
98 Treffer
-
2., überarb. und erw. Aufl.. - Wien [u.a.]: Springer, 2005Lehrbuch, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Logos, 2003Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
RESTON, VA.: RESTON PUBL. COMP, 1974Monographie, Gedruckte RessourceZugriff:
-
3. ed.. - RESTON, VA.: RESTON PUBL. CO, 1980Monographie, Gedruckte RessourceZugriff:
-
RESTON, VA.: RESTON PUBL. CO, 1979Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
[New York]: IEEE Pr. [u.a.], 2003Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Monographie, Gedruckte RessourceZugriff:
-
LONDON (U.A.): MCGRAW-HILL, 1978Monographie, Gedruckte RessourceZugriff:
-
Zürich: vdf, Hochschulverl. an der ETH Zürich, 2004Sammelwerk, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1992Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
RESTON, VA.: RESTON PUBL. CO, 1981Monographie, Gedruckte RessourceZugriff:
-
1. Aufl.. - Eindhoven: Philips' Gloeilampenfabriken, 1961Monographie, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Springer, 1979Monographie, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ.: Prentice-Hall, 1977Monographie, Gedruckte RessourceZugriff:
-
2. Aufl.. - Zürich: VDF, Hochschulverl. an der ETH Zürich, 2005Sammelwerk, Gedruckte RessourceZugriff: