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, ...
Lee mas
Creating Cool MINDSTORMS® NXT Robots
Build and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. ...
Lee mas
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 ...
Lee mas
Crowd Simulation
Focuses on methods and techniques for crowd simulation, filling the gap in the professional literature. This survey covers ...
Lee mas
Cryogenic Mixed Refrigerant Processes
Cryogenic refrigerators operating with refrigerant mixtures were developed under classified and proprietary programs for ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee masCybersecurity 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 ...
Lee mas
DNA Computing
Constitutes the post-proceedings of the 7th International Workshop on DNA-Based Computers, held in Florida in 2001. The 26 ...
Lee mas
Data Analysis and Decision Support
Presents advances in data analysis and decision support and gives an actual overview on the interface between mathematics, ...
Lee masData Converters
This book is the first graduate-level textbook presenting a comprehensive treatment of Data Converters. It provides comprehensive ...
Lee mas
Data Management in Grids
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Data Management in ...
Lee mas
Data Science and Classification
This volume provides new methodological developments in data analysis and classification. A wide range of topics is covered ...
Lee mas
Data Science and Classification
This volume provides new methodological developments in data analysis and classification. A wide range of topics is covered ...
Lee mas
Data Technology in Materials Modelling
This book discusses advances in semantic interoperability for materials modelling, aiming at integrating data obtained from ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Defence Applications of Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Defence Applications of Multi-Agent ...
Lee mas
Demonstrational Optics
Demonstrational Optics presents a new didactical approach to the study of optics. Emphasizing the importance of elaborate ...
Lee mas
