Koha online

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).
Place hold
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).
Place hold
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).
Place hold
4.
No cover image available
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).
Place hold
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).
Place hold
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).
Place hold
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).
Place hold
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).
Place hold
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).
Place hold
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).
Place hold
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).
Place hold
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).
Place hold
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).
Place hold
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).
Place hold
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: Items available for loan: [Call number: 005.1 BER] (1).
Place hold
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).
Place hold
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).
Place hold
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).
Place hold
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).
Place hold
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).
Place hold

Powered by Koha