|
|
1.
|
Adapting proofs-as-programs : the Curry-Howard protocol
by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
|
|
|
2.
|
Algorithms on Trees and Graphs
by Valiente, Gabriel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 VAL] (1).
|
|
|
3.
|
Foundations of software technology and theoretical computer science
by Rangan, C. Pandu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 RAN] (1).
|
|
|
4.
|
Theory and Problems of Group Theory
by Baumslag, Benjamin | Chandler, Bruce. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: McGraw-Hill, 1968Availability: Items available for loan: [Call number: 511.2 BAU] (1).
|
|
|
5.
|
How to think about abstract algebra
by Alcock, Lara. Publisher: Oxford : Oxford University Press, 2021Availability: Items available for loan: [Call number: 512.02 ALC] (1).
|
|
|
6.
|
Introduction to linear algebra
by Fioresi, Rita | Morigi, Marta. Publisher: Boca Raton : CRC Press, 2022Availability: Items available for loan: [Call number: 512.5 FIO] (1).
|
|
|
7.
|
Algebraic graph algorithms : a practical guide using Python
by Erciyes, K. Publisher: Cham : Springer, 2021Availability: No items available Checked out (1).
|
|
|
8.
|
Thinking matters : critical thinking as creative problem solving
by Mar, Gary R. Publisher: New Jersey : World Scientific, 2021Availability: Items available for loan: [Call number: 153.43 MAR] (1).
|
|
|
9.
|
Undergraduate primer in algebraic geometry
by Ciliberto, Ciro. Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 516.35 CIL] (1).
|
|
|
10.
|
Number systems : a path into rigorous mathematics
by Kay, Anthony. Publisher: Boca Raton : chapman and hall/crc, 2022Availability: Items available for loan: [Call number: 513.5 KAY] (1).
|
|
|
11.
|
Advanced linear algebra
by Loehr, Nicholas. Publisher: Boca Raton : CRC Press, 2014Availability: Items available for loan: [Call number: 512.5 LOE] (1).
|
|
|
12.
|
Basic category theory
by Leinster, Tom. Publisher: Cambridge : Cambridge University Press, 2014Availability: Items available for loan: [Call number: 512.62 LEI] (1).
|
|
|
13.
|
Conceptual mathematics : a first introduction to categories
by Lawvere, F. William | Schanuel, Stephen H. Publisher: Cambridge ; Cambridge University Press, 2009Availability: Items available for loan: [Call number: 511.3 LAW] (1).
|
|
|
14.
|
Introduction to graph theory
by Trudeau, Richard J. Publisher: New York : Dover Pub., 1993Availability: Items available for loan: [Call number: 511.5 TRU] (1).
|
|
|
15.
|
Understanding moral obligation : Kant, Hegel, Kierkegaard
by Stern, Robert. Publisher: Cambridge : Cambridge University Press, 2012Availability: Items available for loan: [Call number: 170.922 STE] (1).
|
|
|
16.
|
First course in ergodic theory
by Dajani, Karma | Kalle, Charlene. Publisher: Boca Raton : CRC Press, 2021Availability: Items available for loan: [Call number: 515.48 DAJ] (1).
|
|
|
17.
|
Handbook of graphs and networks in people analytics : with examples in R and python
by McNulty, Keith. Publisher: Boca Raton : CRC Press, 2022Availability: Items available for loan: [Call number: 658.300285 MCN] (1).
|
|
|
18.
|
Foundations of discrete mathematics with algorithms and programming
by Sridharan, Sriraman | Balakrishnan, R. Publisher: Boca Raton : CRC Press, 2019Availability: Items available for loan: [Call number: 004.0151 SRI] (1).
|
|
|
19.
|
Lie Groups : a problem oriented introduction via matrix groups.
by Pollatsek, Harriet. Publisher: 2014 MAA Press, WashingtonAvailability: Items available for loan: [Call number: 512.482 POL] (1).
|
|
|
20.
|
One true logic : a monist manifesto
by Griffiths, Owen. Publisher: Oxford : Oxford University Press, 2022Availability: Items available for loan: [Call number: 160 GRI] (1).
|
