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
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
اقرأ المزيد
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. ...
اقرأ المزيد
Hartree-Fock-Slater Method for Materials Science
Molecular-orbital calculations for materials design such as alloys, ceramics, and coordination compounds are now possible ...
اقرأ المزيدHealthcare Design Basics / Mark Karlen, Saglinda H. Roberts, Kyra K. Tucker
Delivers an up-to-date text covering the critical aspects of healthcare design, preparing students for a specialty rapidly ...
اقرأ المزيدHealthcare facility بيان زعرورة ؛ إشراف د. م. مها بركات
This report is done for a hospital consisting of nine stories and four basements. Typical story height is 3.25 m.
اقرأ المزيد
Heat and cold storage with PCM
Latent heat storage with phase change materials (PCM) has the potential to improve significantly the efficiency of heat and ...
اقرأ المزيد
Heating, cooling, lighting : sustainable design methods for architects / Norbert Lechner
Helps architects minimize mechanical systems and energy usage over the life of the building by siting, building design, and ...
اقرأ المزيد
Hidradénite suppurée = Hidradenitis suppurativa
This book is the first to deal specifically with hidradenitis suppurativa, a common but little-known condition. Many patients ...
اقرأ المزيد
High Availability and Disaster Recovery
Companies and other organizations depend more than ever on the availability of their Information Technology, and most mission ...
اقرأ المزيد
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 Computational Science and Engineering
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
High Performance Computing for Computational Science - VECPAR 2006
This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on High Performance Computing ...
اقرأ المزيد
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 Computing in Science and Engineering, Garching 2004
This volume of High Performance Computing in Science and Engineering is fully dedicated to the final report of KONWIHR, the ...
اقرأ المزيد
High Performance Computing in Science and Engineering, Munich 2004
Three of the 38 papers deal with computer science, 11 with computational fluid dynamics, two with bio-sciences, six with ...
اقرأ المزيد
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-Frequency Oscillator Design for Integrated Transceivers
High-Frequency Oscillator Design for Integrated Transceivers covers the analysis and design of all high-frequency oscillators ...
اقرأ المزيد
High-Level Modeling and Synthesis of Analog Integrated Systems
In High-Level Modeling and Synthesis of Analog Integrated Systems, two novel generic behavioral models are described. The ...
اقرأ المزيد
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 ...
اقرأ المزيد
