Electronic Books

Total Books: 21 - 40 /130
Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...

Lire la suite
Conceptual Modeling of Information Systems

When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...

Lire la suite
Conceptual Modeling of Information Systems

When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...

Lire la suite
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems

This book constitutes the refereed post-proceedings of the International Workshop on Agents, Norms and Institutions for Regulated ...

Lire la suite
Dependable Systems: Software, Computing, Networks

The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...

Lire la suite
Design Patterns in Modern C++20 : Reusable Approaches for Object-Oriented Software Design / Dmitri Nesteruk

As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful ...

Lire la suite
NoIMG
Development and Plasticity in Sensory Thalamus and Cortex

This book intends to bring together systems and molecular approaches on various fundamental issues on thalamocortical development ...

Lire la suite
Distributed Applications and Interoperable Systems

This book presented context-awareness, adaptation, mobility, distributed applications and peer-to-peer computing, all of ...

Lire la suite
Distributed Applications and Interoperable Systems

This book presented context-awareness, adaptation, mobility, distributed applications and peer-to-peer computing, all of ...

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
Distributed Embedded Systems: Design, Middleware and Resources

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Lire la suite
Distributed and Parallel Systems

This book devoted to general algorithmic aspects of parallel and distributed computing and grid computing. This book includes ...

Lire la suite
Distributed and Parallel Systems

This book devoted to general algorithmic aspects of parallel and distributed computing and grid computing. This book includes ...

Lire la suite
ECOOP 2002 - Object-Oriented Programming

Constitutes the proceedings of the 16th European Conference on Object-Oriented Programming held in Spain in 2002. The 25 ...

Lire la suite
ECOOP 2005 - Object-Oriented Programming

The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last ...

Lire la suite
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07

FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...

Lire la suite
NoIMG
Enterprise Interoperability

Interoperability: the ability of a system or a product to work with other systems or products without special effort from ...

Lire la suite
Formal Approaches to Software Testing (vol. # 3395)

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...

Lire la suite
Formal Methods and Software Engineering (vol. # 3785)

This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...

Lire la suite
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...

Lire la suite
Total Books: 21 - 40 /130