Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Model Checking 11 Treffer
- Formale Methode 10 Treffer
- Hardwareentwurf 10 Treffer
- Hardwareverifikation 9 Treffer
- Computerarchitektur 6 Treffer
-
45 weitere Werte:
- Entwurfsautomation 6 Treffer
- Softwareentwicklung 6 Treffer
- Verifikation 6 Treffer
- Systementwurf 5 Treffer
- CAD 4 Treffer
- Eingebettetes System 4 Treffer
- Hochgeschwindigkeitsnetz 4 Treffer
- Computer 3 Treffer
- Hardware 3 Treffer
- Digitaltechnik 2 Treffer
- Entwurfssprache 2 Treffer
- Fehlertoleranz 2 Treffer
- Hardwarebeschreibungssprache 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
- Datenverarbeitung 1 Treffer
- Deduktionssystem 1 Treffer
- Digitaler Schaltkreis 1 Treffer
- Digitalschaltung 1 Treffer
- Electronics / Data processing 1 Treffer
- Electronics / Experiments 1 Treffer
- Internet der Dinge 1 Treffer
- Internet of things 1 Treffer
- Leistungsbewertung 1 Treffer
- Logiksynthese 1 Treffer
- Logische Schaltung 1 Treffer
- Machine-to-machine communications 1 Treffer
- Mikrocomputer 1 Treffer
- Mikroprozessor 1 Treffer
- Optimierender Compiler 1 Treffer
- Prognose 1 Treffer
- Programmanalyse 1 Treffer
- Reaktives System 1 Treffer
- Rekonfiguration 1 Treffer
- SCI (Informatik) 1 Treffer
- Software 1 Treffer
Form
Person
- Falsafi, Babak 3 Treffer
- Clements, Alan (1948-) 2 Treffer
- Aagaard, Mark 1 Treffer
- Adryan, Boris 1 Treffer
- Borrione, Dominique 1 Treffer
-
39 weitere Werte:
- Boyce, Jefferson C. (1924-) 1 Treffer
- Camurati, Paolo E. 1 Treffer
- Deem, Bill 1 Treffer
- Fjeldly, Tor A. (1943-) 1 Treffer
- Fremantle, Paul 1 Treffer
- Geist, Daniel 1 Treffer
- Gopalakrishnan, Ganesh 1 Treffer
- Graf, Susanne 1 Treffer
- Hellwagner, Hermann 1 Treffer
- Hennessy, John L. (1952-) 1 Treffer
- Hilburn, John L. 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
- Johnson, David E. (1927-) 1 Treffer
- Julich, Paul M. 1 Treffer
- Kropf, Thomas 1 Treffer
- Lemos, Rogério de 1 Treffer
- Mano, Moshe Morris (1927-) 1 Treffer
- Margaria, Tiziana 1 Treffer
- Maziero, Carlos Alberto 1 Treffer
- Milne, George J. 1 Treffer
- Muchow, Kenneth 1 Treffer
- Möller, Bernhard 1 Treffer
- Obermaier, Dominik 1 Treffer
- Omondi, Amos 1 Treffer
- Patterson, David A. (1947-) 1 Treffer
- Peled, Doron (1962-) 1 Treffer
- Pettit, Francis R. 1 Treffer
- Pierre, Laurence 1 Treffer
- Pierson, Jean-Marc (1970-) 1 Treffer
- Sharp, Richard 1 Treffer
- Shur, Michael (1942-) 1 Treffer
- Srikanthan, Thambipillai 1 Treffer
- Taub, Herbert 1 Treffer
- Wang, Farn 1 Treffer
- Yew, Pen-Chung 1 Treffer
- Zeppa, Anthony 1 Treffer
39 Treffer
-
5. ed.. - Amsterdam [u.a.]: Elsevier [u.a.], 2012Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, 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:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester: Horwood [u.a.], 1982Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: