41- 60 of 2217 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy, Author: Paolo Ciancarini
QUICK ADD
Formal Methods for Open Object…
by Paolo Ciancarini (Editor), Alessandro Fantechi (Editor), Roberto Gorrieri (Editor)
#10 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, Author: Egon Krause
QUICK ADD
Computational Science and High…
by Egon Krause (Editor), Yurii I. Shokin (Editor), Nina Shokina (Editor)
#91 in Series
Paperback $219.99
Title: Conflicting Agents: Conflict Management in Multi-Agent Systems, Author: Cathïrine Tessier
QUICK ADD
Conflicting Agents: Conflict…
by Cathïrine Tessier (Editor), Laurent Chaudron (Editor), Heinz-Jïrgen Mïller (Editor)
#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, Author: Egon Krause
QUICK ADD
Computational Science and High…
by Egon Krause (Editor), Yurii I. Shokin (Editor), Nina Shokina (Editor)
#91 in Series
Hardcover $219.99
Title: Networks and Systems Management: Platforms Analysis and Evaluation, Author: Iosif G. Ghetie
QUICK ADD
Networks and Systems…
by Iosif G. Ghetie
Hardcover $219.99
Title: Parallel Numerical Algorithms, Author: David E. Keyes
QUICK ADD
Parallel Numerical Algorithms
by David E. Keyes (Editor), Ahmed Sameh (Editor), V. Venkatakrishnan (Editor)
#4 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, Author: Stan Budkowski
QUICK ADD
Formal Description Techniques…
by Stan Budkowski (Editor), Ana Cavalli (Editor), Elie Najm (Editor)
#6 in Series
Hardcover $219.99
Title: Replication Techniques in Distributed Systems, 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: Parallel Language and Compiler Research in Japan, Author: Lubomir Bic
QUICK ADD
Parallel Language and Compiler…
by Lubomir Bic (Editor), Alexandru Nicolau (Editor), Mitsuhisa Sato (Editor)
Hardcover $219.99
Title: Handbook on Parallel and Distributed Processing, Author: Jacek Blazewicz
QUICK ADD
Handbook on Parallel and…
by Jacek Blazewicz (Editor), Klaus Ecker (Editor), Brigitte Plateau (Editor), Denis Trystram (Editor)
Explore 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
Paperback $219.99
Title: Distributed and Parallel Systems: From Instruction Parallelism to Cluster Computing, Author: Pïter Kacsuk
QUICK ADD
Distributed and Parallel…
by Pïter Kacsuk (Editor), Gabriele Kotsis (Editor)
#567 in Series
Hardcover $219.99
Title: Instruction-Level Parallelism: A Special Issue of The Journal of Supercomputing, Author: B.R. Rau
QUICK ADD
Instruction-Level Parallelism:…
by B.R. Rau (Editor), J.A. Fisher (Editor)
#235 in Series
Paperback $219.99
Title: Introduction to Parallel Processing: Algorithms and Architectures, Author: Behrooz Parhami
QUICK ADD
Introduction to Parallel…
by Behrooz Parhami
#1 in Series
Hardcover $219.99
Title: Deductive Program Design, Author: Manfred Broy
QUICK ADD
Deductive Program Design
by Manfred Broy (Editor)
#152 in Series
Hardcover $219.99
Title: Computational Science and High Performance Computing: Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003, Author: Egon Krause
QUICK ADD
Computational Science and High…
by Egon Krause (Editor), Yurii I. Shokin (Editor), Nina Shokina (Editor)
#88 in Series
Paperback $219.99
Title: Formal Techniques for Networked and Distributed Systems: FORTE 2001, Author: Myungchul Kim
QUICK ADD
Formal Techniques for…
by Myungchul Kim (Editor), Byoungmoon Chin (Editor), Sungwon Kang (Editor), Danhyung Lee (Editor)
#69 in Series
Hardcover $219.99
Title: Mining Very Large Databases with Parallel Processing, Author: Alex A. Freitas
QUICK ADD
Mining Very Large Databases…
by Alex A. Freitas, Simon H. Lavington
#9 in Series
Hardcover $219.99
Title: Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99, Author: Jianping Wu
QUICK ADD
Formal Methods for Protocol…
by Jianping Wu (Editor), Samuel T. Chanson (Editor), Quiang Gao (Editor)
#28 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, Author: Yurii I. Shokin
QUICK ADD
Advances in High Performance…
by Yurii I. Shokin (Editor), Nargozy Danaev (Editor), Murat Orunkhanov (Editor), Nina Shokina (Editor)
#93 in Series
Paperback $219.99

Pagination Links