Heterogeneous Objects Modelling and Applications : Collection of Papers on Foundations and Practice
Heterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically ...
Lee mas
High Availability and Disaster Recovery
Companies and other organizations depend more than ever on the availability of their Information Technology, and most mission ...
Lee mas
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Integrated System-Level Modeling of Network-on-Chip Enabled Multi-Processor Platforms first gives a comprehensive update ...
Lee mas
Interconnect-Centric Design for Advanced SoC and NoC
In Interconnect-centric Design for Advanced SoC and NoC, we have tried to create a comprehensive understanding about on-chip ...
Lee mas
Introduction to Reliable Distributed Programming
Guerraoui and Rodrigues present an introductory description of fundamental reliable distributed programming abstractions ...
Lee mas
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lee mas
Machine Learning in Computer Vision
The goal of this book is to address the use of several important machine learning techniques into computer vision applications. ...
Lee mas
Metainformatics
Constitutes the refereed post-proceedings of the Metainformatics Symposium, MIS 2004, held in Salzburg, Austria. This book ...
Lee mas
Model Abstraction in Dynamical Systems: Application to Mobile Robot Control
The subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is ...
Lee mas
Model Checking Software (vol. # 3639)
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Lee mas
Model Checking Software (vol. # 3925)
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Lee mas
Model-Driven Design Using Business Patterns
This book takes exactly this step: it shows you how to apply the pattern ideas in business applications and presents more ...
Lee mas
Model-Driven Software Development
Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...
Lee masMultiple Abstraction Hierachies for Mobile Robot Operation in Large Environments
This book focuses on the efficient performance of mobile robots through the use of multi-hierarchical symbolic representations ...
Lee mas
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Lee mas
Postmodern Analysis
“Modern Analysis” as represented in the works of the Bourbaki group or in the textbooks by Jean Dieudonn´ e is characterized ...
Lee mas
Pro ASP.NET 3.5 in VB 2008 : Includes Silverlight 2
ASP.NET 3.5 is the principal standard for creating dynamic web pages on the Windows platform. Pro ASP.NET 3.5 in VB 2008: ...
Lee mas
Research and Advanced Technology for Digital Libraries : 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings
This book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies ...
Lee mas
SAT-Based Scalable Formal Verification Solutions
SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...
Lee mas
Self-Sustaining Systems : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
S3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...
Lee mas
