Creating Assertion-Based Verification IP
The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, ...
اقرأ المزيد
Creating Cool MINDSTORMS® NXT Robots
Build and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. ...
اقرأ المزيد
Creative Model Construction in Scientists and Students
How do scientists use analogies and other processes to break away from old theories and generate new ones? This book documents ...
اقرأ المزيد
Crowd Simulation
Focuses on methods and techniques for crowd simulation, filling the gap in the professional literature. This survey covers ...
اقرأ المزيد
Cryogenic Mixed Refrigerant Processes
Cryogenic refrigerators operating with refrigerant mixtures were developed under classified and proprietary programs for ...
اقرأ المزيد
Current Trends in Database Technology - EDBT 2004 Workshops
This volume comprises papers from the following ?ve workshops that were part of the complete program for the International ...
اقرأ المزيد
Current Trends in High Performance Computing and Its Applications
This book contains variety of subjects in modern high performance computing and its applications, such as numerical and ...
اقرأ المزيد
Cyber-Physical Systems: A Model-Based Approach
In this concise yet comprehensive textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems ...
اقرأ المزيدCybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools
This book presents the main scientific results from the H2020 GUARD project. The GUARD project aims at filling the current ...
اقرأ المزيد
DNA Computing
Constitutes the post-proceedings of the 7th International Workshop on DNA-Based Computers, held in Florida in 2001. The 26 ...
اقرأ المزيد
Data Analysis and Decision Support
Presents advances in data analysis and decision support and gives an actual overview on the interface between mathematics, ...
اقرأ المزيدData Converters
This book is the first graduate-level textbook presenting a comprehensive treatment of Data Converters. It provides comprehensive ...
اقرأ المزيد
Data Management in Grids
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Data Management in ...
اقرأ المزيد
Data Science and Classification
This volume provides new methodological developments in data analysis and classification. A wide range of topics is covered ...
اقرأ المزيد
Data Science and Classification
This volume provides new methodological developments in data analysis and classification. A wide range of topics is covered ...
اقرأ المزيد
Data Technology in Materials Modelling
This book discusses advances in semantic interoperability for materials modelling, aiming at integrating data obtained from ...
اقرأ المزيد
Decision Modeling and Behavior in Complex and Uncertain Environments
This text is devoted to examining new research at the interface of operations research, behavioral and cognitive sciences, ...
اقرأ المزيد
Defect and Material Mechanics : Proceedings of the International Symposium on Defect and Material Mechanics (ISDMM), held in Aussois, France, March 25–29, 2007
This volume presents recent developments in the theory of defects and the mechanics of material forces. Most of the contributions ...
اقرأ المزيد
Defence Applications of Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Defence Applications of Multi-Agent ...
اقرأ المزيد
Demonstrational Optics
Demonstrational Optics presents a new didactical approach to the study of optics. Emphasizing the importance of elaborate ...
اقرأ المزيد
