Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Entwurfsautomation 16 Treffer
- Computerarchitektur 13 Treffer
- Hardwareentwurf 8 Treffer
- Hardwareverifikation 8 Treffer
- Model Checking 8 Treffer
-
45 weitere Werte:
- CAD 7 Treffer
- Field programmable gate array 7 Treffer
- Formale Methode 7 Treffer
- VLSI 7 Treffer
- Evolutionärer Algorithmus 6 Treffer
- Künstliche Evolution 5 Treffer
- Parallelrechner 5 Treffer
- Programmierbare logische Anordnung 5 Treffer
- Rekonfiguration 5 Treffer
- Supercomputer 5 Treffer
- Verteiltes System 5 Treffer
- Gate-Array-Bauelement 4 Treffer
- Petri-Netz 4 Treffer
- Ubiquitous Computing 4 Treffer
- Verifikation 4 Treffer
- Algorithmus 3 Treffer
- Informatik 3 Treffer
- Integrierte Schaltung 3 Treffer
- Schaltungsentwurf 3 Treffer
- System-on-Chip 3 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Eingebettetes System 2 Treffer
- Elektronische Schaltung 2 Treffer
- Entwurf 2 Treffer
- Entwurfssprache 2 Treffer
- Fehlertoleranz 2 Treffer
- Hardwarebeschreibungssprache 2 Treffer
- Logische Schaltung 2 Treffer
- Logischer Entwurf 2 Treffer
- Mikroelektronik 2 Treffer
- Parallelverarbeitung 2 Treffer
- Rechnernetz 2 Treffer
- Selbst organisierendes System 2 Treffer
- Software 2 Treffer
- Teilsystem 2 Treffer
- Testen 2 Treffer
- Ad-hoc-Netz 1 Treffer
- Analoge integrierte Schaltung 1 Treffer
- Asynchronbetrieb 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Bauelement 1 Treffer
- Berechnungstheorie 1 Treffer
- Betriebssystem 1 Treffer
- Beweistheorie 1 Treffer
- Biologisches System 1 Treffer
Sprache
Form
Person
- Deprettere, Ed F. (1944-) 3 Treffer
- Hartenstein, Reiner W. 3 Treffer
- Pose, Ronald 2 Treffer
- Aagaard, Mark 1 Treffer
- Aalst, Wil van der (1966-) 1 Treffer
-
45 weitere Werte:
- Avižienis, Algirdas (1932-) 1 Treffer
- Becker, Jürgen 1 Treffer
- Beigl, Michael 1 Treffer
- Birtwistle, Graham M. (1939-) 1 Treffer
- Borrione, Dominique 1 Treffer
- Brebner, Gordon 1 Treffer
- Buell, Duncan A. 1 Treffer
- Camposano, Raúl 1 Treffer
- Camurati, Paolo E. 1 Treffer
- Carter, William C. (1941-) 1 Treffer
- Cheung, Peter Y. K. 1 Treffer
- Chico, Jorge Juan 1 Treffer
- Ciardo, Gianfranco 1 Treffer
- Cortadella, Jordi 1 Treffer
- Darringer, John A. 1 Treffer
- De Micheli, Giovanni (1955-) 1 Treffer
- Delgado Kloos, Carlos 1 Treffer
- Delgado-Frias, José G. 1 Treffer
- Duff, M. J. B. (1933-) 1 Treffer
- Geist, Daniel 1 Treffer
- Glesner, Manfred 1 Treffer
- Goles, Eric 1 Treffer
- Gopalakrishnan, Ganesh 1 Treffer
- Grass, Werner 1 Treffer
- Grünbacher, Herbert 1 Treffer
- Gutknecht, Jürg 1 Treffer
- Hochet, Bertrand 1 Treffer
- Hu, Alan J. 1 Treffer
- Hunt, Warren A. 1 Treffer
- Huttenloher, Rainer 1 Treffer
- Kastens, Uwe (1946-) 1 Treffer
- Kleine, Karl (1950-) 1 Treffer
- Kowalik, Janusz S. 1 Treffer
- Kündig, Albert 1 Treffer
- Lepejian, David 1 Treffer
- Liu, Yong 1 Treffer
- Lysaght, Patrick 1 Treffer
- Macii, Enrico 1 Treffer
- Margaria, Tiziana 1 Treffer
- Metropolis, Nicholas C. (1915-1999) 1 Treffer
- Meuer, Hans-Werner 1 Treffer
- Michel, Petra 1 Treffer
- Miller, Julian 1 Treffer
- Milne, George J. 1 Treffer
- Moore, Will R. 1 Treffer
93 Treffer
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Silver Spring, Md.: IEEE Computer Soc. Pr, 1984Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Acad. Publ, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Oxford: Clarendon Press, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Soc, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Washington, DC: Computer Soc. Pr, 1988Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: