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 8 Treffer
- Verifikation 7 Treffer
-
38 weitere Werte:
- Entwurfsautomation 6 Treffer
- Softwareentwicklung 6 Treffer
- CAD 5 Treffer
- Computerarchitektur 5 Treffer
- Systementwurf 5 Treffer
- Eingebettetes System 4 Treffer
- Hochgeschwindigkeitsnetz 4 Treffer
- Technische Informatik 3 Treffer
- Digitaltechnik 2 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
- Computer 1 Treffer
- Datentechnik 1 Treffer
- Deduktionssystem 1 Treffer
- Hardwarebeschreibungssprache 1 Treffer
- Informatik 1 Treffer
- Lehrbuch 1 Treffer
- Leistungsbewertung 1 Treffer
- Optimierender Compiler 1 Treffer
- Programmanalyse 1 Treffer
- Reaktives System 1 Treffer
- Rekonfiguration 1 Treffer
- SCI (Informatik) 1 Treffer
- Software 1 Treffer
- Taipeh <2005> 1 Treffer
- Testen 1 Treffer
- Top-down-Verfahren 1 Treffer
Sprache
Form
Person
- Bähring, Helmut 12 Treffer
- Hönig, Udo 12 Treffer
- Schiffmann, Wolfram (1956-) 12 Treffer
- Schmitz, Robert 12 Treffer
- Weiland, Jürgen (1966-) 12 Treffer
-
37 weitere Werte:
- Falsafi, Babak 3 Treffer
- Beckmann, Ernst 2 Treffer
- Aagaard, Mark 1 Treffer
- Bauer, Wolfgang 1 Treffer
- Borrione, Dominique 1 Treffer
- Camurati, Paolo E. 1 Treffer
- Fernandez, Eduardo B. 1 Treffer
- Geist, Daniel 1 Treffer
- Gopalakrishnan, Ganesh 1 Treffer
- Graf, Susanne 1 Treffer
- Gübeli, Rolf 1 Treffer
- Hellwagner, Hermann 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
- Kerner, Immo O. (1928-2014) 1 Treffer
- Kropf, Thomas 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
- Müller, Thomas (1957-) 1 Treffer
- Omondi, Amos 1 Treffer
- Peled, Doron (1962-) 1 Treffer
- Pierre, Laurence 1 Treffer
- Pierson, Jean-Marc (1970-) 1 Treffer
- Pütz, Jean 1 Treffer
- Pütz, Jean (1936-) 1 Treffer
- Schildt, Gerhard-Helge 1 Treffer
- Scholz, Klaus-Peter 1 Treffer
- Shankar, Ravi 1 Treffer
- Srikanthan, Thambipillai 1 Treffer
- Srivas, Mandayam 1 Treffer
- Wang, Farn 1 Treffer
- Yew, Pen-Chung 1 Treffer
48 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:
-
2., überarb. Aufl.. - Berlin [u.a.]: Springer, 1993Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
5., neu bearb. und erg. Aufl.. - Berlin [u.a.]: Springer, 2005Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
4., neu bearb. Aufl.. - Berlin [u.a.]: Springer, 2002Sammelwerk, Teil eines Werkes, 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:
-
1. Aufl.. - Berlin: Verl. Technik, 1988Wörterbuch, Nachschlagewerk, Sammelwerk, Gedruckte RessourceZugriff:
-
Hoboken, NJ: Wiley, 2015Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - San Diego [u.a.]: Acad. Press, 1989Sammelwerk, 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:
-
München [u.a.]: Fachbuchverl. Leipzig im Carl-Hanser-Verl, 1998Sammelwerk, Gedruckte RessourceZugriff: