Electronic Books

Total Books: 21 - 40 /130
978-3-540-87877-3
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 ...

Continue reading
978-3-540-39390-0
Conceptual Modeling of Information Systems

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

Continue reading
978-3-540-39390-0
Conceptual Modeling of Information Systems

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

Continue reading
978-3-540-35176-4
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 ...

Continue reading
978-3-540-36823-6
Dependable Systems: Software, Computing, Networks

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

Continue reading
978-1-4842-7295-4
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 ...

Continue reading
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 ...

Continue reading
978-3-540-72883-2
Distributed Applications and Interoperable Systems

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

Continue reading
978-3-540-72883-2
Distributed Applications and Interoperable Systems

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

Continue reading
978-3-540-30555-2
Distributed Computing and Internet Technology

Taming the Dynamics of Disributed Data - DISTRIBUTED COMPUTING -- Data in Your Space -- Enabling Technologies for Harnessing ...

Continue reading
978-0-387-09661-2
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 ...

Continue reading
978-0-387-69858-8
Distributed and Parallel Systems

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

Continue reading
978-0-387-69858-8
Distributed and Parallel Systems

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

Continue reading
978-3-540-47993-2
ECOOP 2002 - Object-Oriented Programming

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

Continue reading
978-3-540-31725-8
ECOOP 2005 - Object-Oriented Programming

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

Continue reading
978-1-4020-8297-9
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 ...

Continue reading
NoIMG
Enterprise Interoperability

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

Continue reading
978-3-540-31848-4
Formal Approaches to Software Testing (vol. # 3395)

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

Continue reading
978-3-540-32250-4
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 ...

Continue reading
978-3-540-88194-0
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 ...

Continue reading
Total Books: 21 - 40 /130