Electronic Books

Total Books: 201 - 220 /358

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

Total Books: 201 - 220 /358