Electronic Books

Total Books: 41 - 60 /91

Global Specification and Validation of Embedded Systems

Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems ...

Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held ...

Hardware and Software, Verification and Testing

The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...

Herbal Medicine in India : Indigenous Knowledge, Practice, Innovation and its Value / Saikat Sen, Raja Chakraborty

Covers Indian herbal medicines, health products, pharmaceuticals, nutraceuticals, and cosmetics Highlights the status quo ...

Improving Inclusive Education through Universal Design for Learning

Provides an analysis of how the educational strategy of Universal Design for Learning can stimulate the process of inclusive ...

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

Integrated Reaction and Separation Operations

The book presents the latest developments in simulation of integrated processes as well as new methods of process synthesis ...

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

Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...

Model-Driven Architecture in Practice

This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...

Modelling Environmental Dynamics : Advances in Geomatic Solutions

Modelling environmental dynamics is critical to understanding and predicting the evolution of the environment in response ...

Models in Software Engineering : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held ...

Objects, Components, Models and Patterns : 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings

This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models ...

Principles and practice of phytotherapy: modern herbal medicine / Kerry Bone, Simon Mills

Covers all major aspects of herbal medicine from fundamental concepts, traditional use and scientific research through to ...

Pro .NET 2.0 Graphics Programming

Whether you are using Windows Forms to build rich-client business applications, or the ASP.NET 2.0 framework to build powerful ...

Pro .NET 2.0 Windows Forms and Custom Controls in C#

Renowned author Matthew MacDonald combines careful treatment of the API with detailed user-interface design principles. Further, ...

Pro Apache Struts and Ajax

Pro Apache Struts with Ajax maps out how to use the Apache Struts MVC web framework, so you can solve everyday web application ...

Total Books: 41 - 60 /91