1- 20 of 83 results
Title: Formal Methods for Embedded Distributed Systems: How to master the complexity / Edition 1, Author: Fabrice Kordon
Title: Parallel Programming of Transputer Based Machines / Edition 1, Author: Traian Muntean
Title: Transputer Systems - Ongoing Research: Proceedings of the 15th World Occam and Transputer User Group Technical Meeting / Edition 1, Author: Alastair Allen
Title: Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings / Edition 1, Author: Bertram Fronhöfer
Title: Parallel Computation: First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991. Proceedings / Edition 1, Author: Hans P. Zima
Title: Parallel Execution of Parlog / Edition 1, Author: Andrew Cheese
Title: The Book Of Traces, Author: Volker Diekert
Title: Transputer Applications and Systems '95: WTC '95 Proceedings - Harrogate, U. K. / Edition 1, Author: B. M. Cook
Title: Abstract Machine Models for Parallel and Distributed Computing / Edition 1, Author: M. Kara
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: Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings / Edition 1, Author: Miquel Bertran
Title: Parallel Programming and Java: Wotug 20 / Edition 1, Author: Andre E. Bakkers
Title: The Network Designer's Handbook / Edition 1, Author: P. Thompson
Title: Parallel Computing: Fundamentals, Applications and New Directions / Edition 444, Author: E.H. D'Hollander
Title: Introduction to Parallel Algorithms / Edition 1, Author: C. Xavier
Title: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Pr / Edition 1, Author: Stan Budkowski
Title: Coordination Languages and Models: Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings / Edition 1, Author: Paolo Ciancarini
Title: Collaboration between Human and Artificial Societies: Coordination and Agent-Based Distributed Computing / Edition 1, Author: Julian A. Padget
Title: Network-Based Parallel Computing - Communication, Architecture, and Applications: 4th International Workshop, CANPC 2000 Toulouse, France, January 8, 2000 Proceedings / Edition 1, Author: Babak Falsafi
Title: Introduction to Distributed Algorithms / Edition 2, Author: Gerard Tel

Pagination Links