Electronic Books

Total Books: 921 - 940 /1548

Model-Based Testing of Reactive Systems

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed 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 Architecture in Practice

This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...

Model-Driven Software Development

Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...

Model-Driven Testing

Written by the original members of this standardization group, this book shows you how to use UML to test complex software ...

Modeling Communication with Robots and Virtual Humans : Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers

The 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and also ...

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 Financial Time Series with S-PLUS®

This book represents an integration of theory, methods, and examples using the S-PLUS statistical modeling language and the ...

Modeling Financial Time Series with S-PLUS®

This book represents an integration of theory, methods, and examples using the S-PLUS statistical modeling language and the ...

Modeling Semantic Web Services : The Web Service Modeling Language

In this book, Jos de Bruijn and his coauthors lay the foundations for understanding the requirements that shape the description ...

Modeling and Control of Discrete-event Dynamic Systems

Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...

Modeling and Management of Fuzzy Semantic RDF Data / Zongmin Ma, Guanfeng Li, Ruizhe Ma

Presents the latest research findings in fuzzy RDF data modeling and management. Fuzziness widely exist in many data and ...

Modeling and Simulation in Scilab

Scilab is a free open-source software package for scientific computation. It includes hundreds of general purpose and specialized ...

Modeling and Simulation in Scilab

Scilab is a free open-source software package for scientific computation. It includes hundreds of general purpose and specialized ...

Modeling and Using Context

Context is of crucial importance for research and applications in many disciplines, as evidenced by many workshops, symposia, ...

Modelling Distributed Systems

Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties ...

Modelling and Analysis of Hybrid Supervisory Systems

Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...

Modelling, Analysis and Optimization of Biosystems

Mathematical models in biology and medicine cannot be based on natural laws as it is the case with physics and chemistry. ...

Modellistica Numerica per Problemi Differenziali

This text introduces the fundamental concepts for the numerical modeling of partial differential problems. We consider the ...

Modellistica Numerica per Problemi Differenziali

This text introduces the fundamental concepts for the numerical modeling of partial differential problems. We consider the ...

Total Books: 921 - 940 /1548