1- 20 of 21 results
Grid View Grid
List View List
Grid View Grid
List View List
Viewing availability for Buy Online, Pick up in Store at  B&N Glendora Change My Store
Pick up in Store  B&N Glendora Change My Store
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

In Stock Online

Not in Stock at My Store

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

In Stock Online

Not in Stock at My Store

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: 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: 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: 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: Performance-Oriented Application Development for Distributed Architectures, Author: M. Gerndt
QUICK ADD
Performance-Oriented…
by M. Gerndt
Paperback $92.00
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

In Stock Online

Not in Stock at My Store

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

In Stock Online

Not in Stock at My Store

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: 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: Job Scheduling Strategies for Parallel Processing: 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers / Edition 1, Author: Eitan Frachtenberg
QUICK ADD
Job Scheduling Strategies for…
by Eitan Frachtenberg, Uwe Schwiegelshohn
#4376 in Series
Paperback $54.99
Title: Dynamic Analysis of Petri Net-Based Discrete Systems / Edition 1, Author: Andrei Karatkevich
QUICK ADD
Dynamic Analysis of Petri…
by Andrei Karatkevich
#356 in Series
Paperback $109.99
Title: Introduction to DNA Self-Assembled Computer Design, Author: Christopher Dwyer
QUICK ADD
Introduction to DNA…
by Christopher Dwyer, Alvin Lebeck
Hardcover $105.00

Pagination Links