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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Linear Programming and its Applications
This book presents a unified treatment of linear programming. Without sacrificing mathematical rigor, the main emphasis of ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
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', ...
اقرأ المزيد
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Model Driven Engineering Languages and Systems (vol. # 3713)
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
اقرأ المزيد
Model Driven Engineering Languages and Systems (vol. # 4199)
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Modules and Comodules
The 23 articles in this volume encompass the proceedings of the International Conference on Modules and Comodules held in ...
اقرأ المزيد
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 ...
اقرأ المزيد
Multi-Objective Machine Learning
This monograph presents a selected collection of research work on multi-objective approach to machine learning, including ...
اقرأ المزيد
Multiagent Engineering
1 Multiagent Engineering: A New Software Construction Paradigm Multiagent systems have a long academic tradition. They have ...
اقرأ المزيد
