1- 20 of 785 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
QUICK ADD
Verifying Concurrent Processes…
by B. T. Hailpern
#129 in Series
Paperback $54.99
Title: A Survey of Verification Techniques for Parallel Programs, Author: Howard Barringer
QUICK ADD
A Survey of Verification…
by Howard Barringer
#191 in Series
Paperback $39.99
Title: Parallel MIMD Computation: HEP Supercomputer and Its Applications, Author: Janusz S. Kowalik
QUICK ADD
Parallel MIMD Computation: HEP…
by Janusz S. Kowalik (Editor)
Explore Series
Paperback $55.00
Title: The Massively Parallel Processor, Author: Jerry L. Potter
QUICK ADD
The Massively Parallel…
by Jerry L. Potter (Editor), Dennis B. Gannon (Editor)
Explore Series
Paperback $40.00
Title: Distributed Database Systems, Author: Wesley W Chu
QUICK ADD
Distributed Database Systems
by Wesley W Chu (Editor)
#2 in Series
Paperback $139.00
Title: Analysis and Algorithms of Optimization Problems, Author: Kazimierz Malanowski
QUICK ADD
Analysis and Algorithms of…
by Kazimierz Malanowski (Editor), Koichi Mizukami (Editor)
#82 in Series
Paperback $54.99
Title: Actors: A Model of Concurrent Computation in Distributed Systems, Author: Gul Agha
QUICK ADD
Actors: A Model of Concurrent…
by Gul Agha
Explore Series
Paperback $40.00
Title: Distributed Processing Systems, Author: Wesley W Chu
QUICK ADD
Distributed Processing Systems
by Wesley W Chu (Editor), Wesley W Chu (Preface by)
#1 in Series
Paperback $172.00
Title: Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings / Edition 1, Author: Marisa Venturini Zilli
QUICK ADD
Mathematical Models for the…
by Marisa Venturini Zilli
#280 in Series
Paperback $54.99
Title: Japanese Supercomputing: Architecture, Algorithms, and Applications / Edition 1, Author: Raul H. Mendez
QUICK ADD
Japanese Supercomputing:…
by Raul H. Mendez, Steven A. Orszag
#36 in Series
Paperback $109.99
Title: State-Space Models of Lumped and Distributed Systems, Author: Vojislav Kecman
QUICK ADD
State-Space Models of Lumped…
by Vojislav Kecman
#112 in Series
Paperback $54.99
Title: Parallel Models of Associative Memory: Updated Edition / Edition 1, Author: Geoffrey E. Hinton
QUICK ADD
Parallel Models of Associative…
by Geoffrey E. Hinton, James A. Anderson
Explore Series
Paperback $105.00
Title: Algorithms for Parallel Polygon Rendering, Author: Theoharis Theoharis
QUICK ADD
Algorithms for Parallel…
by Theoharis Theoharis
#373 in Series
Paperback $54.99
Title: Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings / Edition 1, Author: Jaco W. de Bakker
QUICK ADD
Stepwise Refinement of…
by Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
#430 in Series
Paperback $109.99
Title: Progress in Distributed Operating Systems and Distributed Systems Management: European Workshop, Berlin, FRG, April 18/19, 1989, Proceedings / Edition 1, Author: Wolfgang Schrïder-Preikschat
QUICK ADD
Progress in Distributed…
by Wolfgang Schrïder-Preikschat, Wolfgang Zimmer
#433 in Series
Paperback $54.99
Title: Parallel Lisp: Languages and Systems: US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings / Edition 1, Author: Takayasu Ito
QUICK ADD
Parallel Lisp: Languages and…
by Takayasu Ito, J. McCarthy, Robert H. Jr. Halstead
#441 in Series
Paperback $54.99
Title: Specification and Verification of Concurrent Systems, Author: Charles Rattray
QUICK ADD
Specification and Verification…
by Charles Rattray (Editor)
Explore Series
Paperback $54.99
Title: Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK, Author: Marta Z. Kwiatkowska
QUICK ADD
Semantics for Concurrency:…
by Marta Z. Kwiatkowska (Editor), Michael W. Shields (Editor), Richard M. Thomas (Editor)
Explore Series
Paperback $54.99
Title: Fault-Tolerant Distributed Computing / Edition 1, Author: Barbara Simons
QUICK ADD
Fault-Tolerant Distributed…
by Barbara Simons, Alfred Spector
#448 in Series
Paperback $54.99
Title: Advanced Algorithms and Architectures for Speech Understanding, Author: Giancarlo Pirani
QUICK ADD
Advanced Algorithms and…
by Giancarlo Pirani (Editor)
#1 in Series
Paperback $109.99

Pagination Links