21. Mac OS X 10.3 Panther

by Langer, Maria.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berkeley: Peachpit Press, 2004Availability: Items available for loan: [Call number: 005.4465 LAN] (1).
22. Aspect-oriented analysis and design : the theme approach

by Baniassad, Elisa | Clarke, Siobhan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Addison-Wesley, 2005Availability: Items available for loan: [Call number: 005.1 CLA] (1).
23. Art of computer programming. Volume 4, Fascicle 4 : generating all trees history of combinatorial generation

by Knuth, Donald E.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River: Addison-Wesley, 2006Availability: Items available for loan: [Call number: 005.1 KNU] (1).
24. Art of computer programming. Volume 4, Fascicle 0 : introduction to combinatorial algorithms and boolean functions

by Knuth, Donald E.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River: Addison-Wesley, 2008Availability: Items available for loan: [Call number: 005.1 KNU] (1).
25. Art of computer programming. Volume 4, Fascicle 1 : bitwise tricks and techniques binary decision diagrams

by Knuth, Donald E.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River: Addison-Wesley, 2009Availability: Items available for loan: [Call number: 005.1 KNU] (1).
26. Programming Challenges: The programming contest training manual

by Skiena, Stevan S | Revilla, Miguel A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.1 SKI] (1).
27. 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).
28. Mathematical computing : an introduction to programming using Maple

by Betounes, David | Redfern, Mylan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2002Availability: Items available for loan: [Call number: 005.133 BET] (2).
29. Programming Methodology

by Mclver, Annabelle | Morgan, Carroll.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 MCL] (1).
30. Science of programming

by Gries, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1981Availability: Items available for loan: [Call number: 001.642 GRI] (2).
31. Temporal Logic of Reactive and Concurrent Systems

by Manna, Zohar | Pnueli, A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1992Availability: Items available for loan: [Call number: 005.1 MAN] (1).
32. Refinement calculus

by Back, Ralph-Johan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 005.14 BAC] (1).
33. 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).
34. Analytical engine : an introduction to computer science using the Internet

by Decker, Rick | Hirshfield, Stuart.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia: Thompson Learning, 2004Availability: Items available for loan: [Call number: 004 DEC] (2).
35. Analytical engine : an introduction to computer science using the Internet

by Decker, Rick | Hirshfield, Stuart.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: PWS Publishing, 1998Availability: Items available for loan: [Call number: 004 DEC] (2).
36. Mac OS X panther edition : the missing manual

by Pogue, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Beijing: Pogue Press, 2003Availability: Items available for loan: [Call number: 005.4465 POG] (1).
37. Computers and intractability : a guide to the theory of NP-completeness

by Garey, Michael R | Johnson, David S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: W. H. Freeman and Company, 1979Availability: Items available for loan: [Call number: 519.4 GAR] (2).
38. Mac OS X killer tips

by Kelby, Scott.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indianapolis: New Riders, 2004Availability: Items available for loan: [Call number: 005.4465 KEL] (1).
39. Literate programming

by Knuth, Donald E.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Stanford: Leland Standford Junior University, 1991Availability: Items available for loan: [Call number: 005.11 KNU] (1).
40. Programming from the ground up : an introduciton to programming using linux assembly language

by Bartlett, Jonathan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oklahom: Bartlett Pub., 2004Availability: Items available for loan: [Call number: 005.268 BAR] (1).

Powered by Koha