1. Linear logic in computer science

by Ehrhard, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 511.36 EHR] (1).
2. Variational problems in differential geometry : University of Leeds, 2009

by Bielawski, R | Houston, Kevin | Speight, J. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2012Availability: Items available for loan: [Call number: 516.36 BIE] (1).
3. Elliptic curves in cryptography

by Blake, I. F | Seroussi, G | Smart, N. P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1999Availability: Items available for loan: [Call number: 005.82 BLA] (1).
4. Surveys in combinatorics 2007

by Talbot, John | Hilton, Anthony.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.6 HIL] (1).
5. Algebraic theory of differential equations

by Maccallum, Malcolm A. H | Mikhailov, Alexander V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2009Availability: Items available for loan: [Call number: 515.35 MAC] (1).
6. Operator methods for boundary value problems

by Hassi, Seppo | Snoo, Hendrik Simon Victor de | Szafraniec, Franciszek Hugon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2012Availability: Items available for loan: [Call number: 515.35 HAS] (1).
7. Mathematical models in contact mechanics

by Sofonea, Mircea | Matei, Andaluzia.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2012Availability: Items available for loan: [Call number: 620.105 SOF] (1).
8. Appalachian set theory : 2006-2012

by Cummings, James | Schimmerling, Ernest.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2013Availability: Items available for loan: [Call number: 511.3 CUM] (1).
9. Surveys in combinatorics 2013

by Blackburn, Simon R | Gerke, Stefanie | Wildon, Mark J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2013Availability: Items available for loan: [Call number: 511.6 BLA] (1).
10. How groups grow

by Mann, Avinoam.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2011Availability: Items available for loan: [Call number: 512.2 MAN] (1).
11. Random walks and heat kernels on graphs

by Barlow, Martin T.

Publisher: United Kingdom Cambridge University Press 2017Availability: Items available for loan: [Call number: 511.5 BAR] (1).
12. Computational cryptography : algorithmic aspects of cryptology

by Bos, Joppe W. ed | Stam, Martijn [ed.].

Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 005.824 BOS] (1).

Powered by Koha