| In Association With... |  |
|
|
| New Releases | | • | FPGA Prototyping ByVerilog Examples | | • | 25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science) | | • | FPGAs: Instant Access | | • | Logical and Relational Learning (Cognitive Technologies) | | • | Digital Design and Verilog HDL Fundamentals | | • | Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in Computer Science) | | • | Computational Intelligence: A Compendium (Studies in Computational Intelligence) | | • | High-Level Synthesis: from Algorithm to Digital Circuit | | • | Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities | | • | Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes in Computer Science) |
|
|
|
| Powered by Associate-O-Matic
| |