Electronic Books

Total Books: 61 - 80 /354

Cognitive Supervision for Robot-Assisted Minimally Invasive Laser Surgery

This thesis lays the groundwork for the automatic supervision of the laser incision process, which aims to complement surgeons’ ...

Complex System Maintenance Handbook

Complex System Maintenance Handbook is the first book to integrate this vast literature with chapters written by internationally-renowned ...

Complexity Hints for Economic Policy

This volume extends the complexity approach to economics. It provides some alternative pattern generators, which can supplement ...

Component Models and Systems for Grid Applications

This first volume of the CoreGRID series addresses such vital issues as the architecture of the Grid, the way software will ...

Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...

Composition of Embedded Systems. Scientific and Industrial Issues

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

Composition of Embedded Systems. Scientific and Industrial Issues

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

Computational Fluid Dynamics for Engineers

This book introduces a wide range of Computational Fluid Dynamics (CFD) methods used in the aerospace industry to solve engineering ...

Computer Performance Engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...

Computer Science Logic

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

Computer Science Logic

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

Computer Science Logic (vol. # 3634)

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...

Computer Science Logic (vol. # 4207)

Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...

Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models

Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...

Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models

Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...

Conceptual Modeling - ER 2005

Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because ...

Conceptual Modeling - ER 2006

The International Conference on Conceptual Modeling provides the premiere - rum for presenting and discussing current research ...

Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...

Conditional Mutagenesis: An Approach to Disease Models

Leading experts provide timely and comprehensive information on methods for conditional mutagenesis in the mouse (part 1) ...

Coordination Models and Languages (vol. # 3454)

This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...

Total Books: 61 - 80 /354