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-Driven Architecture - Foundations and Applications
The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 in Mathematical Programming
This book provides basic tools for learning how to model in mathematical programming, from models without much complexity ...
اقرأ المزيدModern treatments for chronic blood diseases / Mirel Saibour ; Christen Alkhory ; Rula Alzouby
Blood is a body fluid in humans and other animals that delivers necessary substances such as nutrients and oxygen to the ...
اقرأ المزيد
Molecular Imaging: Computer Reconstruction and Practice
This book reports the majority of lectures given during the NATO Advanced Study Institute ASI-982440, which was held at the ...
اقرأ المزيد
Mosquito Ecology
The purpose of this book is in keeping with the original vision of Professor Service to describe the methods and rationale ...
اقرأ المزيد
Multi-Agent Programming
Part I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
اقرأ المزيد
Multi-dimensional Approaches Towards New Technology
This open access edited book captures the complexities and conflicts arising at the interface of intellectual property rights ...
اقرأ المزيد
Multilevel Modelling for Public Health and Health Services Research Health in Context
This book is a practical introduction to multilevel modelling or multilevel analysis (MLA) – a statistical technique being ...
اقرأ المزيد
Multiscale Biomechanics and Tribology of Inorganic and Organic Systems In memory of Professor Sergey Psakhie
This book gathers authoritative contributions concerning multiscale problems in biomechanics, geomechanics, materials science ...
اقرأ المزيدMuscle hypertrophy and role of anabolic hormones in bodybuilding محمد خياطة ؛ علاء الدين بصبوص ؛ محمد علي الروماني ؛ إشراف د. بيسان أحمد
The goal of our research first of all to give an overall view on the physiology of muscles and we will focus on natural elements ...
اقرأ المزيد
Myosins : A Superfamily of Molecular Motors
Application of state-of-the-art cellular and molecular biological, structural biological, genetic, biochemical and biophysical ...
اقرأ المزيد
