Koha online

1.
Computation engineering : applied automata theory and logic

by Gopalakrishnan, Ganesh.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 511.35 GOP] (1).
Place hold
2.
Fundamentals of mathematical logic

by Hinman, Peter G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Massachusetts: A K Peters, 2005Availability: Items available for loan: [Call number: 511.3 HIN] (1).
Place hold
3.
Computable analysis : an introduction

by Weihrauch, Klaus.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2000Availability: Items available for loan: [Call number: 515 WEI] (1).
Place hold
4.
Thinking recursively with Java

by Roberts, Eric.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: John Wiley & Sons, 2006Availability: Items available for loan: [Call number: 511.35 ROB] (1).
Place hold
5.
How to think about algorithms

by Edmonds, Jeff.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 518.1 EDM] (1).
Place hold
6.
Theory of computation

by Kozen, Dexter C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 511.352 KOZ] (1).
Place hold
7.
Classical recursion theory. Volume 2

by Odifreddi, Piergiorgio.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: Elsevier, 1999Availability: Items available for loan: [Call number: 511.3 ODI] (1).
Place hold

Powered by Koha