Electronic Books

Total Books: 261 - 280 /959

Computer-Aided Architectural Design Futures (CAADFutures) 2007 : Proceedings of the 12th International CAADFutures Conference

This volume is the proceedings of the 12th International Conference of CAAD Futures, which took place in Sydney, Australia. ...

Computing and Combinatorics (vol. # 3595)

The papers in this volume were presented at theEleventh Annual InternationalComputing and Combinatorics Conference(COCOON ...

Computing the Electrical Activity in the Heart

This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...

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, ...

Total Books: 261 - 280 /959