Title: Formal Methods for Embedded Distributed Systems: How to master the complexity / Edition 1, Author: Fabrice Kordon
Title: Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship, Author: E. -R. Olderog
Title: Advances in Psychology V86, Author: Julie Brannan
Title: Transputer Systems - Ongoing Research: Proceedings of the 15th World Occam and Transputer User Group Technical Meeting / Edition 1, Author: Alastair Allen
Title: Solving Partial Differential Equations On Parallel Computers, Author: Jian Ping Zhu
Title: The Book Of Traces, Author: Volker Diekert
Title: Temporal Verification of Reactive Systems: Safety / Edition 1, Author: Zohar Manna
Title: Transputer Applications and Systems '95: WTC '95 Proceedings - Harrogate, U. K. / Edition 1, Author: B. M. Cook
Title: Distributed Platforms: Proceedings of the IFIP/IEEE International Conference on Distributed Platforms: Client/Server and Beyond: DCE, CORBA, ODP and Advanced Distributed Applications / Edition 1, Author: Alexander Schill
Title: Foundations of Distributed Artificial Intelligence / Edition 1, Author: G. M. P. O'Hare
Title: Distributed Detection and Data Fusion / Edition 1, Author: Pramod K. Varshney
Title: Parallel Computational Fluid Dynamics '96: Algorithms and Results Using Advanced Computers, Author: P. Schiano
Title: Distributed Simulation / Edition 1, Author: John A. Hamilton
Title: Communication Complexity and Parallel Computing / Edition 1, Author: Juraj Hromkovic
Title: Open Distributed Processing and Distributed Platforms / Edition 1, Author: Jerome Rolia
Title: Information Flow: The Logic of Distributed Systems, Author: Jon Barwise
Title: Parallel Optimization: Theory, Algorithms, and Applications, Author: Yair Censor
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

Pagination Links