61. Selected writings on computing : a personal perspective

by Dijkstra, Edsger W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1982Availability: Items available for loan: [Call number: 001.64 DIJ] (1).
62. 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).
63. Discipline of multiprogramming : programming theory for distributed applications

by Misra, Jayadev.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.434 MIS] (1).
64. Reasoning about program transformations : imperative programming and flow of data

by Collard, Jean-Francois.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 005.13 COL] (1).
65. Talking back to the machine : computer and human aspriration

by Denning, Peter J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 303.4834 DEN] (2).
66. 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).
67. Modest_witness@second_millennium.femaleman_meets_oncomouse : feminism and technoscience

by Haraway, Donna J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Routledge, 1997Availability: Items available for loan: [Call number: 305.4201 HAR] (1).
68. Cyborgs@cyberspace? : an ethnographer looks to the future

by Hakken, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Routledge, 1999Availability: Items available for loan: [Call number: 303.4834 HAK] (1).
69. Computer : a history of the information machine

by Campbell-Kelly, Martin | Aspray, William.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Basic Books, 1996Availability: Items available for loan: [Call number: 004.09 CAM] (1).
70. Programing language design concepts

by Findlay, William | Watt, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Harlow: John Wiley & Sons, 2004Availability: Items available for loan: [Call number: 005.13 WAT] (1).
71. 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).
72. High speed digital system design : a handbook of interconnect theory and design practices

by Hall, Stephen H | Hall, Garrett W | McCall, James A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: John Wiley & Sons, 2000Availability: Items available for loan: [Call number: 621.398 HAL] (1).
73. Digital design

by Vahid, Frank.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: John Wiley & Sons, 2006Availability: Items available for loan: [Call number: 621.395 VAH] (1).
74. Art of computer systems performance analysis

by Jain, Raj.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: John Wiley & Sons, 1991Availability: Items available for loan: [Call number: 004.24 JAI] (1).
75. Performance of computer communication systems : a model-based approach

by Haverkort, Boudewijn R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chichester: John Wiley & Sons, 1998Availability: Items available for loan: [Call number: 004.6 HAV] (1).
76. 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).
77. 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).
78. Understanding Z : a specification language and its formal semantics

by Spivey, J. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 1988Availability: Items available for loan: [Call number: 005.133 SPI] (1).
79. 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).
80. 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).

Powered by Koha