The Handbook of Networked and Embedded Control Systems, the first of its kind, provides engineers, computer scientists, mathematicians, ...
Lire la suiteThe Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
Lire la suiteThese are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
Lire la suiteVECPAR is a series of international conferences dedicated to the promotion and advancement of all aspects of high-performance ...
Lire la suiteThis monograph provides a tool-set for hybrid estimation that can successfully monitor the behavior of complex artifacts ...
Lire la suiteThis volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, ...
Lire la suiteThis volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. ...
Lire la suiteThis collected work reports on the state of the art of hydrological model simulation, as well as the methods for satellite-based ...
Lire la suiteThis book contains the refereed and edited versions of papers presented at the IUTAM Symposium on Topological Design Optimization ...
Lire la suiteThe 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical ...
Lire la suiteThis volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International ...
Lire la suiteThis volume of the Lecture Notes in Computer Science series contains the notes of the two invited lectures, the 26 papers ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...
Lire la suiteTraditionally, the DDSS conferences aim to be a platform for both starting and experienced researchers who focus on the development ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lire la suiteIt addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lire la suiteIntroduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a ...
Lire la suiteGain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, ...
Lire la suite