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