Entertainment Computing – ICEC 2007
This book are organized in topical sections on augmented, virtual and mixed reality, computer games, image processing, mesh ...
Lee mas
Ergonomics and Health Aspects of Work with Computers
This book address the latest research and development efforts and highlight the human aspects of design and use of computing ...
Lee mas
Ergonomics and Health Aspects of Work with Computers
This book address the latest research and development efforts and highlight the human aspects of design and use of computing ...
Lee mas
European Guide to Power System Testing The ERIGrid Holistic Approach for Evaluating Complex Smart Grid Configurations
This book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing ...
Lee mas
Event-Triggered and Time-Triggered Control Paradigms
Event-Triggered and Time-Triggered Control Paradigms presents a valuable survey about existing architectures for safety-critical ...
Lee mas
Eye Tracking Methodology: Theory and Practice
Despite the availability of cheap, fast, accurate and usable eye trackers, there is still little information available on ...
Lee mas
Eye Tracking Methodology: Theory and Practice
Despite the availability of cheap, fast, accurate and usable eye trackers, there is still little information available on ...
Lee mas
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Lee mas
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
Lee masFastSLAM
This monograph describes a new family of algorithms for the simultaneous localization and mapping problem in robotics (SLAM). ...
Lee mas
Flood Risk Management: Hazards, Vulnerability and Mitigation Measures
Floods are of increasing public concern world-wide due to increasing damages and unacceptably high numbers of injuries. Previous ...
Lee mas
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lee mas
Formal Methods and Hybrid Real-Time Systems
This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for ...
Lee mas
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Lee mas
Formal Modeling and Analysis of Timed Systems
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...
Lee mas
Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Lee mas
Formal Modeling and Analysis of Timed Systems (vol. # 4202)
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
Lee mas
Formal Techniques for Networked and Distributed Systems - FORTE 2005
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
Lee mas
Foundations of 3D Graphics Programming
Foundations of 3D Graphics Programming is an innovative shortcut to graphics theory and programming using JOGL, a new vehicle ...
Lee mas
From Specification to Embedded Systems Application
Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), ...
Lee mas
