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 ...
اقرأ المزيد
