Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
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
Linear Programming and its Applications
This book presents a unified treatment of linear programming. Without sacrificing mathematical rigor, the main emphasis of ...
Continue reading
Logos of Phenomenology and Phenomenology of the Logos. Book One
During its century-long unfolding, spreading in numerous directions, Husserlian phenomenology while loosening inner articulations, ...
Continue reading
Machine Learning and Robot Perception
This book presents some of the most recent research results in the area of machine learning and robot perception. The chapters ...
Continue reading
Management Planning for Nature Conservation : A Theoretical Basis & Practical Guide
The book provides historical and rational background which helps to explain what makes a really effective management plan, ...
Continue reading
Mass Terms: Some Philosophical Problems
MASS TERMS, COUNT TERMS, AND SORTAL TERMS Central examples of mass terms are easy to come by. 'Water', 'smoke', 'gold', ...
Continue reading
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Continue reading
Medial Representations : Mathematics, Algorithms and Applications
The last half century has seen the development of many biological or physical theories that have explicitly or implicitly ...
Continue reading
Metaheuristics for Scheduling in Distributed Computing Environments
This volume presents meta-heuristics approaches for Grid scheduling problems. Due to the complex nature of the problem, meta-heuristics ...
Continue reading
Microsoft Visual C# Step by Step / John Sharp
Guide to Microsoft Visual C# fundamentals with Visual Studio. Expand your expertiseand teach yourself the fundamentals of ...
Continue reading
Model Driven Engineering Languages and Systems (vol. # 3713)
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
Continue reading
Model Driven Engineering Languages and Systems (vol. # 4199)
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
Continue reading
Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Continue reading
Model-Based Software and Data Integration : First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings
The First International Workshop on Model-Based Software and Data Integ- tion (MBSDI 2008), was ourfrst event of this kind ...
Continue reading
Model-Driven Design Using Business Patterns
This book takes exactly this step: it shows you how to apply the pattern ideas in business applications and presents more ...
Continue reading
Modules and Comodules
The 23 articles in this volume encompass the proceedings of the International Conference on Modules and Comodules held in ...
Continue reading
Mule 2: A Developers Guide to ESB and Integration Platform
Mule 2: A Developer's Guide introduces the Mule 2.0 integration platform for developers of enterprise integration applications ...
Continue reading
Multi-Objective Machine Learning
This monograph presents a selected collection of research work on multi-objective approach to machine learning, including ...
Continue reading
Multiagent Engineering
1 Multiagent Engineering: A New Software Construction Paradigm Multiagent systems have a long academic tradition. They have ...
Continue reading
