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
Hybrid Systems: Computation and Control
This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...
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 (vol. # 3927)
These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...
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
Implementation and Application of Functional Languages
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Lee mas
Inductive Logic Programming
This book constitutes the thoroughly refereed post-proceedings of the 16th International Conference on Inductive Logic Programming, ...
Lee mas
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 ...
Lee mas
Information Processing and Security Systems
Information Processing and Security Systems is a collection of forty papers that were originally presented at an international ...
Lee mas
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 ...
Lee mas
Integrated Formal Methods
One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Lee mas
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lee mas
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 ...
Lee mas
Intelligent Multimedia Processing with Soft Computing
This edited monograph presents novel applications of soft computing in multimedia processing. It includes contributions by ...
Lee mas
Interactive Computation
The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than ...
Lee mas
Interactive Systems Design, Specification, and Verification
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
