Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
Title: Parallel MIMD Computation: HEP Supercomputer and Its Applications, Author: Janusz S. Kowalik
Title: Distributed Database Systems, Author: Wesley W Chu
Title: Analysis and Algorithms of Optimization Problems, Author: Kazimierz Malanowski
Title: Distributed Processing Systems, Author: Wesley W Chu
Title: Parcella '86: Proceedings of the III. International Workshop on Parallel Processing by Cellular Automata and Arrays held in Berlin (GDR), September 9-11, 1986, Author: Tamás Legendi
Title: Assignment Problems in Parallel and Distributed Computing, Author: Shahid H. Bokhari
Title: Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings, Author: Marisa Venturini Zilli
Title: Parallel Computation and Computers for Artificial Intelligence, Author: J.S. Kowalik
Title: Introduction to Parallel and Vector Solution of Linear Systems, Author: James M. Ortega
Title: Japanese Supercomputing: Architecture, Algorithms, and Applications, Author: Raul H. Mendez
Title: State-Space Models of Lumped and Distributed Systems, Author: Vojislav Kecman
Title: Parallel Models of Associative Memory: Updated Edition, Author: Geoffrey E. Hinton
Title: Parcella '88, Author: Gottfried Wolf
Title: Data Organization in Parallel Computers, Author: Harry A.G. Wijshoff
Title: Parallel Computing: Methods, Algorithms and Applications, Author: D.J Evans
Title: Algorithms for Parallel Polygon Rendering, Author: Theoharis Theoharis
Title: Distributed Computer Control Systems in Industrial Automation, Author: Dobrivojie Popovic
Title: Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings, Author: Jaco W. de Bakker
Title: Parallel Machines: Parallel Machine Languages: The Emergence of Hybrid Dataflow Computer Architectures, Author: Robert A. Iannucci

Pagination Links