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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Continue reading
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Continue reading
Integrated Reaction and Separation Operations
The book presents the latest developments in simulation of integrated processes as well as new methods of process synthesis ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Model-Driven Architecture in Practice
This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...
Continue reading
Modelling Environmental Dynamics : Advances in Geomatic Solutions
Modelling environmental dynamics is critical to understanding and predicting the evolution of the environment in response ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
Product-Focused Software Process Improvement: 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings
The papers address different development modes, roles in the value chain, stakeholders’ viewpoints, collaborative development, ...
Continue reading
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Continue reading
