|
|
|
|
|
|
|
|
1 - 10 von 21 |
|
|
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) logic design eingrenzen (Basisklassifikation (XBKL)) 54.23
|
|
|
|
|
|
1. |
Logischer Entwurf digitaler Systeme Liebig, Hans *1939-*. - 4., bearb. und erw. Aufl. - Berlin : Springer, 2006
|
|
|
|
2. |
Logischer Entwurf digitaler Systeme Liebig, Hans *1939-*. - 3., vollst. neubearb. Aufl. - Berlin [u.a.] : Springer, 1996
|
|
|
|
3. |
Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings Srivas, Mandayam. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
|
|
|
|
4. |
Field-Programmable Logic, Smart Applications, New Paradigms and Compilers : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 - 25, Proceedings Hartenstein, Reiner W.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
|
|
|
|
5. |
Towards Evolvable Hardware : The Evolutionary Engineering Approach Sanchez, Eduardo. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
|
|
|
|
6. |
Field-Programmable Logic and Applications : 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings Moore, Will. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1995
|
|
|
|
7. |
FM8501: A Verified Microprocessor Hunt, Warren A. Jr. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1994
|
|
|
|
8. |
Field-Programmable Gate Arrays : Architectures and Tools for Rapid Prototyping. Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992. Selected Papers Grünbacher, Herbert. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1993
|
|
|
|
9. |
Correct Hardware Design and Verification Methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings Milne, George J.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1993
|
|
|
|
10. |
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings Bochmann, Gregor von. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1993
|
|
|
|
|
|
|
1 - 10 von 21 |
|
Wort |
|
Typ |
|
Anzahl |
|
logic design |
|
Schlagwörter GND (Phrase) (XSP) |
|
668 |
54.23 |
|
Basisklassifikation (XBKL) |
|
89 |
|
|
|
|
|
|
|
1 - 10 von 21 |
|
|