Principles of Protocol Design
Introduces the reader to the principles used in the construction of a large range of modern data communication protocols. ...
اقرأ المزيد
Principles of the Spin Model Checker
Principles of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. ...
اقرأ المزيد
Proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE 2005)
This book contains the proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment ...
اقرأ المزيدProgramming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
اقرأ المزيد
Public Key Infrastructure : 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings
This book focus on all research and practice aspects of PKI and show ways how to construct effective, practical, secure and ...
اقرأ المزيد
Quality of Service – IWQoS 2005
. T- ditionally very focused on the area of networking, it has grown to include mobile applications, wireless environments, ...
اقرأ المزيد
Quality of Software Architectures. Models and Architectures : 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, ...
اقرأ المزيد
Recent Advances in Parallel Virtual Machine and Message Passing Interface
This book constitutes the refereed proceedings of the 14th European PVM/MPI Users' Group Meeting held in Paris, France, ...
اقرأ المزيد
Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 3666)
Constitutes the proceedings of the 12th European PVM/MPI Users' Group Meeting held in Sorrento, Italy in September 2005. ...
اقرأ المزيد
Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192)
This book constitutes the refereed proceedings of the 13th European PVM/MPI Users' Group Meeting held in Bonn, Germany in ...
اقرأ المزيد
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings
This book is organized in topical sections on applications, collective operations, library internals, message passing for ...
اقرأ المزيدRecent Trends in Algebraic Development Techniques
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...
اقرأ المزيد
Reconfigurable Distributed Control
Reconfigurable Distributed Control helps meet the challenge of applying distributed control to dynamical systems, integrating ...
اقرأ المزيد
Reliable Distributed Systems
An understanding of the techniques used to make distributed computing systems and networks reliable, fault-tolerant and secure ...
اقرأ المزيد
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
اقرأ المزيد
Reliable Software Technologies - Ada-Europe 2002
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
اقرأ المزيد
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
اقرأ المزيد
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
اقرأ المزيد
Reliable Software Technology – Ada-Europe 2005
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
اقرأ المزيد
Reliable Systems on Unreliable Networked Platforms
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
اقرأ المزيد
