|
81.
|
Understanding Z : a specification language and its formal semantics
by Spivey, J. M. Material type: 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; Format:
print
; Literary form:
Not fiction
Publisher: Indiana: Sams Publishing, 2002Availability: Items available for loan: [Call number: 005.133 APT] (1).
|