Electronic Books

Total Books: 41 - 60 /104

Embedded Systems Design

Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, ...

Event-Triggered and Time-Triggered Control Paradigms

Event-Triggered and Time-Triggered Control Paradigms presents a valuable survey about existing architectures for safety-critical ...

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

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

From Specification to Embedded Systems Application

Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), ...

Genetic Programming

This book constitutes the refereed proceedings of the 10th European Conference on Genetic Programming, EuroGP 2007, held ...

Genetic Programming ; 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings

The 11th European Conference on Genetic Programming, EuroGP 2008, took place in Naples, Italy from 26 to 28 March in the ...

GeoSensor Networks : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers

This book constitutes the thoroughly refereed proceedings of the Second GeoSensor Networks Conference, held in Boston, Massachusetts, ...

Handbook Of Big Data Analytics ; Vol. 1: Methodologies

Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, ...

Handbook Of Big Data Analytics ; Vol. 2: Applications in ICT, security and business analytics

Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, ...

High Performance Computing ¿ HiPC 2007

This book constitutes the refereed proceedings of the 14th International Conference on High-Performance Computing, HiPC 2007, ...

Hybrid Systems: Computation and Control

This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...

Hybrid Systems: Computation and Control (vol. # 3927)

These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...

Total Books: 41 - 60 /104