|
|
61.
|
Introduction to mathematical logic
by Mendelson, Elliott. Edition: 5th ed.Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2010Availability: No items available Checked out (1).
|
|
|
62.
|
Mathematical tools for data mining : set theory, partial orders, combinatorics
by Simovici, Dan A | Djeraba, Chabane. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2008Availability: Items available for loan: [Call number: 005.74 SIM] (1).
|
|
|
63.
|
Incompleteness in the land of sets
by Fitting, Melvin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: College Publications, 2007Availability: Items available for loan: [Call number: 511.3 FIT] (1).
|
|
|
64.
|
Markov chains and invariant probabilities
by Hernandez-Lerma, Onasimo | Lasserre, Jean-Bernard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser, 2003Availability: Items available for loan: [Call number: 519.233 HER] (1).
|
|
|
65.
|
Infinity and the mind : the science and philosophy of the infinite
by Rucker, Rudy Von B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: New Age International, 2007Availability: Items available for loan: [Call number: 111.6 RUC] (1).
|
|
|
66.
|
Computer architecture: Design and Performance
by Wilkinson, Barry. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Prentice Hall, 1996Availability: Items available for loan: [Call number: 004.22 WIL] (1).
|
|
|
67.
|
Handbook of Logic and Proof Techniques for Computer Science
by Krantz, Steven G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser Verlag, 2002Availability: Items available for loan: [Call number: 004 KRA] (1).
|
|
|
68.
|
Linear algebra : a pure mathematical approach
by Rose, Harvey E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser Verlag, 2002Availability: Items available for loan: [Call number: 512.5 ROS] (1).
|
|
|
69.
|
Abstract algebra
by Chatterjee, Dipak. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 512.02 CHA] (1).
|
|
|
70.
|
Discrete Mathematics
by Kumar, Vinay. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: BPB Publications, 2002Availability: Items available for loan: [Call number: 510.92 KUM] (1).
|
|
|
71.
|
Logic For Applications
by Nerode, Anil | Shore, Richard A. Edition: 2nd edMaterial type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.1015113 NER] (1).
|
|
|
72.
|
Commutation relations, normal ordering, and stirling numbers
by Mansour, Toufik | Schork, Matthias. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press. 2015Availability: Items available for loan: [Call number: 511.6 MAN] (1).
|
|
|
73.
|
Sets and computations
by Friedman, Sy D | Raghavan, Dilip | Yang, Yue. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific Publishing, 2017Availability: Items available for loan: [Call number: 511.322 FRI] (1).
|
|
|
74.
|
Applied mathematics for database professionals
by De Hann, Lex. Publisher: USA: Apress, 2007Availability: Items available for loan: [Call number: 519 DEH] (1).
|
|
|
75.
|
Reverse mathematics proofs from the inside out
by Stillwell, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2017Availability: Items available for loan: [Call number: 511.3 STI] (1).
|
|
|
76.
|
Reverse mathematics : proofs from the inside out
by Stillwell, John. Publisher: Princeton Princeton University Press 2018Availability: Items available for loan: [Call number: 511.3 STI] (1).
|
|
|
77.
|
Linear algebra and its applications
by Lay, David C | Lay, Steven R | McDonald, Judi J. Edition: 5th. ed. Publisher: Boston : Pearson, 2016Availability: Items available for loan: [Call number: 512.5 LAY] (1).
|
|
|
78.
|
Design of prominent floating point multiplier using single electron transistor operating at room temperature
by Trivedi, Rachesh | Banik, Sanghamitra | Parekh, Rutu | Agrawal, Yash. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Gandhinagar Dhirubhai Ambani Institute of Information and Communication Technology 2019Online access: Click here to access online Availability: Items available for loan: [Call number: 621.3815 TRI] (1).
|
|
|
79.
|
Discrete encounters
by Bauer, Craig P. Publisher: Boca Raton : CRC Press, 2020Availability: Items available for loan: [Call number: 004.0151 BAU] (1).
|
|
|
80.
|
Data deduplication approaches : concepts, strategies, and challenges
by Thwel, Tin Thein ed | Sinha, G. R [ed.]. Publisher: London : Academic Press, 2021Availability: Items available for loan: [Call number: 005.745 THW] (1).
|
