Electronic Books

Total Books: 2101 - 2120 /3500

Modalities and Multimodalities

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...

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 and Ontology Development

Gaševic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the ...

Model and Design of Bipolar and MOS Current-Mode Logic

many works and results have been published which reinforce the importance of Current-Mode digital circuits. In the topic ...

Model and Design of Improved Current Mode Logic Gates

This book presents MOSFET-based current mode logic (CML) topologies, which increase the speed, and lower the transistor count, ...

Model-Based Reasoning in Science, Technology, and Medicine

The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...

Model-Driven Architecture - Foundations and Applications

The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...

Model-Driven Development and Operation of Multi-Cloud Applications

In this book readers will find technological discussions on the existing and emerging technologies across the different stages ...

Modeling Biological Systems:

This extensively revised second edition of Modeling Biological Systems: Principles and Applications describes the essentials ...

Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...

Modeling and Computations in Electromagnetics : A Volume Dedicated to Jean-Claude Nédélec

Modeling and computations in electromagnetics is a quite novel and growing discipline, expanding as a result of the steadily ...

Modeling in Biopharmaceutics, Pharmacokinetics and Pharmacodynamics

The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows ...

Modeling in Biopharmaceutics, Pharmacokinetics and Pharmacodynamics

The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows ...

Modeling of Biological Materials

This interdisciplinary collection of surveys highlights the central role played by the mathematical modeling of mechanical ...

Modeling of Soft Matter

Soft matter plays a role in a wide variety of important processes and application. For example, gel swelling and dynamics ...

Modelli Matematici in Biologia = Mathematical Models in Biology

This text is addressed first of all to the students of the Specialist Degrees in Biology of the Universities, but it will ...

Modelling Community Structure in Freshwater Ecosystems

"The book presents approaches and methodologies for predicting the structure and diversity of key aquatic communities (namely ...

Modelling and Optimization of Biotechnological Processes

The book begins with a historical introduction to the field of bioprocess control based on artificial intelligence approaches, ...

Modelling in Mathematical Programming

This book provides basic tools for learning how to model in mathematical programming, from models without much complexity ...

Total Books: 2101 - 2120 /3500