1- 20 of 52 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods for Embedded Distributed Systems: How to master the complexity / Edition 1, Author: Fabrice Kordon
QUICK ADD
Formal Methods for Embedded…
by Fabrice Kordon, Michel Lemoine
Explore Series
Hardcover $109.99
Title: Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings / Edition 1, Author: Bertram Fronhöfer
QUICK ADD
Parallelization in Inference…
by Bertram Fronhöfer, Graham Wrightson
#590 in Series
Paperback $54.99
Title: Parallel Computation: First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991. Proceedings / Edition 1, Author: Hans P. Zima
QUICK ADD
Parallel Computation: First…
by Hans P. Zima
#591 in Series
Paperback $54.99
Title: Parallel Execution of Parlog / Edition 1, Author: Andrew Cheese
QUICK ADD
Parallel Execution of Parlog /…
by Andrew Cheese
#586 in Series
Paperback $54.99
Title: The Book Of Traces, Author: Volker Diekert
QUICK ADD
The Book Of Traces
by Volker Diekert, Grzegorz Rozenberg
Hardcover $204.00
Title: Transputer Applications and Systems '95: WTC '95 Proceedings - Harrogate, U. K. / Edition 1, Author: B. M. Cook
QUICK ADD
Transputer Applications and…
by B. M. Cook, M. R. Jane, P. Nickson, P. H. Welch
Explore Series
Hardcover $127.00
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
QUICK ADD
Automated Reasoning with…
by Didier Galmiche
#1227 in Series
Paperback $54.99
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
QUICK ADD
Transformation-Based Reactive…
by Miquel Bertran, Teodor Rus
#1231 in Series
Paperback $54.99
Title: Parallel Programming and Java: Wotug 20 / Edition 1, Author: Andre E. Bakkers
QUICK ADD
Parallel Programming and Java:…
by Andre E. Bakkers
Explore Series
Paperback $90.00
Title: Coordination Languages and Models: Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings / Edition 1, Author: Paolo Ciancarini
QUICK ADD
Coordination Languages and…
by Paolo Ciancarini, Alexander L. Wolf
#1594 in Series
Paperback $54.99
Title: Collaboration between Human and Artificial Societies: Coordination and Agent-Based Distributed Computing / Edition 1, Author: Julian A. Padget
QUICK ADD
Collaboration between Human…
by Julian A. Padget
#1624 in Series
Paperback $54.99
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
QUICK ADD
Network-Based Parallel…
by Babak Falsafi, Mario Lauria
#1797 in Series
Paperback $54.99
Title: Introduction to Distributed Algorithms / Edition 2, Author: Gerard Tel
QUICK ADD
Introduction to Distributed…
by Gerard Tel
Paperback $99.00
Title: Distributed Virtual Worlds: Foundations and Implementation Techniques Using VRML, Java, and CORBA / Edition 1, Author: Stephan Diehl
QUICK ADD
Distributed Virtual Worlds:…
by Stephan Diehl
Hardcover $54.99
Title: Engineering Distributed Objects: Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers / Edition 1, Author: Wolfgang Emmerich
QUICK ADD
Engineering Distributed…
by Wolfgang Emmerich, Stefan Tai
#1999 in Series
Paperback $54.99
Title: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, Author: Howard Bowman
QUICK ADD
Formal Methods for Distributed…
by Howard Bowman, John Derrick
Hardcover $180.00
Title: Beowulf Cluster Computing with Windows, Author: Thomas Sterling
QUICK ADD
Beowulf Cluster Computing with…
by Thomas Sterling
Explore Series
Paperback $60.00
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods / Edition 1, Author: Willem-Paul de Roever
QUICK ADD
Concurrency Verification:…
by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech
#54 in Series
Hardcover $284.00
Title: Parallel-Vector Equation Solvers for Finite Element Engineering Applications / Edition 1, Author: Duc Thai Nguyen
QUICK ADD
Parallel-Vector Equation…
by Duc Thai Nguyen
Hardcover $169.00
Title: Compositional Verification of Concurrent and Real-Time Systems / Edition 1, Author: Eric Y.T. Juan
QUICK ADD
Compositional Verification of…
by Eric Y.T. Juan, Jeffrey J.P. Tsai
#676 in Series
Hardcover $109.99

Pagination Links