Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Evolutionärer Algorithmus 5 Treffer
- Künstliche Evolution 5 Treffer
- VLSI 5 Treffer
- Formale Methode 4 Treffer
- Hardwareentwurf 4 Treffer
-
35 weitere Werte:
- Model Checking 4 Treffer
- CAD 3 Treffer
- Hardwareverifikation 3 Treffer
- Logischer Entwurf 3 Treffer
- Entwurfssprache 2 Treffer
- Integrierte Schaltung 2 Treffer
- Petri-Netz 2 Treffer
- System-on-Chip 2 Treffer
- Systementwurf 2 Treffer
- Verifikation 2 Treffer
- Analoge integrierte Schaltung 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Biologisches System 1 Treffer
- Datenmodell 1 Treffer
- Digitale integrierte Schaltung 1 Treffer
- Digitales System 1 Treffer
- Eingebettetes System 1 Treffer
- Elektronische Schaltung 1 Treffer
- Field programmable gate array 1 Treffer
- Formale Sprache 1 Treffer
- Genetische Programmierung 1 Treffer
- Gesteuertes Netz 1 Treffer
- Konfigurationsverwaltung 1 Treffer
- Leistungsbewertung 1 Treffer
- Modell 1 Treffer
- Nebenläufigkeit 1 Treffer
- Schaltungsentwsurf 1 Treffer
- Selbsttest 1 Treffer
- Sequenzielle Logik 1 Treffer
- Softwareproduktionsumgebung 1 Treffer
- Spezifikationssprache 1 Treffer
- Testen 1 Treffer
- VHDL 1 Treffer
- Zellularer Automat 1 Treffer
- Übersetzerbau 1 Treffer
Sprache
Form
Person
- Ashar, Pranav 1 Treffer
- Borrione, Dominique 1 Treffer
- Camposano, Raúl 1 Treffer
- Chico, Jorge Juan 1 Treffer
- Cortadella, Jordi 1 Treffer
-
21 weitere Werte:
- Devadas, Srinivas 1 Treffer
- Geist, Daniel 1 Treffer
- Gopalakrishnan, Ganesh 1 Treffer
- Hill, Frederick J. 1 Treffer
- Hochet, Bertrand 1 Treffer
- Kloos, Carlos Delgado 1 Treffer
- Liu, Yong 1 Treffer
- Macii, Enrico 1 Treffer
- Miller, Julian 1 Treffer
- Moreno, J. Manuel 1 Treffer
- Newton, Arthur R. 1 Treffer
- Paliouras, Vassilis 1 Treffer
- Peterson, Gerald R. 1 Treffer
- Pierre, Laurence 1 Treffer
- Schettler, Olav 1 Treffer
- Sipper, Moshe 1 Treffer
- Soudris, Dimitrios 1 Treffer
- Ströle, Albrecht P. (1955-) 1 Treffer
- Tyrrell, Andrew M. 1 Treffer
- Vounckx, Johan 1 Treffer
- Zobrist, George W. (1934-) 1 Treffer
24 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart [u.a.]: Teubner, 1998Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Soc, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Freiburg: Hochschulverl, 1982Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Norwood, NJ: Ablex Publ. Corp, 1994Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston, [Mass.] [u.a.]: Kluwer Acad. Publ, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: