Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...
اقرأ المزيد
Concurrent Zero-Knowledge
Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly ...
اقرأ المزيد
Conjoint Measurement : Methods and Applications
Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: ...
اقرأ المزيد
Constraint-Based Verification
Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly ...
اقرأ المزيدConsuming Music Together
This book collects together the most recent studies of music consumption, and new developments in music technology. It combines ...
اقرأ المزيد
Container Terminals and Automated Transport Systems
Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals ...
اقرأ المزيد
Container Terminals and Cargo Systems
Significant gains in productivity can be achieved through advanced terminal layouts, more efficient IT-support and improved ...
اقرأ المزيد
Continuous System Simulation
Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually ...
اقرأ المزيدContinuous-Time Systems
The book systematically covers major foundations of the systems theory. First, the quantitative and qualitative methods of ...
اقرأ المزيد
Contributions to Simulation Speed-Up : Rare Event Simulation and Short-Term Dynamic Simulation for Mobile Network Planning
Eugen Lamers explains the principle of simulation speed-up in general, demonstrates the technique RESTART for the simulation ...
اقرأ المزيد
Control of Redundant Robot Manipulators
This monograph provides a comprehensive and thorough treatment of the problem of controlling a redundant robot manipulator. ...
اقرأ المزيد
Control of Traffic Systems in Buildings
Control of Traffic Systems in Buildings presents the state of the art in the analysis and control of transportation systems ...
اقرأ المزيد
Cooperative Design, Visualization, and Engineering : 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Cooperative Design, Visualization, ...
اقرأ المزيد
Cooperative Sourcing
Based on the integration of relevant economic and organizational theories, Daniel Beimborn develops a formal model of cooperative ...
اقرأ المزيد
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems
This book constitutes the refereed post-proceedings of the International Workshop on Agents, Norms and Institutions for Regulated ...
اقرأ المزيد
Coping with Uncertainty
Ongoing global changes bring fundamentally new scientific problems requiring new concepts and tools. A key issue concerns ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
