Title: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / Edition 1, Author: Didier Galmiche
Title: Beowulf Cluster Computing with Windows, Author: Thomas Sterling
Title: Cloud Computing: Security and Management, Author: Conor Suarez
Title: Collaboration between Human and Artificial Societies: Coordination and Agent-Based Distributed Computing / Edition 1, Author: Julian A. Padget
Title: Communicating Process Architectures 2004, Author: I R East
Title: Compositional Verification of Concurrent and Real-Time Systems / Edition 1, Author: Eric Y.T. Juan
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods / Edition 1, Author: Willem-Paul de Roever
Title: Conductor: Distributed Adaptation for Heterogeneous Networks / Edition 1, Author: Mark D. Yarvis
Title: Cooperative Internet Computing / Edition 1, Author: Alvin T. S. Chan
Title: Coordination Languages and Models: Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings / Edition 1, Author: Paolo Ciancarini
Title: Developing Intelligent Agent Systems: A Practical Guide / Edition 1, Author: Lin Padgham
Title: Distributed Virtual Worlds: Foundations and Implementation Techniques Using VRML, Java, and CORBA / Edition 1, Author: Stephan Diehl
Title: Dynamic Analysis of Petri Net-Based Discrete Systems / Edition 1, Author: Andrei Karatkevich
Title: Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing, Author: Leando Soares Indrusiak
Title: Engineering Distributed Objects: Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers / Edition 1, Author: Wolfgang Emmerich
Title: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, Author: Howard Bowman
Title: Formal Methods for Embedded Distributed Systems: How to master the complexity / Edition 1, Author: Fabrice Kordon
Title: Grid Resource Management: State of the Art and Future Trends / Edition 1, Author: Jarek Nabrzyski
Title: High Performance Visualization: Enabling Extreme-Scale Scientific Insight / Edition 1, Author: E. Wes Bethel
Title: High-Performance and Time-Predictable Embedded Computing, Author: Luis Miguel Pinho

Pagination Links