1. Software optimization for high-performance computing

by Wadleigh, Kevin R | Crawford, Isom L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River: Prentice Hall, 2000Availability: Items available for loan: [Call number: 005.12 WAD] (1).
2. Theory and practice of concurrency

by Roscoe, A. W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Prentice Hall, 1998Availability: Items available for loan: [Call number: 004.35 ROS] (1).
3. Introduction to parallel computing : a practical guide with examples in C

by Arbenz, P | Petersen, Wesley.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford: Oxford University Press, 2004Availability: Items available for loan: [Call number: 004.35 PET] (1).
4. Automatic Algorithm Recognition and Replacement : a new approach to program optimization

by Wen, Zhaofang | Metzger, Robert C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2000Availability: Items available for loan: [Call number: 005.1 MET] (1).
5. New horizons of parallel and distributed computing

by Guo, Minyi | Yang, Laurence Tianruo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004.35 GUO] (1).
6. Concurrent scientific computing : texts in applied mathematics.

by Van de Velde, Eric F.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1994Availability: Items available for loan: [Call number: 519.4028552 VAN] (1).
7. Modal and temporal properties of processes

by Stirling, Colin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 STI] (1).
8. High performance mass storage and parallel I/O : technologies and applications

by Cortes, Toni | Buyya, Rajkumar | Jin, Hai.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Pisa: IEEE Press, 2002Availability: Items available for loan: [Call number: 621.397 JIN] (1).
9. Concurrent and real-time systems : the CSP approach

by Schneider, Steve.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chichester: John Wiley & Sons, 2000Availability: Items available for loan: [Call number: 004.33 SCH] (2).
10. Lectures on parallel computation

by Spirakis, Paul | Gibbons, Alan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1993Availability: Items available for loan: [Call number: 004.35 GIB] (1).
11. Foundations of parallel programming

by Skillicorn, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.2 SKI] (1).
12. Parallel scientific computing in C++ and MPI : A seamless approach to parallel algorithms and their implementation

by Kirby, Robert M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 004.35 KAR] (2).
13. Applications of process algebra

by Baeten, J. C. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 512 BAE] (1).
14. Protocols by invariants

by Schoone, Anneke A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 004.35 SCH] (1).
15. Algorithms : sequential, parallel, and distributed

by Berman, Kenneth A | Paul, Jerome L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Thomson Course Technology, 2005Availability: No items available Checked out (1).
16. Hardware design and petri nets

by Yakovlev, Alex | Gomes, Luis | Lavagno, Luciano.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 621.3916 YAK] (1).
17. Supervisory control of concurrent systems : a petri net structural approach

by Iordache, Marian V | Antsaklis, Panos J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Birkhauser, 2006Availability: Items available for loan: [Call number: 629.8 IOR] (1).
18. Numerical linear algebra for high-performance computers

by Dongarra, Jack J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Philadelphia: Society for Industrial and Applied Mathematics, 1998Availability: Items available for loan: [Call number: 004.35 DON] (1).
19. Distributed and parallel systems : cluster and grid computing

by Kacsuk, Peter | Kranzlmuller, Dieter | Nemeth, Zsolt | Volkert, Jens.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic, 2002Availability: Items available for loan: [Call number: 004.36 KAC] (1).
20. TruCluster server handbook

by Lola, Jim | Gregory, Yates | O'Brien, Dennis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: Digital Press, 2002Availability: Items available for loan: [Call number: 004.36 FAF] (1).

Powered by Koha