Electronic Books

Total Books: 141 - 160 /753

Computer Algebra in Scientific Computing

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...

Computer Algebra in Scientific Computing

This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...

Computer Vision Approaches to Medical Image Analysis

This was the second time that a satellite workshop,solely devoted to medical image analysis issues, was held in conjunction ...

Computer Vision – ACCV 2007

Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...

Computer Vision – ACCV 2007

Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...

Computer Vision – ACCV 2007

Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...

Computer Vision – ACCV 2007

Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and ...

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

Concept and Design Developments in School Improvement Research Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Accountability

This book discusses challenges in school improvement research and different methodological approaches that have the potential ...

Concurrency Theory

Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...

Cone Beam Computed Tomography in Orthodontics: Indications, Insights, and Innovations / Sunil Kapila

Cone Beam Computed Tomography in Orthodontics provides timely, impartial, and state-of-the-art information on the indications ...

Constraint-Based Verification

Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...

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

Total Books: 141 - 160 /753