Electronic Books

Total Books: 41 - 60 /89

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

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

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

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

Total Books: 41 - 60 /89