41- 60 of 409 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA / Edition 1, Author: Scott F. Smith
QUICK ADD
Formal Methods for Open Object…
by Scott F. Smith, Carolyn L. Talcott
#49 in Series
Hardcover $219.99
Title: Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99 / Edition 1, Author: Jianping Wu
QUICK ADD
Formal Methods for Protocol…
by Jianping Wu, Samuel T. Chanson, Quiang Gao
#28 in Series
Hardcover $219.99
Title: New Developments in Distributed Applications and Interoperable Systems: IFIP TC6 / WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17-19, 2001, Kraków, Poland / Edition 1, Author: Zielinski
QUICK ADD
New Developments in…
by Zielinski, Kurt Geihs, Aleksander Laurentowski
#70 in Series
Hardcover $219.99
Title: Advances in High Performance Computing and Computational Sciences: The 1st Kazakh-German Advanced Research Workshop, Almaty, Kazakhstan, September 25 to October 1, 2005 / Edition 1, Author: Yurii I. Shokin
QUICK ADD
Advances in High Performance…
by Yurii I. Shokin, Nargozy Danaev, Murat Orunkhanov, Nina Shokina
#93 in Series
Hardcover $219.99
Title: Computational Science and High Performance Computing III: The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, 23 - 27 July 2007 / Edition 1, Author: Egon Krause
QUICK ADD
Computational Science and High…
by Egon Krause, Yurii I. Shokin, Nina Shokina
#101 in Series
Hardcover $219.99
Title: Input/Output in Parallel and Distributed Computer Systems / Edition 1, Author: Ravi Jain
QUICK ADD
Input/Output in Parallel and…
by Ravi Jain, John Werth, James C. Browne
#362 in Series
Hardcover $219.99
Title: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Pr / Edition 1, Author: Stan Budkowski
QUICK ADD
Formal Description Techniques…
by Stan Budkowski, Ana Cavalli, Elie Najm
#6 in Series
Hardcover $219.99
Title: Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ve, Author: Tommaso Bolognesi
QUICK ADD
Formal Methods for Distributed…
by Tommaso Bolognesi (Editor), Diego Latella (Editor)
#55 in Series
Hardcover $219.99
Title: Conflicting Agents: Conflict Management in Multi-Agent Systems / Edition 1, Author: Cathïrine Tessier
QUICK ADD
Conflicting Agents: Conflict…
by Cathïrine Tessier, Laurent Chaudron, Heinz-Jïrgen Mïller
#1 in Series
Hardcover $219.99
Title: Computational Science and High Performance Computing II: The 2nd Russian-German Advanced Research Workshop, Stuttgart, Germany, March 14 to 16, 2005 / Edition 1, Author: Egon Krause
QUICK ADD
Computational Science and High…
by Egon Krause, Yurii I. Shokin, Nina Shokina
#91 in Series
Hardcover $219.99
Title: Handbook on Parallel and Distributed Processing / Edition 1, Author: Jacek Blazewicz
QUICK ADD
Handbook on Parallel and…
by Jacek Blazewicz, Klaus Ecker, Brigitte Plateau, Denis Trystram
Explore Series
Hardcover $219.99
Title: Parallel Language and Compiler Research in Japan / Edition 1, Author: Lubomir Bic
QUICK ADD
Parallel Language and Compiler…
by Lubomir Bic, Alexandru Nicolau, Mitsuhisa Sato
Hardcover $219.99
Title: Instruction-Level Parallelism: A Special Issue of The Journal of Supercomputing / Edition 1, Author: B.R. Rau
QUICK ADD
Instruction-Level Parallelism:…
by B.R. Rau, J.A. Fisher
#235 in Series
Hardcover $219.99
Title: Formal Techniques for Networked and Distributed Systems: FORTE 2001 / Edition 1, Author: Myungchul Kim
QUICK ADD
Formal Techniques for…
by Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee
#69 in Series
Hardcover $219.99
Title: Replication Techniques in Distributed Systems / Edition 1, Author: Abdelsalam A. Helal
QUICK ADD
Replication Techniques in…
by Abdelsalam A. Helal, Abdelsalam A. Heddaya, Bharat B. Bhargava
#4 in Series
Hardcover $219.99
Title: Dependable Network Computing / Edition 1, Author: Dimiter R. Avresky
QUICK ADD
Dependable Network Computing /…
by Dimiter R. Avresky
#538 in Series
Hardcover $219.99
Title: Software Engineering for Parallel and Distributed Systems / Edition 1, Author: Innes Jelly
QUICK ADD
Software Engineering for…
by Innes Jelly, Ian Gorton, Peter Croll
Explore Series
Hardcover $219.99
Title: Distributed and Parallel Embedded Systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98) October 5-6, 1998, Schloß Eringerfeld, Germany / Edition 1, Author: Franz J. Rammig
QUICK ADD
Distributed and Parallel…
by Franz J. Rammig
#25 in Series
Hardcover $219.99
Title: Neural Network Parallel Computing / Edition 1, Author: Yoshiyasu Takefuji
QUICK ADD
Neural Network Parallel…
by Yoshiyasu Takefuji
#164 in Series
Hardcover $219.99
Title: Distributed and Parallel Systems: From Instruction Parallelism to Cluster Computing / Edition 1, Author: Pïter Kacsuk
QUICK ADD
Distributed and Parallel…
by Pïter Kacsuk, Gabriele Kotsis
#567 in Series
Hardcover $219.99

Pagination Links