Electronic Books

Total Books: 12/344
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Lire la suite
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Lire la suite
A Theory of Distributed Objects

Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...

Lire la suite
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...

Lire la suite
Abstraction, Refinement and Proof for Probabilistic Systems

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...

Lire la suite
Accelerator Programming Using Directives

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...

Lire la suite
Ada 2005 Rationale : The Language, The Standard Libraries

The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...

Lire la suite
Ada 2005 Reference Manual. Language and Standard Libraries

The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions ...

Lire la suite
Adaptive Multimedia Retrieval: User, Context, and Feedback

This book is an extended collection of revised contributions that were initially submitted to the International Workshop ...

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 Environments, Tools, and Applications for Cluster Computing

Started by small group of well known scientists with the aim of sharing knowledge, experiences, and results on all aspects ...

Lire la suite
Advanced Parallel Processing Technologies

APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...

Lire la suite
Total Books: 12/344