Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Evolutionärer Algorithmus 5 Treffer
- Künstliche Evolution 5 Treffer
- Hardwareentwurf 4 Treffer
- Model Checking 4 Treffer
- Formale Methode 3 Treffer
-
17 weitere Werte:
- Hardwareverifikation 3 Treffer
- Entwurfssprache 2 Treffer
- System-on-Chip 2 Treffer
- Analoge integrierte Schaltung 1 Treffer
- Biologisches System 1 Treffer
- CAD 1 Treffer
- Digitale integrierte Schaltung 1 Treffer
- Elektronische Schaltung 1 Treffer
- Field programmable gate array 1 Treffer
- Genetische Programmierung 1 Treffer
- Integrierte Schaltung 1 Treffer
- Modell 1 Treffer
- Schaltungsentwsurf 1 Treffer
- Testen 1 Treffer
- VLSI 1 Treffer
- Verifikation 1 Treffer
- Zellularer Automat 1 Treffer
Sprache
Form
Person
16 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Soc, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: