 |
 |
|
|
 |
|
|
|
1 - 10 von 35
  |
|
 |
Ihre Aktion |
Suchen (Regensburger Verbundklassifikation (XRVK)) ST 195
|
|
|
|
|
 |
1. |
Logischer Entwurf digitaler Systeme
Liebig, Hans *1939-*. - 4., bearb. und erw. Aufl. - Berlin : Springer, 2006
|
|
|
|
2. |
Switching theory : insight through predicate logic
Vingron, Shimon Peter *1936-*. - Berlin : Springer, c 2004
|
|
|
|
3. |
Taschenbuch Digitaltechnik : mit 64 Tabellen
Siemers, Christian *1954-*. - München : Fachbuchverl. Leipzig im Carl Hanser Verl., 2003
|
|
|
|
4. |
Hardware description languages : concepts and principles
Ghosh, Sumit. - Piscataway, NJ : IEEE Press, c 2000 [erschienen] 1999
|
|
|
|
5. |
Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen
Molitor, Paul *1959-*. - Wiesbaden : Springer Fachmedien GmbH, 1999
|
|
|
 |
6. |
Theorem Provers in Circuit Design : Theory, Practice and Experience
Kumar, Ramayya. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1995
|
|
|
|
7. |
Theorem provers in circuit design : theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings
Kumar, Ramayya. - Online-Ausg.. - Berlin [u.a.] : Springer, 1995
|
|
|
|
8. |
Hardware Design : formaler Entwurf digitaler Schaltungen
Keller, Jörg *1966-*. - Stuttgart : Teubner, 1995
|
|
|
|
9. |
Theorem provers in circuit design : theory, practice and experience ; proceedings
Kumar, Ramayya. - Berlin : Springer, 1995
|
|
|
|
10. |
A formal approach to hardware design
Staunstrup, Jørgen. - Boston [u.a.] : Kluwer Acad. Publ., 1994
|
|
|
|
|
|
|
1 - 10 von 35
|
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| st 195 |
|
Regensburger Verbundklassifikation (XRVK) |
|
35 |
|
|
|
|
|
|
|
1 - 10 von 35
|
|
|
