Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 5 Treffer
- Hardwareverifikation 5 Treffer
- Entwurfsautomation 4 Treffer
- Model Checking 4 Treffer
- Softwareentwicklung 3 Treffer
-
36 weitere Werte:
- Computerarchitektur 2 Treffer
- Entwurf 2 Treffer
- Entwurfssprache 2 Treffer
- Logische Schaltung 2 Treffer
- Logischer Entwurf 2 Treffer
- RISC 2 Treffer
- Schaltungsentwurf 2 Treffer
- System-on-Chip 2 Treffer
- Systementwurf 2 Treffer
- Betriebssystem 1 Treffer
- Biologisches System 1 Treffer
- CAD 1 Treffer
- CISC 1 Treffer
- Compiler-Compiler 1 Treffer
- Computer 1 Treffer
- Digitalschaltung 1 Treffer
- Digitaltechnik 1 Treffer
- Eingebettetes System 1 Treffer
- Evolutionärer Algorithmus 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Hardwarebeschreibungssprache 1 Treffer
- Integrierte Schaltung 1 Treffer
- Kundenspezifische Schaltung 1 Treffer
- Künstliche Evolution 1 Treffer
- Minicomputer 1 Treffer
- Modell 1 Treffer
- Objektorientierung 1 Treffer
- Pipeline-Verarbeitung 1 Treffer
- Rechnernetz 1 Treffer
- Softwareproduktionsumgebung 1 Treffer
- Softwarewerkzeug 1 Treffer
- Top-down-Verfahren 1 Treffer
- Transputer 1 Treffer
- VHDL 1 Treffer
- VLSI 1 Treffer
- Verteiltes System 1 Treffer
Sprache
Form
Person
- Bergé, Jean-Michel 2 Treffer
- Paul, Wolfgang J. 2 Treffer
- Bell, C. G. 1 Treffer
- Borrione, Dominique 1 Treffer
- De Micheli, Giovanni (1955-) 1 Treffer
-
20 weitere Werte:
- Delgado Kloos, Carlos 1 Treffer
- Geist, Daniel 1 Treffer
- Hinton, Jeremy 1 Treffer
- Kastens, Uwe (1946-) 1 Treffer
- Keller, Jörg (1966-) 1 Treffer
- Kime, Charles R. 1 Treffer
- MacNamara, John E. 1 Treffer
- Mano, Moshe Morris (1927-) 1 Treffer
- Margaria, Tiziana 1 Treffer
- Marino, Leonard R. 1 Treffer
- Moreno, J. Manuel 1 Treffer
- Mudge, J. C. 1 Treffer
- Müller, Silvia M. 1 Treffer
- Pfahler, Peter 1 Treffer
- Pierre, Laurence 1 Treffer
- Pinder, Alan 1 Treffer
- Prosser, Franklin P. 1 Treffer
- Shiva, Sajjan G. 1 Treffer
- Staunstrup, Jørgen 1 Treffer
- Winkel, David E. 1 Treffer
20 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:
-
4. print.. - Bedford, Mass.: Digital Pr, 1979Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Acad. Publ, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
4. ed.. - Boca Raton [u.a.]: CRC Press, 2008Monographie, Gedruckte RessourceZugriff:
-
1988Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer Acad. Publ, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Prentice-Hall, 1993Monographie, Gedruckte RessourceZugriff:
-
1. print.. - Rockville, Md.: Computer Science Pr, 1986Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Chapman & Hall, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed., 1. [Dr.]. - Englewood Cliffs, NJ [u.a.]: Prentice-Hall, 1987Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer Academic, 1996Sammelwerk, Gedruckte RessourceZugriff:
-
3., durchges. Aufl.. - Stuttgart [u.a.]: Teubner, 2005Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Upper Saddle River, NJ: Prentice Hall, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer, 1997Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: