1- 20 of 27 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: 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: 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: 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: 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
Title: Conductor: Distributed Adaptation for Heterogeneous Networks / Edition 1, Author: Mark D. Yarvis
QUICK ADD
Conductor: Distributed…
by Mark D. Yarvis, Gerald J. Popek, Peter Reiher
#688 in Series
Hardcover $109.99
Title: Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications / Edition 1, Author: R. Correa
QUICK ADD
Models for Parallel and…
by R. Correa, Ines de Castro Dutra, Mario Fiallos, Luiz Fernando Gomes da Silva
#67 in Series
Hardcover $169.99
Title: Cooperative Internet Computing / Edition 1, Author: Alvin T. S. Chan
QUICK ADD
Cooperative Internet Computing…
by Alvin T. S. Chan, Stephen Chan, Hong Va Leong, Vincent Ng
#729 in Series
Hardcover $169.99
Title: Logic for Concurrency and Synchronisation / Edition 1, Author: R.J. De Queiroz
QUICK ADD
Logic for Concurrency and…
by R.J. De Queiroz
#18 in Series
Hardcover $109.99
Title: Grid Resource Management: State of the Art and Future Trends / Edition 1, Author: Jarek Nabrzyski
QUICK ADD
Grid Resource Management:…
by Jarek Nabrzyski, Jennifer M. Schopf, Jan Weglarz
#64 in Series
Hardcover $109.99
Title: Performance Analysis and Grid Computing: Selected Articles from the Workshop on Performance Analysis and Distributed Computing August 19-23, 2002, Dagstuhl, Germany / Edition 1, Author: Vladimir Getov
QUICK ADD
Performance Analysis and Grid…
by Vladimir Getov, Michael Gerndt, Adolfy Hoisie, Allen Malony, Barton Miller
Hardcover $169.99
Title: SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits / Edition 1, Author: Sumit Gupta
QUICK ADD
SPARK: A Parallelizing…
by Sumit Gupta, Rajesh Gupta, Nikil D. Dutt, Alexandru Nicolau
Hardcover $169.99
Title: Developing Intelligent Agent Systems: A Practical Guide / Edition 1, Author: Lin Padgham
QUICK ADD
Developing Intelligent Agent…
by Lin Padgham, Michael Winikoff
#1 in Series
Hardcover $89.95
Title: Use Of High Performance Computing In Meteorology - Proceedings Of The Eleventh Ecmwf Workshop, Author: George Mozdzynski
QUICK ADD
Use Of High Performance…
by George Mozdzynski, Walter Zwieflhofer
Hardcover $272.00
Title: Self-Organization and Autonomic Informatics (I): Volume 135 Frontiers in Artificial Intelligence and Applications, Author: R. Unland
QUICK ADD
Self-Organization and…
by R. Unland
Explore Series
Hardcover $151.00
Title: Pro Oracle Database 10g RAC on Linux: Installation, Administration, and Performance / Edition 1, Author: John Shaw
QUICK ADD
Pro Oracle Database 10g RAC on…
by John Shaw, Julian Dyke
Explore Series
Hardcover $54.99
Title: Networks and Grids: Technology and Theory / Edition 1, Author: Thomas G. Robertazzi
QUICK ADD
Networks and Grids: Technology…
by Thomas G. Robertazzi
Explore Series
Hardcover $99.99

Pagination Links