Electronic Books

Total Books: 21 - 40 /107

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

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

This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, ...

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

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

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

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

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

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

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

This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...

This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...

The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...

This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...

Total Books: 21 - 40 /107