Hardware Verification with SystemVerilog
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
High-Performance Energy-Efficient Microprocessor Design
High Performance Energy Efficient Microprocessor Design is intended to be a useful companion book for every design engineer ...
Lire la suite
Holonic Execution: A BDI Approach
Holonic manufacturing has been an active area of research for the past decade. However, this work has been predominately ...
Lire la suiteIOT control and surveillance system / Ahmad Amhan ; Kosay Bayda ; Yazan Al Rifeae ; Yasser Abu Shamah
An automated system is a combination of both software and hardware which is designed and programmed to work automatically ...
Lire la suite
IUTAM Symposium on Multiscale Problems in Multibody System Contacts
The investigation of multiscale problems in multibody system contacts is an interesting and timely topic which has been the ...
Lire la suite
IUTAM Symposium on One Hundred Years of Boundary Layer Research
This book collects peer-reviewed lectures of the IUTAM Symposium on the 100th anniversary of Boundary Layer research. Covers ...
Lire la suite
Improving Image Quality in Visual Cryptography
This book comprehensively covers the important efforts in improving the quality of images in visual cryptography (VC), with ...
Lire la suite
Industrial Applications of Semantic Web
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suite
Influences of the IEA Civic and Citizenship Education Studies Practice, Policy, and Research Across Countries and Regions
This book identifies the multiple ways that IEA’s studies of civic and citizenship education have contributed to national ...
Lire la suite
Information Hiding (vol. # 3727)
Constitutes the refereed post-proceedings of the 7th International Workshop on Information Hiding, IH 2005, held in Barcelona, ...
Lire la suite
Information Security Practice and Experience : 4th International Conference, ISPEC 2008 Sydney, Australia, April 21-23, 2008 Proceedings
The 4 th Information Security Practice and Experience Conference (ISPEC2008) was held at Crowne Plaza, Darling Harbour, Sydney, ...
Lire la suite
Information Security and Cryptology - ICISC 2007
This book constitutes the refereed proceedings of the 10th International Conference on Information Security and Cryptology, ...
Lire la suite
Information Security and Cryptology – ICISC 2006
This book constitutes the refereed proceedings of the 9th International Conference on Information Security and Cryptology, ...
Lire la suite
Information Technologies in Biomedicine
As the medical information systems have been integrated in order to address the core of medicine, including patient care ...
Lire la suite
Ingredients for Successful System Level Design Methodology
Ingredients for Successful System Level Design Methodology discusses these wish lists, and provides detailed discussions ...
Lire la suite
Innovation Policy in a Knowledge-Based Economy
Why Analyze Innovation Policies From a Knowledge- Based Perspective? It is broadly accepted that we have moved (or are moving) ...
Lire la suite
Innovation and Technology in Korea
Only inadequately perceived by the Western public, Korea has transformed into an economic heavy weight during recent decades. ...
Lire la suite
