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 ...
اقرأ المزيد
