Foundations of Security Analysis and Design III
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...
اقرأ المزيد
Foundations of Security Analysis and Design IV
This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International ...
اقرأ المزيد
Functional Verification Coverage Measurement and Analysis
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification ...
اقرأ المزيد
Fuzzy Systems and Knowledge Discovery (vol. # 3613)
This book and its sister volume, LNAI 3613 and 3614, constitute the proce- ings of the Second International Conference on ...
اقرأ المزيد
Fuzzy Systems and Knowledge Discovery (vol. # 3614)
This book and its sister volume, LNAI 3613 and 3614, constitute the proce- ings of the Second International Conference on ...
اقرأ المزيدGPU-Based Interactive Visualization Techniques
This book focuses on efficient visualization techniques, which are the prerequisite for the interactive exploration of complex ...
اقرأ المزيد
Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
اقرأ المزيد
Geometric Modelling, Numerical Simulation, and Optimization:
This book present scurrent activities of the Department of AppliedMathem- ics at SINTEF, the largest independent research ...
اقرأ المزيد
Global RFID : The Value of the EPCglobal Network for Supply Chain Management
At the same time, I was a junior Brand Manager at Procter & Gamble w- ried about a much more mundane problem: how to keep ...
اقرأ المزيدGlobal Specification and Validation of Embedded Systems
Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems ...
اقرأ المزيد
Graph Theory, Combinatorics and Algorithms
focuses on discrete mathematics and combinatorial algorithms interacting with real world problems in computer science, operations ...
اقرأ المزيد
Groundwater Dynamics in Hard Rock Aquifers : Sustainable Management and Optimal Monitoring Network Design
Groundwater is of utmost importance in the arid and semi-arid environment. The areas in such regions are forced to face a ...
اقرأ المزيد
Handbook of Multicultural Perspectives on Stress and Coping
Has the developing world developed modern concepts of stress? Are coping methods the same around the globe? Such questions ...
اقرأ المزيد
Handbook on Modelling for Discrete Optimization
This handbook couples the difficult, critical-thinking aspects of mathematical modeling with the hot area of discrete optimization. ...
اقرأ المزيد
Hands-On Design Patterns with Java : Learn Design Patterns That Enable the Building of Large-Scale Software Architectures / Edward Lavieri
Java design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...
اقرأ المزيد
Hard Disk Drive Servo Systems
The second edition of this monograph provides a systematic treatment of the design of modern hard disk drive servo systems ...
اقرأ المزيد
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. ...
اقرأ المزيد
High Availability and Disaster Recovery
Companies and other organizations depend more than ever on the availability of their Information Technology, and most mission ...
اقرأ المزيد
