Electronic Books

Total Books: 141 - 160 /248

Graph Transformations

ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and ...

Handbook of Networked and Embedded Control Systems

The Handbook of Networked and Embedded Control Systems, the first of its kind, provides engineers, computer scientists, mathematicians, ...

Hardware and Software, Verification and Testing

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...

Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...

High Performance Computing for Computational Science - VECPAR 2004

VECPAR is a series of international conferences dedicated to the promotion and advancement of all aspects of high-performance ...

Hybrid Estimation of Complex Systems

This monograph provides a tool-set for hybrid estimation that can successfully monitor the behavior of complex artifacts ...

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

This volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, ...

Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. ...

Hydrological Modelling and the Water Cycle : Coupling the Atmospheric and Hydrological Models

This collected work reports on the state of the art of hydrological model simulation, as well as the methods for satellite-based ...

IUTAM Symposium on Topological Design Optimization of Structures, Machines and Materials

This book contains the refereed and edited versions of papers presented at the IUTAM Symposium on Topological Design Optimization ...

Implementation and Application of Automata

The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical ...

Implementation and Application of Automata (vol. # 3317)

This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International ...

Implementation and Application of Automata (vol. # 3845)

This volume of the Lecture Notes in Computer Science series contains the notes of the two invited lectures, the 26 papers ...

Implementation and Application of Automata (vol. # 4094)

This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...

Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...

Innovations in Design & Decision Support Systems in Architecture and Urban Planning

Traditionally, the DDSS conferences aim to be a platform for both starting and experienced researchers who focus on the development ...

Integrated Formal Methods

This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...

Integrated Formal Methods

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...

Introduction to Discrete Event Systems

Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a ...

Introduction to the Theory of Computation / Michael Sipser

Gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with ...

Total Books: 141 - 160 /248