|
|
1.
|
Computation engineering : applied automata theory and logic
by Gopalakrishnan, Ganesh. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 511.35 GOP] (1).
|
|
|
2.
|
Logic, sets, and recursion (Supplement)
by Causey, Robert L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Jones & Bartlett, 2001Availability: Items available for loan: [Call number: 511.3 CAU] (2).
|
|
|
3.
|
Fundamentals of mathematical logic
by Hinman, Peter G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts: A K Peters, 2005Availability: Items available for loan: [Call number: 511.3 HIN] (1).
|
|
|
4.
|
Isabelle/HOL : a Proof Assistant for Higher-Order Logic
by Paulson, Lawrence C | Nipkow, Tobias | Wenzel, Markus | Paulson, Lawrence C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NIP] (1).
|
|
|
5.
|
Computable analysis : an introduction
by Weihrauch, Klaus. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2000Availability: Items available for loan: [Call number: 515 WEI] (1).
|
|
|
6.
|
Logic and Discrete Mathematics
by Grassmann, Winfried Karl. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Prentice Hall, 1996Availability: Items available for loan: [Call number: 510 GRA] (1).
|
|
|
7.
|
Programming with Alice and Java
by Lewis, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Pearson Addison Wesley, 2009Availability: Items available for loan: [Call number: 005.117 LEW] (2).
|
|
|
8.
|
Thinking recursively with Java
by Roberts, Eric. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2006Availability: Items available for loan: [Call number: 511.35 ROB] (1).
|
|
|
9.
|
How to think about algorithms
by Edmonds, Jeff. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 518.1 EDM] (1).
|
|
|
10.
|
Systematic Program Design : from clarity to efficiency
by Liu, Yanhong Annie. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Cambridge University Press, 2013Availability: Items available for loan: [Call number: 005.1 LIU] (1).
|
|
|
11.
|
Algorithms and Programming : problems and solutions
by Shen, Alexander. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2010Availability: Items available for loan: [Call number: 005.1 SHE] (1).
|
|
|
12.
|
Object-Oriented Programming : from problem solving to Java
by Garrido, Jose M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hingham: Charles River Media, 2003Availability: Items available for loan: [Call number: 005.117 GAR] (2).
|
|
|
13.
|
Theory of computation
by Kozen, Dexter C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 511.352 KOZ] (1).
|
|
|
14.
|
Logic, sets, and recursion
by Causey, Robert L. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Jones & Bartlett, 2010Availability: Items available for loan: [Call number: 511.3 CAU] (4).
|
|
|
15.
|
Classical recursion theory. Volume 2
by Odifreddi, Piergiorgio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Elsevier, 1999Availability: Items available for loan: [Call number: 511.3 ODI] (1).
|
|
|
16.
|
Computer Programming in C
by Rajaraman, V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 005.1 RAJ] (2). Lost (1).
|
|
|
17.
|
Introduction to Scientific Computation and Programming
by Kaplan, Daniel T. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Australia: Thomson Brooks/Cole, 2007Availability: Items available for loan: [Call number: 005.1 KAP] (1).
|
|
|
18.
|
Optimal and adaptive signal processing
by Clarkson, Peter M. Publisher: Boca Raton : CRC Press, 1993Availability: Items available for loan: [Call number: 621.3822 CLA] (1).
|
|
|
19.
|
Discrete mathematics and its applications
by Rosen, Kenneth H | Krithivasan, Kamala. Edition: 8th ed. Publisher: Chennai : McGraw Hill India, 2021Availability: Items available for loan: [Call number: 511 ROS] (5).
|
|
|
20.
|
Set theory : a first course
by Cunningham, Daniel W. Publisher: New York : Cambridge University Press, 2016Availability: Items available for loan: [Call number: 511.322 CUN] (1).
|
