Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Model Checking 11 Treffer
- Formale Methode 10 Treffer
- Hardwareentwurf 9 Treffer
- Hardwareverifikation 7 Treffer
- Verifikation 7 Treffer
-
33 weitere Werte:
- Entwurfsautomation 6 Treffer
- Softwareentwicklung 6 Treffer
- CAD 5 Treffer
- Computerarchitektur 5 Treffer
- Systementwurf 5 Treffer
- Eingebettetes System 4 Treffer
- Hochgeschwindigkeitsnetz 3 Treffer
- Entwurfssprache 2 Treffer
- Fehlertoleranz 2 Treffer
- Hybrides System 2 Treffer
- Mikroarchitektur 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
- Berechnungstheorie 1 Treffer
- Cache-Speicher 1 Treffer
- Deduktionssystem 1 Treffer
- Entwurf 1 Treffer
- Hardwarebeschreibungssprache 1 Treffer
- Integrierte Schaltung 1 Treffer
- Leistungsbewertung 1 Treffer
- Optimierender Compiler 1 Treffer
- Programmanalyse 1 Treffer
- Reaktives System 1 Treffer
- Rekonfiguration 1 Treffer
- Software 1 Treffer
- Taipeh <2005> 1 Treffer
- Testen 1 Treffer
- Top-down-Verfahren 1 Treffer
Sprache
Form
Person
- Falsafi, Babak 3 Treffer
- Aagaard, Mark 1 Treffer
- Borrione, Dominique 1 Treffer
- Camurati, Paolo E. 1 Treffer
- Geist, Daniel 1 Treffer
-
18 weitere Werte:
- Gopalakrishnan, Ganesh 1 Treffer
- Graf, Susanne 1 Treffer
- Hu, Alan J. 1 Treffer
- Hunt, Warren A. 1 Treffer
- Hämäläinen, Timo D. 1 Treffer
- Jesshope, Chris R. 1 Treffer
- Lemos, Rogério de 1 Treffer
- Margaria, Tiziana 1 Treffer
- Maziero, Carlos Alberto 1 Treffer
- Milne, George J. 1 Treffer
- Möller, Bernhard 1 Treffer
- Omondi, Amos 1 Treffer
- Peled, Doron (1962-) 1 Treffer
- Pierre, Laurence 1 Treffer
- Srikanthan, Thambipillai 1 Treffer
- Srivas, Mandayam 1 Treffer
- Wang, Farn 1 Treffer
- Yew, Pen-Chung 1 Treffer
26 Treffer
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Sankt Augustin: GMD, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: