Electronic Books

Total Books: 161 - 180 /411

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), ...

Total Books: 161 - 180 /411