This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
Lire la suiteThe 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...
Lire la suiteGaševic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the ...
Lire la suitemany works and results have been published which reinforce the importance of Current-Mode digital circuits. In the topic ...
Lire la suiteThis book presents MOSFET-based current mode logic (CML) topologies, which increase the speed, and lower the transistor count, ...
Lire la suiteThe goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...
Lire la suiteThis extensively revised second edition of Modeling Biological Systems: Principles and Applications describes the essentials ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
Lire la suiteThis text is addressed first of all to the students of the Specialist Degrees in Biology of the Universities, but it will ...
Lire la suite"The book presents approaches and methodologies for predicting the structure and diversity of key aquatic communities (namely ...
Lire la suiteThis book provides basic tools for learning how to model in mathematical programming, from models without much complexity ...
Lire la suiteBlood is a body fluid in humans and other animals that delivers necessary substances such as nutrients and oxygen to the ...
Lire la suiteThis book reports the majority of lectures given during the NATO Advanced Study Institute ASI-982440, which was held at the ...
Lire la suiteThe purpose of this book is in keeping with the original vision of Professor Service to describe the methods and rationale ...
Lire la suitePart I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
Lire la suiteThis open access edited book captures the complexities and conflicts arising at the interface of intellectual property rights ...
Lire la suiteThis book is a practical introduction to multilevel modelling or multilevel analysis (MLA) – a statistical technique being ...
Lire la suiteThis book gathers authoritative contributions concerning multiscale problems in biomechanics, geomechanics, materials science ...
Lire la suiteThe goal of our research first of all to give an overall view on the physiology of muscles and we will focus on natural elements ...
Lire la suiteApplication of state-of-the-art cellular and molecular biological, structural biological, genetic, biochemical and biophysical ...
Lire la suite