Featured Springer Titles
All Springer Titles
-
-
This book presents a broad survey of technical requirements and design principles for incorporating virtual reality in surgical training, intra-operative augmentation, and rehabilitation that are currently in use as well as techniques now in development.
-
Virtual Reality and Animation for MATLAB® and Simulink® Users
This book demonstrates the simulation and animation of physical systems using the MATLAB® Virtual Reality Toolbox. Taking a problem-based approach, each chapter teaches a group of essential principles, following a step-by-step solution to a particular issue.
-
Virtual Reality & Augmented Reality in Industry
-
Virtual Communities, Social Networks and Collaboration
Social networks and virtual communities are often in the news, either being censored or facilitating academic cooperation. Here, leading researchers cover cutting-edge topics such as the requirements for effective collaboration in on-line communities.
-
View-Dependent Character Animation
-
Video Segmentation and Its Applications
This book presents the latest advances in video segmentation and analysis techniques and covers the theoretical approaches, real applications and methods developed in the computer vision and video analysis community.
-
This book details a large scale distributed video processing system. It develops an algorithm that allows parallel and distributed task processing and addresses the problems characterized by the seasonal demand for large volumes of video processing.
-
Vibration Control of Active Structures 3rd Edition
Now in this third updated and expanded edition, this text offers an introduction to the dynamics of active structures and to the feedback control of lightly damped flexible structures, with the emphasis on basic issues and simple control strategies that work.
-
Verification of Sequential and Concurrent Programs 3rd Edition
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Amir Pnueli
This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.













