|
21.
|
Automated Theorem Proving in Software Engineering
by Schumann, Johann M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 SCH] (1).
|
|
22.
|
Elements of information theory
by Cover, Thomas M | Thomas, Joy A. Edition: Wiley Student ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Wiley, 2006Availability: Items available for loan: [Call number: 003.54 COV] (4). Checked out (1).
|
|
23.
|
Aspects of Combinatorics and Combinatorial Number Theory
by Adhikari, Sukumar Das. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Narosa Publishing House, 2002Availability: Items available for loan: [Call number: 512.7 ADH] (1).
|
|
24.
|
Introduction to Analytic Number Theory
by Apostol, Tom M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Narosa Publishing House, 1998Availability: Items available for loan: [Call number: 512.73 APO] (1).
|
|
25.
|
Seminar on the Atiyah - Singer index theorem
by Palais, Richard S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Hindustan Book Agency, 2005Availability: Items available for loan: [Call number: 513.83 PAL] (1).
|
|
26.
|
Fascinating country in the world of computing : your guide to automated reasoning
by Wos, Larry | Pieper, Gail W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 1999Availability: Items available for loan: [Call number: 511.3028553 WOS] (2).
|
|
27.
|
Applied analysis
by Nachtergaele, Bruno | Hunter, John K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 2001Availability: Items available for loan: [Call number: 515 HUN] (1).
|
|
28.
|
Collected works of Larry Wos. Volume 1
by Wos, Larry | Pieper, Gail W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 2000Availability: Items available for loan: [Call number: 511.36028563 WOS] (2).
|
|
29.
|
Collected works of Larry Wos. Volume 2
by Wos, Larry | Pieper, Gail W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 2000Availability: Items available for loan: [Call number: 511.36028563 WOS] (1).
|
|
30.
|
Impossibility : limits of science and the science of limits
by Barrow, John D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Oxford University Press, 1999Availability: Items available for loan: [Call number: 501.21 BAR] (1).
|
|
31.
|
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
by Chipala, Adam. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2014Availability: Items available for loan: [Call number: 005.1 CHL] (1).
|
|
32.
|
First-order logic and automated theorem proving
by Fitting, Melvin. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 FIT] (1).
|
|
33.
|
Software Reliability Methods
by Peled, Doron A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 PEL] (1).
|
|
34.
|
Godel's proof
by Nage, Ernest | Newman, James R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Routledge, 2012Availability: Items available for loan: [Call number: 511.3 NAG] (1).
|
|
35.
|
Satan, Cantor and infinity : and other mind boggling puzzles
by Smullyan, Raymond M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Dover Publications, 1992Availability: Items available for loan: [Call number: 793.74 SMU] (1).
|
|
36.
|
Computability and Logic
by Boolos, George S. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1989Availability: Items available for loan: [Call number: 005.115 BOO] (1).
|
|
37.
|
Modern coding theory
by Richardson, Tom | Urbanke, Rudiger. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 003.54 RIC] (1).
|
|
38.
|
Pythagorean theorem : a 4,000-year history
by Maor, Eli. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2007Availability: Items available for loan: [Call number: 516.22 MAO] (1).
|
|
39.
|
Emmy Noether's wonderful theorem
by Neuenschwander, Dwight E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Baltimore: John Hopkins University Press, 2011Availability: Items available for loan: [Call number: 539.725 NEU] (1).
|
|
40.
|
Life and times of the central limit theorem
by Adams, William J. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Providence: American Mathematcial Society, 2009Availability: Items available for loan: [Call number: 519.2 ADA] (1).
|