Electronic Books

Total Books: 161 - 180 /841
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 ...

Lee mas
Computer Vision – ACCV 2007

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

Lee mas
Computer Vision – ACCV 2007

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

Lee mas
Computer Vision – ACCV 2007

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

Lee mas
Computer Vision – ACCV 2007

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

Lee mas
Computing the Electrical Activity in the Heart

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

Lee mas
Computing the Electrical Activity in the Heart

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

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

Lee mas
Concurrency Theory

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

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

Lee mas
Constraint-Based Verification

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

Lee mas
Constructing Correct Software

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

Lee mas
NoIMG
Constructing Correct Software

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

Lee mas
NoIMG
Constructing Correct Software

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

Lee mas
Constructing Correct Software

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

Lee mas
Constructing Correct Software

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

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

Lee mas
Container Terminals and Automated Transport Systems

Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals ...

Lee mas
Container Terminals and Cargo Systems

Significant gains in productivity can be achieved through advanced terminal layouts, more efficient IT-support and improved ...

Lee mas
Contemporary Qualitative Research

This volume offers a unique set of research exemplars for science, mathematics and technology educators. The volume explores ...

Lee mas
Total Books: 161 - 180 /841