Graph Transformations
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
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. ...
Continue reading
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 ...
Continue reading
Hybrid Estimation of Complex Systems
This monograph provides a tool-set for hybrid estimation that can successfully monitor the behavior of complex artifacts ...
Continue reading
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, ...
Continue reading
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. ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Implementation and Application of Automata
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Implementation and Application of Automata (vol. # 4094)
This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Continue reading
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Continue reading
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a ...
Continue reading
Introduction to the Theory of Computation / Michael Sipser
Gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with ...
Continue reading
