Heterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically ...
WeiterlesenCompanies and other organizations depend more than ever on the availability of their Information Technology, and most mission ...
WeiterlesenIntegrated System-Level Modeling of Network-on-Chip Enabled Multi-Processor Platforms first gives a comprehensive update ...
WeiterlesenIn Interconnect-centric Design for Advanced SoC and NoC, we have tried to create a comprehensive understanding about on-chip ...
WeiterlesenGuerraoui and Rodrigues present an introductory description of fundamental reliable distributed programming abstractions ...
WeiterlesenConstitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
WeiterlesenThe goal of this book is to address the use of several important machine learning techniques into computer vision applications. ...
WeiterlesenConstitutes the refereed post-proceedings of the Metainformatics Symposium, MIS 2004, held in Salzburg, Austria. This book ...
WeiterlesenThe subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is ...
WeiterlesenConstitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Weiterlesenhe name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
WeiterlesenThis book takes exactly this step: it shows you how to apply the pattern ideas in business applications and presents more ...
WeiterlesenAbstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...
WeiterlesenThis book focuses on the efficient performance of mobile robots through the use of multi-hierarchical symbolic representations ...
WeiterlesenThis monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Weiterlesen“Modern Analysis” as represented in the works of the Bourbaki group or in the textbooks by Jean Dieudonn´ e is characterized ...
WeiterlesenASP.NET 3.5 is the principal standard for creating dynamic web pages on the Windows platform. Pro ASP.NET 3.5 in VB 2008: ...
WeiterlesenThis book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies ...
WeiterlesenSAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...
WeiterlesenS3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...
Weiterlesen