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 ...
Weiterlesen
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 ...
Weiterlesen
A Theory of Distributed Objects
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...
Weiterlesen
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, ...
Weiterlesen
Accelerator Programming Using Directives
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Adaptive Multimedia Retrieval: User, Context, and Feedback
This book is an extended collection of revised contributions that were initially submitted to the International Workshop ...
Weiterlesen
Advanced Distributed Systems
this book poses the papers accepted and presented at the 5th Int- national School and Symposium on Advanced Distributed Systems ...
Weiterlesen
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 ...
Weiterlesen
Advanced Parallel Processing Technologies
APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...
Weiterlesen
Advanced Parallel Processing Technologies
APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...
Weiterlesen
Advanced Parallel Processing Technologies
APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...
Weiterlesen
Advanced Parallel Processing Technologies
APPT 2005: the 6th International Workshop on Advanced Parallel Processing Technologies. APPT is a biennial workshop on parallel ...
Weiterlesen
Advanced Topics in Exception Handling Techniques
Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
Weiterlesen
Advances in Artificial Intelligence (vol. # 3955)
This book constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held ...
Weiterlesen
Advances in Databases and Information Systems
This volume contains database theory, development of advanced DBMS technologies, and their advanced applications.
Weiterlesen
Advances in Databases and Information Systems
This volume contains database theory, development of advanced DBMS technologies, and their advanced applications.
Weiterlesen
Advances in Grid Computing - EGC 2005
This book constitutes the proceedings of the European Grid Con-ference 2005, held at the Science Park Amsterdam The aim ...
Weiterlesen
Advances in Grid and Pervasive Computing
This book constitutes the refereed proceedings of the First International Conference on Grid and Pervasive Computing, GPC ...
Weiterlesen
