Modalities and Multimodalities
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee masModel-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 ...
Lee mas
Model-Driven Architecture - Foundations and Applications
The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...
Lee mas
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 ...
Lee mas
Modeling Biological Systems:
This extensively revised second edition of Modeling Biological Systems: Principles and Applications describes the essentials ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Modeling in Biopharmaceutics, Pharmacokinetics and Pharmacodynamics
The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows ...
Lee mas
Modeling in Biopharmaceutics, Pharmacokinetics and Pharmacodynamics
The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows ...
Lee mas
Modeling of Biological Materials
This interdisciplinary collection of surveys highlights the central role played by the mathematical modeling of mechanical ...
Lee mas
Modeling of Soft Matter
Soft matter plays a role in a wide variety of important processes and application. For example, gel swelling and dynamics ...
Lee mas
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 ...
Lee mas
Modelling Community Structure in Freshwater Ecosystems
"The book presents approaches and methodologies for predicting the structure and diversity of key aquatic communities (namely ...
Lee mas
Modelling and Optimization of Biotechnological Processes
The book begins with a historical introduction to the field of bioprocess control based on artificial intelligence approaches, ...
Lee mas
Modelling in Mathematical Programming
This book provides basic tools for learning how to model in mathematical programming, from models without much complexity ...
Lee mas
