Koha online

1.
Programming : the derivation of algorithms

by Kaldewaij, Anne.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Prentice Hall, 1990Availability: Items available for loan: [Call number: 005.1 KAL] (1).
Place hold
2.
Program construction and verification

by Backhouse, Roland C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Englewood: Prentice Hall, 1986Availability: Items available for loan: [Call number: 005 BAC] (1).
Place hold
3.
Software engineering mathematics : formal methods demystified

by Loomes, Martin | Woodcock, Jim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Taylor & Francis, 1988Availability: Items available for loan: [Call number: 005.13119 WOO] (1).
Place hold
4.
Programming with POSIX Threads

by Butenhof, David R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Addison-Wesley, 1997Availability: Items available for loan: [Call number: 005.432 BUT] (1).
Place hold
5.
Design methods and analysis of algorithms

by Basu, S. K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall, 2005Availability: Items available for loan: [Call number: 519.4 BAS] (5).
Place hold
6.
Animated algorithms : a hypermedia learning environment for 'Introduction to algorithms'

by Gloor, Peter A | Dynes, Scott | Lee, Irene.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 1993Availability: Items available for loan: [Call number: 005.1 GLO] (1).
Place hold
7.
No cover image available
Computer programming and utilization

by Sudarshan, S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Mumbai: Centre for Distance Engineering Education Programme, IIT Bombay, 2008Availability: Items available for loan: [Call number: 005.1 SUD] (30).
Place hold

Powered by Koha