|
1.
|
Program construction and verification
by Backhouse, Roland C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Englewood: Prentice Hall, 1986Availability: Items available for loan: [Call number: 005 BAC] (1).
|
|
2.
|
OSP : an environment for operating system projects
by Kifer, Michael | Smolka, Scott A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Reading: Addison-Wesley, 1991Availability: Items available for loan: [Call number: 005.43 KIF] (1).
|
|
3.
|
Art of computer programming. Volume 1, fascicle 1: MMIX - a RISC computer for the new millennium
by Knuth, Donald E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Addison-Wesley, 2005Availability: Items available for loan: [Call number: 005.1 KNU] (1).
|
|
4.
|
Computational beauty of nature: Computer explorations of fractals, chaos, complex systems and adaptation
by Flake, Gary William. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: The MIT Press, 2001Availability: Items available for loan: [Call number: 003.3 FLA] (1).
|
|
5.
|
Mac OS X 10.3 Panther
by Langer, Maria. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berkeley: Peachpit Press, 2004Availability: Items available for loan: [Call number: 005.4465 LAN] (1).
|
|
6.
|
Art of computer programming. Volume 4, Fascicle 1 : bitwise tricks and techniques binary decision diagrams
by Knuth, Donald E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Addison-Wesley, 2009Availability: Items available for loan: [Call number: 005.1 KNU] (1).
|
|
7.
|
Selected writings on computing : a personal perspective
by Dijkstra, Edsger W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1982Availability: Items available for loan: [Call number: 001.64 DIJ] (1).
|
|
8.
|
Applications of process algebra
by Baeten, J. C. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 512 BAE] (1).
|
|
9.
|
Analytical engine : an introduction to computer science using the Internet
by Decker, Rick | Hirshfield, Stuart. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Australia: Thompson Learning, 2004Availability: Items available for loan: [Call number: 004 DEC] (2).
|
|
10.
|
Analytical engine : an introduction to computer science using the Internet
by Decker, Rick | Hirshfield, Stuart. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: PWS Publishing, 1998Availability: Items available for loan: [Call number: 004 DEC] (2).
|
|
11.
|
Mac OS X panther edition : the missing manual
by Pogue, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Beijing: Pogue Press, 2003Availability: Items available for loan: [Call number: 005.4465 POG] (1).
|
|
12.
|
Mac OS X killer tips
by Kelby, Scott. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Indianapolis: New Riders, 2004Availability: Items available for loan: [Call number: 005.4465 KEL] (1).
|
|
13.
|
Programming from the ground up : an introduciton to programming using linux assembly language
by Bartlett, Jonathan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oklahom: Bartlett Pub., 2004Availability: Items available for loan: [Call number: 005.268 BAR] (1).
|
|
14.
|
Java 2 certification exam guide for programmers and developers
by Boone, Barry | Stanek, William R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2000Availability: Items available for loan: [Call number: 005.133 BOO] (2).
|
|
15.
|
Unix and shell programming
by Harwani, B. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Oxford University Press, 2013Availability: Items available for loan: [Call number: 005.432 HAR] (1).
|
|
16.
|
Scripting in Java: Languages, Frameworks, and Patterns.
by Bosanac, Dejan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Addison-Wesley, 2008Availability: Items available for loan: [Call number: 005.133 BOS] (1).
|
|
17.
|
Art of computer programming. Volume 4, Fascicle 0 : introduction to combinatorial algorithms and boolean functions
by Knuth, Donald E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Addison-Wesley, 2008Availability: Items available for loan: [Call number: 005.1 KNU] (1).
|
|
18.
|
Scala for the impatient
by Horstmann, Cay S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Addison-Wesley, 2012Availability: Items available for loan: [Call number: 005.133 HOR] (1).
|
|
19.
|
Programming in Scala
by Odersky, Martin | Spoon, Lex | Venners, Bill. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: California: Artima, 2012Availability: Items available for loan: [Call number: 005.133 ODE] (1).
|
|
20.
|
Concise introduction to programming in python
by Johnson, Mark J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2012Availability: Items available for loan: [Call number: 005.133 JOH] (1).
|