1
Correct Hardware Design and Verification Methods [E-Book] : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings /
2
Electronics System Design Techniques for Safety Critical Applications [E-Book] /
3
Emotional Cognitive Neural Algorithms with Engineering Applications [E-Book] : Dynamic Logic: FromVague to Crisp /
4
Fault-Tolerance Techniques for SRAM-based FPGAs [E-Book] /
5
Field Programmable Logic and Applications [E-Book] : 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings /
6
FM’99 — Formal Methods [E-Book] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I /
7
Formal Methods in Computer-Aided Design [E-Book] : Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings /
8
Formal Methods in Computer-Aided Design [E-Book] : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings /
9
Functional Design Errors in Digital Circuits [E-Book] : Diagnosis, Correction and Repair /
10
High-Level Synthesis [E-Book] : From Algorithm to Digital Circuit /
11
Hybrid Systems: Computation and Control [E-Book] : 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings /
12
Hybrid Systems: Computation and Control [E-Book] : Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings /
13
Integrated Circuit Design [E-Book] : Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13–15, 2000 Proceedings /
14
Introduction to Embedded System Design Using Field Programmable Gate Arrays [E-Book] /
15
Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung [E-Book] /
16
Logic Synthesis for Compositional Microprogram Control Units [E-Book] /
17
Logic Synthesis for FSM-Based Control Units [E-Book] /
18
More than Moore [E-Book] : Creating High Value Micro/Nanoelectronics Systems /
19
New Algorithms, Architectures and Applications for Reconfigurable Computing [E-Book] /
20
Practical Problems in VLSI Physical Design Automation [E-Book] /