Hardware Verification with C++
Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II ...
اقرأ المزيد
Hardware Verification with SystemVerilog
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
اقرأ المزيد
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
اقرأ المزيد
Harmonic Analysis and Applications
John J. Benedetto has had a profound influence not only on the direction of harmonic analysis and its applications, but also ...
اقرأ المزيد
Harmonic Analysis and Applications
John J. Benedetto has had a profound influence not only on the direction of harmonic analysis and its applications, but also ...
اقرأ المزيد
Hartree-Fock-Slater Method for Materials Science
Molecular-orbital calculations for materials design such as alloys, ceramics, and coordination compounds are now possible ...
اقرأ المزيد
Heterocyclic Supramolecules I
Contributing to this book of six chapters were 14 scientists working in the field of supramolecular chemistry, with a special ...
اقرأ المزيد
High Confidence Software Reuse in Large Systems : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Software Reuse, ICSR 2008, held in ...
اقرأ المزيد
High Performance Computing
The objective of this symposium is to exchange the latest research results in software, architecture, and applications in ...
اقرأ المزيد
High Performance Computing - HiPC 2008 : 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, ...
اقرأ المزيد
High Performance Computing and Communications
The 75 revised full papers address all current issues of parallel and distributed systems and high performance computing ...
اقرأ المزيد
High Performance Computing and Communications (vol. # 4208)
HPCC has moved into the mainstream of c- puting and has become a key technology in future research and development activities ...
اقرأ المزيد
High Performance Computing for Computational Science - VECPAR 2008 : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on High Performance ...
اقرأ المزيد
High Performance Embedded Architectures and Compilers
This book constitutes the refereed proceedings of the Second International Conference on High Performance Embedded Architectures ...
اقرأ المزيد
High Performance Embedded Architectures and Compilers : Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings
This book constitutes the refereed proceedings of the Third International Conference on High Performance Embedded Architectures ...
اقرأ المزيد
High Resolution Numerical Modelling of the Atmosphere and Ocean
This book includes 15 individual papers that highlight the emerging research in atmospheric and oceanic science that has ...
اقرأ المزيد
High Temperature Mechanical Behavior of Ceramic-Matrix Composites / Longbiao Li
High Temperature Mechanical Behavior of Ceramic-Matrix Composites examines the behavior of CMCs at elevated temperature—outlining ...
اقرأ المزيد
High-Level Synthesis : From Algorithm to Digital Circuit
This book presents an excellent collection of contributions addressing different aspects of high-level synthesis from both ...
اقرأ المزيد
High-Performance Computing : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
This is the joint post-proceedings of the 6th International Symposium on High Performance Computing (ISHPC-VI) and the First ...
اقرأ المزيد
High-Strength Ceramics : Interdisciplinary Perspectives / Jonathan L. Ferencz, Nelson R. F. A. Silva, Jose M. Navarro
Provides insight into these issues, the editors of this book have assembled the talents of the various stakeholders in this ...
اقرأ المزيد
