21. Automated Theorem Proving in Software Engineering

by Schumann, Johann M.

Material type: book 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 Book; Format: print ; Literary form: Not fiction Publisher: Providence: American Mathematcial Society, 2009Availability: Items available for loan: [Call number: 519.2 ADA] (1).

Powered by Koha