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’ ...
Lee mas
Complex System Maintenance Handbook
Complex System Maintenance Handbook is the first book to integrate this vast literature with chapters written by internationally-renowned ...
Lee mas
Complexity Hints for Economic Policy
This volume extends the complexity approach to economics. It provides some alternative pattern generators, which can supplement ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lee mas
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lee mas
Computer Science Logic (vol. # 3634)
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Lee mas
Computer Science Logic (vol. # 4207)
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Lee masComputing 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 ...
Lee mas
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 ...
Lee mas
Conceptual Modeling - ER 2005
Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because ...
Lee mas
Conceptual Modeling - ER 2006
The International Conference on Conceptual Modeling provides the premiere - rum for presenting and discussing current research ...
Lee mas
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 ...
Lee mas
Conditional Mutagenesis: An Approach to Disease Models
Leading experts provide timely and comprehensive information on methods for conditional mutagenesis in the mouse (part 1) ...
Lee mas
Coordination Models and Languages (vol. # 3454)
This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
Lee mas
