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
Hybrid Systems: Computation and Control
This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...
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 (vol. # 3927)
These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...
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
Implementation and Application of Functional Languages
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Continue reading
Inductive Logic Programming
This book constitutes the thoroughly refereed post-proceedings of the 16th International Conference on Inductive Logic Programming, ...
Continue reading
Informatics in Control, Automation and Robotics I
The present book includes a set of selected papers from the first “International Conference on Informatics in Control Automation ...
Continue reading
Information Processing and Security Systems
Information Processing and Security Systems is a collection of forty papers that were originally presented at an international ...
Continue reading
Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks : Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008. Proceedings
This volume constitutes the refereed proceedings of the Second IFIP WG 11.2 International Workshop on Information Security ...
Continue reading
Integrated Formal Methods
One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Continue reading
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Continue reading
Intelligent Distributed Computing, Systems and Applications : Proceedings of the 2nd International Symposium on Intelligent Distributed Computing – IDC 2008, Catania, Italy, 2008
Addresses many topics related to intelligent and distributed computing, systems and applications, including: adaptivity and ...
Continue reading
Intelligent Multimedia Processing with Soft Computing
This edited monograph presents novel applications of soft computing in multimedia processing. It includes contributions by ...
Continue reading
Interactive Computation
The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than ...
Continue reading
Interactive Systems Design, Specification, and Verification
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...
Continue reading
Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification ...
Continue reading
International Symposium on Fundamentals of Software Engineering
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering ...
Continue reading
Introduction to Permanent Plug and Abandonment of Wells
This book offers a timely guide to challenges and current practices to permanently plug and abandon hydrocarbon wells. With ...
Continue reading
Issues in Multi-Agent Systems : The AgentCities.ES Experience
The purpose of this book is to present current status of this technology by looking at its application in different domains, ...
Continue reading
