Hardware Verification with SystemVerilog
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
High-Performance Energy-Efficient Microprocessor Design
High Performance Energy Efficient Microprocessor Design is intended to be a useful companion book for every design engineer ...
Lee mas
Holonic Execution: A BDI Approach
Holonic manufacturing has been an active area of research for the past decade. However, this work has been predominately ...
Lee masIOT 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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Improving Image Quality in Visual Cryptography
This book comprehensively covers the important efforts in improving the quality of images in visual cryptography (VC), with ...
Lee mas
Industrial Applications of Semantic Web
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas
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 ...
Lee mas
Information Hiding (vol. # 3727)
Constitutes the refereed post-proceedings of the 7th International Workshop on Information Hiding, IH 2005, held in Barcelona, ...
Lee mas
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, ...
Lee mas
Information Security and Cryptology - ICISC 2007
This book constitutes the refereed proceedings of the 10th International Conference on Information Security and Cryptology, ...
Lee mas
Information Security and Cryptology – ICISC 2006
This book constitutes the refereed proceedings of the 9th International Conference on Information Security and Cryptology, ...
Lee mas
Information Technologies in Biomedicine
As the medical information systems have been integrated in order to address the core of medicine, including patient care ...
Lee mas
Ingredients for Successful System Level Design Methodology
Ingredients for Successful System Level Design Methodology discusses these wish lists, and provides detailed discussions ...
Lee mas
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) ...
Lee mas
Innovation and Technology in Korea
Only inadequately perceived by the Western public, Korea has transformed into an economic heavy weight during recent decades. ...
Lee mas
