The focus from most Virtual Reality (VR) systems lies mainly on the visual immersion of the user.
Commercial-Industrial Cleaning, by Pressure-Washing, Hydro-Blasting and... Læs mere
This highly practical Guide to Geometric Algebra in Practice reviews algebraic techniques for geometrical problems in computer science and engineering, and the... Læs mere
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
The subject of Partial Differential Equations (PDEs) which first emerged in the 18th century holds an exciting and special position in the applications relating to the mathematical modelling of physical phenomena.
Quantitative Methods in Supply Chain Management presents some of the most important methods and tools available for modeling and solving problems arising in the context of supply chain management.
The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis.
Mobile Context Awareness presents work from industrial and academic researchers, focusing on novel methods of context acquisition in the mobile environment – particularly... Læs mere
In this context haptic textures are fundamental for a realistic haptic perception of virtual objects.This book... Læs mere
This book enables readers to quickly develop a working knowledge of HTML, JavaScript and PHP. extends programming fundamentals to include reading and writing server-based files, command-line interfaces, and an introduction to GD graphics;
Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections provides a detailed description of the application of finite element methods (FEMs) to the study of ULSI interconnect reliability.
Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.