CMI Library catalog › Contents of 2018-09-27

No cover image available No cover image available

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

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).

Algorithmic randomness and complexity / Rodney G. Downey, Denis R. Hirschfeldt.

by Downey, R. G. (Rod G.) | Hirschfeldt, Denis Roman.

Material type: Text

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).

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

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).

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

Text; Format: print ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016Online access: 1850-9999 Availability: Items available for loan: [Call number: LNM] (1).

From bacteria to Bach and back : the evolution of minds / Daniel C. Dennett.

by Dennett, D. C. (Daniel Clement) [author.].

Material type: Text

Text; Format: available online remote

; Audience: General; Publisher: London : Penguin, 2017Availability: Items available for loan: [Call number: 128.2 DEN] (1).

Grothendieck duality and base change / LNM 1750 Brian Conrad.

by Conrad, Brian.

Material type: Article

Article Publisher: Berlin ; London : Springer, c2000Online access: 1850-9999 Availability: Items available for loan: [Call number: LNM] (1).

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

Text; Format: print ; Literary form: Not fiction Publisher: New York : Springer, [2016]Availability: Items available for loan: [Call number: 515.243 TER] (1).

Mathematical thermodynamics of complex fluids : LNM 2200 Cetraro, Italy 2015 / John M. Ball, Eduard Feireisl, Felix Otto ; Eduard Feireisl, Elisabetta Rocca, editors.

Material type: Text

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).

Nearly pseudo-Kähler manifolds and related special holonomies / LNM 2201 Lars Schäfer.

by Schäfer, Lars, 1977- [author.].

Material type: Text

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).

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

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).

Sample path analysis and distributions of boundary crossing times / LNM 2203 Shelemyahu Zacks.

by Zacks, Shelemyahu, 1932- [author.].

Material type: Text

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).

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

Text; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford University Press, 2017Availability: Items available for loan: [Call number: 519.507 GEL] (1).

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

Text; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford University Press, 2017Availability: Items available for loan: [Call number: 530 MAN] (1).

	No cover image available No cover image available 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: Items available for loan: [Call number: 128.2 DEN] (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)