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
Title: Parallel Numerical Algorithms, Author: David E. Keyes
Title: Formal Techniques for Networked and Distributed Systems: FORTE 2001, Author: Myungchul Kim
Title: Conflicting Agents: Conflict Management in Multi-Agent Systems, Author: Cathïrine Tessier
Title: Distributed and Parallel Systems: From Instruction Parallelism to Cluster Computing, Author: Pïter Kacsuk
Title: Mining Very Large Databases with Parallel Processing, Author: Alex A. Freitas
Title: Input/Output in Parallel and Distributed Computer Systems, Author: Ravi Jain
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, Author: Scott F. Smith
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
Title: Networks and Systems Management: Platforms Analysis and Evaluation, Author: Iosif G. Ghetie
Title: Deductive Program Design, Author: Manfred Broy
Title: Introduction to Parallel Processing: Algorithms and Architectures, Author: Behrooz Parhami
Title: Computational Science and High Performance Computing: Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003, Author: Egon Krause
Title: Computational Science and High Performance Computing III: The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, 23 - 27 July 2007, Author: Egon Krause
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, Author: Franz J. Rammig
Title: Dependable Network Computing, Author: Dimiter R. Avresky
Title: Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99, Author: Jianping Wu
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
Title: Handbook on Parallel and Distributed Processing, Author: Jacek Blazewicz
Title: Instruction-Level Parallelism: A Special Issue of The Journal of Supercomputing, Author: B.R. Rau

Pagination Links