A Programmers Introduction to C#
A Programmer's Introduction to C# 2.0, Third Edition is a critical update to the highly successful second edition. It is ...
Lire la suite
Advanced Distributed Systems
this book poses the papers accepted and presented at the 5th Int- national School and Symposium on Advanced Distributed Systems ...
Lire la suite
Advanced Software Engineering: Expanding the Frontiers of Software Technology
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suite
An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering introduces software engineering to advanced-level undergraduate and graduate ...
Lire la suite
Analysis and Design of Information Systems : Third Edition
This third edition of the successful Analysis and Design of Information Systems provides a comprehensive introduction and ...
Lire la suite
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suite
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suite
Automatic Program Development : A Tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
Lire la suite
COTS-Based Software Systems
The theme “Build and Conquer” : software development is an engineering discipline, and not an artistic expression. Once ...
Lire la suite
Component-Based Software Development for Embedded Systems
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
Lire la suite
Computational Methods in Systems Biology (vol. # 3082)
present CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems ...
Lire la suite
Computer-Aided Design of User Interfaces V
Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach. ...
Lire la suite
Computer-Aided Design of User Interfaces V
Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach. ...
Lire la suite
Dependable Computing
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...
Lire la suite
Distributed Applications and Interoperable Systems (vol. # 3543)
ThisvolumecontainstheproceedingsoftheIFIPWG6. 1InternationalWorking Conference on Distributed Applications and Interoperable ...
Lire la suite
Distributed Applications and Interoperable Systems (vol. # 4025)
This volume contains the proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and ...
Lire la suite
Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and ...
Lire la suite
Distributed Computing and Internet Technology
Taming the Dynamics of Disributed Data - DISTRIBUTED COMPUTING -- Data in Your Space -- Enabling Technologies for Harnessing ...
Lire la suite
Engineering and Managing Software Requirements
This book provides an exploration of key issues in requirements engineering, the book is organized in three parts. Part 1 ...
Lire la suite
Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
Lire la suite
