This book provides a thorough evaluation of the philosophy of systems, ending up with an introduction to multimethodology ...
اقرأ المزيد
This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
اقرأ المزيد
This book is organized in topical sections on rootkit prevention, malware detection and prevention, high performance intrusion ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 14th European PVM/MPI Users' Group Meeting held in Paris, France, ...
اقرأ المزيد
Constitutes the proceedings of the 12th European PVM/MPI Users' Group Meeting held in Sorrento, Italy in September 2005. ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 13th European PVM/MPI Users' Group Meeting held in Bonn, Germany in ...
اقرأ المزيد
This book is organized in topical sections on applications, collective operations, library internals, message passing for ...
اقرأ المزيدThis volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...
اقرأ المزيد
This book constitutes the refereed proceedings of the Third International Workshop on Applied Reconfigurable Computing, ARC ...
اقرأ المزيد
The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
اقرأ المزيد
Reconfigurable Distributed Control helps meet the challenge of applying distributed control to dynamical systems, integrating ...
اقرأ المزيد
This new book provides a unified, in-depth, readable introduction to the multipredictor regression methods most widely used ...
اقرأ المزيد
Regular expressions are an essential part of programming, but they can be difficult to cope with. Enter Regular Expression ...
اقرأ المزيد
An understanding of the techniques used to make distributed computing systems and networks reliable, fault-tolerant and secure ...
اقرأ المزيد
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
اقرأ المزيد
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
اقرأ المزيد
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
اقرأ المزيد
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
اقرأ المزيد