Entertainment Computing – ICEC 2007
This book are organized in topical sections on augmented, virtual and mixed reality, computer games, image processing, mesh ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Event-Triggered and Time-Triggered Control Paradigms
Event-Triggered and Time-Triggered Control Paradigms presents a valuable survey about existing architectures for safety-critical ...
اقرأ المزيد
Eye Tracking Methodology: Theory and Practice
Despite the availability of cheap, fast, accurate and usable eye trackers, there is still little information available on ...
اقرأ المزيد
Eye Tracking Methodology: Theory and Practice
Despite the availability of cheap, fast, accurate and usable eye trackers, there is still little information available on ...
اقرأ المزيد
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
اقرأ المزيد
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, ...
اقرأ المزيدFastSLAM
This monograph describes a new family of algorithms for the simultaneous localization and mapping problem in robotics (SLAM). ...
اقرأ المزيد
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 ...
اقرأ المزيد
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
اقرأ المزيد
Formal Methods and Hybrid Real-Time Systems
This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Foundations of 3D Graphics Programming
Foundations of 3D Graphics Programming is an innovative shortcut to graphics theory and programming using JOGL, a new vehicle ...
اقرأ المزيد
From Specification to Embedded Systems Application
Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), ...
اقرأ المزيد
