Electronic Books

Total Books: 201 - 220 /409

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. ...

Hybrid Systems: Computation and Control

This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...

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 (vol. # 3927)

These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...

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. ...

Implementation and Application of Functional Languages

This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...

Inductive Logic Programming

This book constitutes the thoroughly refereed post-proceedings of the 16th International Conference on Inductive Logic Programming, ...

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 ...

Information Processing and Security Systems

Information Processing and Security Systems is a collection of forty papers that were originally presented at an international ...

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 ...

Integrated Formal Methods

One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...

Integrated Formal Methods

This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...

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 ...

Intelligent Multimedia Processing with Soft Computing

This edited monograph presents novel applications of soft computing in multimedia processing. It includes contributions by ...

Interactive Computation

The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than ...

Interactive Systems Design, Specification, and Verification

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...

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 ...

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 ...

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 ...

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, ...

Total Books: 201 - 220 /409