|
A Theory of Assertions for Dolev-Yao Models Vaishnavi Sundararajan.
by Sundararajan, Vaishnavi [author.] | Ramanujam, R [advisor.] | Suresh, S.P [advisor.] | Chennai Mathematical Institute [parent institute. ]. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Chennai Chennai Mathematical Institute 2018Online access: Click here to access online Availability: Items available for loan:
[Call number: T SUN]
(1).
Add to cart (remove)
|
|
Algorithmic randomness and complexity / Rodney G. Downey, Denis R. Hirschfeldt.
by Downey, R. G. (Rod G.) | Hirschfeldt, Denis Roman. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, c2010Online access: Publisher description | Table of contents only Availability: Items available for loan:
[Call number: 511.3 DOW]
(1).
Add to cart (remove)
|
|
Asymptotic analysis in general relativity / edited by Thierry Daudé (Université de Cergy-Pontoise), Dietrich Häfner (Université Joseph Fourier, Grenoble), Jean-Philippe Nicolas (Université de Bretagne Occidentale).
by Daudé, Thierry, 1977- [editor.] | Häfner, Dietrich [editor.] | Nicolas, J.-P. (Jean-Philippe) [editor.]. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2017Copyright date: ©2017Availability: Items available for loan:
[Call number: 530.11 DAU]
(1).
Add to cart (remove)
|
|
Extensions of positive definite functions : LNM 2160 applications and their harmonic analysis / Palle Jørgensen, Steen Pedersen, Feng Tian.
by Jørgensen, Palle E. T, 1947- [author.] | Pedersen, Steen (Mathematician) [author.] | Tian, Feng [author.]. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016Online access: 1850-9999 Availability: Items available for loan:
[Call number: LNM]
(1).
Add to cart (remove)
|
|
From bacteria to Bach and back : the evolution of minds / Daniel C. Dennett.
by Dennett, D. C. (Daniel Clement) [author.]. Material type: Text; Format:
available online
; Audience:
General;
Publisher: London : Penguin, 2017Availability: No items available Checked out (1).
Add to cart (remove)
|
|
Grothendieck duality and base change / LNM 1750 Brian Conrad.
by Conrad, Brian. Material type: Article Publisher: Berlin ; London : Springer, c2000Online access: 1850-9999 Availability: Items available for loan:
[Call number: LNM]
(1).
Add to cart (remove)
|
|
Harmonic analysis on symmetric spaces -- higher rank spaces, positive definite matrix space and generalizations / Audrey Terras.
by Terras, Audrey [author.]. Edition: Second edition.Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, [2016]Availability: Items available for loan:
[Call number: 515.243 TER]
(1).
Add to cart (remove)
|
|
Mathematical thermodynamics of complex fluids : LNM 2200 Cetraro, Italy 2015 / John M. Ball, Eduard Feireisl, Felix Otto ; Eduard Feireisl, Elisabetta Rocca, editors.
by C.I.M.E. Summer School (2015 : Cetraro, Italy) | Ball, John M [author.] | Feireisl, Eduard [author,, editor.] | Otto, Felix [author.] | Rocca, Elisabetta [editor.] | Centro internazionale matematico estivo. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Cham, Switzeland : Springer, [2017]Online access: 1850-9999 Availability: Items available for loan:
[Call number: LNM]
(1).
Add to cart (remove)
|
|
Nearly pseudo-Kähler manifolds and related special holonomies / LNM 2201 Lars Schäfer.
by Schäfer, Lars, 1977- [author.]. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: [Cham, Switzerland] : Springer, [2017]Online access: 1850-9999 Availability: Items available for loan:
[Call number: LNM]
(1).
Add to cart (remove)
|
|
Open conformal systems and perturbations of transfer operators / LNM 2206 Mark Pollicott, Mariusz Urbański.
by Pollicott, Mark [author.] | Urbański, Mariusz [author.]. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2017]Online access: 1850-9999 Availability: Items available for loan:
[Call number: LNM]
(1).
Add to cart (remove)
|
|
Sample path analysis and distributions of boundary crossing times / LNM 2203 Shelemyahu Zacks.
by Zacks, Shelemyahu, 1932- [author.]. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: [Cham, Switzerland] : Springer, [2017]Online access: 1850-9999 Availability: Items available for loan:
[Call number: LNM]
(1).
Add to cart (remove)
|
|
Teaching statistics : a bag of tricks / Andrew Gelman and Deborah Nolan.
by Gelman, Andrew [author.] | Nolan, Deborah Ann [author.]. Edition: Second edition.Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Oxford : Oxford University Press, 2017Availability: Items available for loan:
[Call number: 519.507 GEL]
(1).
Add to cart (remove)
|
|
The physical world : an inspirational tour of fundamental physics / Nicholas Manton, Nicholas Mee.
by Manton, Nicholas, 1952- [author.] | Mee, Nicholas [author.]. Edition: First edition.Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Oxford : Oxford University Press, 2017Availability: Items available for loan:
[Call number: 530 MAN]
(1).
Add to cart (remove)
|