81. 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).
82. Algorithmic information theory

by Chaitin, Gregory J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1992Availability: Items available for loan: [Call number: 004.19 CHA] (1).
83. 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).
84. COBOL programmers swing with JAVA

by Hardgrave, Bill C | Doke, E. Reed | Johnson, Richard A.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.133 DOK] (1).
85. Mathematical illustrations : a manual of geometry and postscript

by Casselman, Bill.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 005.133 CAS] (1).
86. Way of Z : practical programming with formal methods

by Jacky, Jonathan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge Cambridge University Press 1997Availability: Items available for loan: [Call number: 005.12 JAC] (1).
87. Fundamentals of OOP and data structures in Java

by Wiener, Richard | Pinson, Lewis J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2000Availability: Items available for loan: [Call number: 005.133 WIE] (1).
88. Standard ML basis library

by Reppy, John H | Gansner, Emden R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 005.133 GAN] (1).
89. First course in computational physics and object-oriented programming with c++

by Yevick, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.13 YEV] (2).
90. Introduction to programming with mathematica

by Gaylord, Richard | Kamin, Samuel | Wellin, Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 510.28533 WEL] (1).
91. Elements of C++ style

by Bumgardner, Gregory | Gray, Andrew | Misfeldt, Trevor.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 005.133 MIS] (5).
92. Invitation to Computer Science: Java Version

by Gerstin, Judith L | Baase, Sara.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia: Brooks Cole, 2000Availability: Items available for loan: [Call number: 004 SCH] (3).
93. Object-oriented program development using Java : a class-centred approach

by Bronson, Gary J | Rosenthal, David.

Edition: Enhanced ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia: Thomson Course Technology, 2006Availability: Items available for loan: [Call number: 005.133 BRO] (2).
94. Java : learning to program with robots

by Becker, Byron Weber.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Thomson Course Technology, 2007Availability: Items available for loan: [Call number: 005.133 BEC] (2).
95. Building java enterprise systems with J2EE : the authoritative solution

by Chaganti, Venkata S. R. R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indiana: Sams Publishing, 2000Availability: Items available for loan: [Call number: 005.133 PER] (2).
96. Java media APIs : cross-platform imaging, media and visualization

by Terrazas, Alejandro | Barlow, Michael | Ostuni, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indianapolis: Sams Publishing, 2002Availability: Items available for loan: [Call number: 005.133 TER] (1).
97. Java deployment

by Marinilli, Mauro.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indiana: Sams Publishing, 2002Availability: Items available for loan: [Call number: 005.133 MAR] (1).
98. Jini and javaspaces application development

by Flenner, Robert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indiana: Sams Publishing, 2002Availability: Items available for loan: [Call number: 004.36 FLE] (1).
99. JMX : managing J2EE applications with java management extensions

by Lindfors, Juha.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indiana: Sams Publishing, 2002Availability: Items available for loan: [Call number: 005.133 LIN] (1).
100. Java connector architecture : building enterprise adapters

by Apte, Atul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indiana: Sams Publishing, 2002Availability: Items available for loan: [Call number: 005.133 APT] (1).

Powered by Koha