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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lee mas
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lee mas
Integrated Reaction and Separation Operations
The book presents the latest developments in simulation of integrated processes as well as new methods of process synthesis ...
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
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Model-Driven Architecture in Practice
This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...
Lee mas
Modelling Environmental Dynamics : Advances in Geomatic Solutions
Modelling environmental dynamics is critical to understanding and predicting the evolution of the environment in response ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
