IMSc Library catalog › Results of search for 'su-br:"Proof Theory"'

			Provable Security [electronic resource] : First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings / edited by Willy Susilo, Joseph K. Liu, Yi Mu. by Susilo, Willy [editor.] \| Liu, Joseph K [editor.] \| Mu, Yi [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4784Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Provable Security [electronic resource] : Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings / edited by Josef Pieprzyk, Fangguo Zhang. by Pieprzyk, Josef [editor.] \| Zhang, Fangguo [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5848Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin. by Czarnecki, Krzysztof [editor.] \| Hedin, Görel [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7745Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach. by Voronkov, Andrei [editor.] \| Weidenbach, Christoph [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7797Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by Morrill, Glyn [editor.] \| Nederhof, Mark-Jan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8036Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jirí Sgall. by Chatterjee, Krishnendu [editor.] \| Sgall, Jirí [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8087Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Skew Linear Groups / M. Shirvani, B. A. F. Wehrfritz. by Shirvani, M [author.] \| Wehrfritz, B. A. F [author.]. Series: London Mathematical Society Lecture Note Series ; no. 118Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1987Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			A Local Spectral Theory for Closed Operators / Ivan N. Erdelyi, Wang Shengwang. by Erdelyi, Ivan N [author.] \| Shengwang, Wang [author.]. Series: London Mathematical Society Lecture Note Series ; no. 105Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Forcing with Random Variables and Proof Complexity / Jan Krajíček. by Krajíček, Jan [author.]. Series: London Mathematical Society Lecture Note Series ; no. 382Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2010Other title: Forcing with Random Variables & Proof Complexity.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Operator Methods for Boundary Value Problems / Edited by Seppo Hassi, Hendrik S. V. de Snoo, Franciszek Hugon Szafraniec. by Hassi, Seppo [editor of compilation.] \| de Snoo, Hendrik S. V [editor of compilation.] \| Szafraniec, Franciszek Hugon [editor of compilation.]. Series: London Mathematical Society Lecture Note Series ; no. 404Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Lectures on the Ricci Flow / Peter Topping. by Topping, Peter [author.]. Series: London Mathematical Society Lecture Note Series ; no. 325Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Independent Random Variables and Rearrangement Invariant Spaces / Michael Sh. Braverman. by Braverman, Michael Sh [author.]. Series: London Mathematical Society Lecture Note Series ; no. 194Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1994Other title: Independent Random Variables & Rearrangement Invariant Spaces.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Independence-Friendly Logic : A Game-Theoretic Approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster. by Mann, Allen L [author.] \| Sandu, Gabriel [author.] \| Sevenster, Merlijn [author.]. Series: London Mathematical Society Lecture Note Series ; no. 386Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			An Introduction to Topological Groups / P. J. Higgins. by Higgins, P. J [author.]. Series: London Mathematical Society Lecture Note Series ; no. 15Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1975Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			FPF Ring Theory : Faithful Modules and Generators of Mod-R / Carl Faith, Stanley Page. by Faith, Carl [author.] \| Page, Stanley [author.]. Series: London Mathematical Society Lecture Note Series ; no. 88Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Two-bridge knots have Property P / [electronic resource] Moto-o Takahashi. by Takahashi, Moto-o, 1941-. Series: Memoirs of the American Mathematical Society ; no. 239.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1981Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			No cover image available Counter automata and classical logics for data words by Amaldev Manuel [author]. Material type: Text Publication details: 2012Dissertation Note: 2012 ; Ph.D ; HBNIAdvisor(s): Ramanujam, R..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI TH 42 . Place hold Log in to add tags
			Bifurcation without Parameters [electronic resource] / by Stefan Liebscher. by Liebscher, Stefan [author.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 2117Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Communication complexity and applications by Rao, Anup \| Yehudayoff, Amir. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge 2020Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 49 Shelf No: 16 Call number: 681.3 RAO. Lists: New Arrivals (21 April 2022). Place hold Log in to add tags
			Quantum Theory for Mathematicians by Hall, Brian C. Series: Graduate Texts in Mathematics ; 267;Language: English Language: English Publication details: New York Springer 2013Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 11, Shelf No: 1 Call number: 51(02) HALL. Place hold Log in to add tags

			Provable Security [electronic resource] : First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings / edited by Willy Susilo, Joseph K. Liu, Yi Mu. by Susilo, Willy [editor.] \| Liu, Joseph K [editor.] \| Mu, Yi [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4784Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Provable Security [electronic resource] : Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings / edited by Josef Pieprzyk, Fangguo Zhang. by Pieprzyk, Josef [editor.] \| Zhang, Fangguo [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5848Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin. by Czarnecki, Krzysztof [editor.] \| Hedin, Görel [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7745Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach. by Voronkov, Andrei [editor.] \| Weidenbach, Christoph [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7797Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by Morrill, Glyn [editor.] \| Nederhof, Mark-Jan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8036Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jirí Sgall. by Chatterjee, Krishnendu [editor.] \| Sgall, Jirí [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8087Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Skew Linear Groups / M. Shirvani, B. A. F. Wehrfritz. by Shirvani, M [author.] \| Wehrfritz, B. A. F [author.]. Series: London Mathematical Society Lecture Note Series ; no. 118Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1987Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			A Local Spectral Theory for Closed Operators / Ivan N. Erdelyi, Wang Shengwang. by Erdelyi, Ivan N [author.] \| Shengwang, Wang [author.]. Series: London Mathematical Society Lecture Note Series ; no. 105Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Forcing with Random Variables and Proof Complexity / Jan Krajíček. by Krajíček, Jan [author.]. Series: London Mathematical Society Lecture Note Series ; no. 382Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2010Other title: Forcing with Random Variables & Proof Complexity.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Operator Methods for Boundary Value Problems / Edited by Seppo Hassi, Hendrik S. V. de Snoo, Franciszek Hugon Szafraniec. by Hassi, Seppo [editor of compilation.] \| de Snoo, Hendrik S. V [editor of compilation.] \| Szafraniec, Franciszek Hugon [editor of compilation.]. Series: London Mathematical Society Lecture Note Series ; no. 404Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Lectures on the Ricci Flow / Peter Topping. by Topping, Peter [author.]. Series: London Mathematical Society Lecture Note Series ; no. 325Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Independent Random Variables and Rearrangement Invariant Spaces / Michael Sh. Braverman. by Braverman, Michael Sh [author.]. Series: London Mathematical Society Lecture Note Series ; no. 194Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1994Other title: Independent Random Variables & Rearrangement Invariant Spaces.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Independence-Friendly Logic : A Game-Theoretic Approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster. by Mann, Allen L [author.] \| Sandu, Gabriel [author.] \| Sevenster, Merlijn [author.]. Series: London Mathematical Society Lecture Note Series ; no. 386Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			An Introduction to Topological Groups / P. J. Higgins. by Higgins, P. J [author.]. Series: London Mathematical Society Lecture Note Series ; no. 15Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1975Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			FPF Ring Theory : Faithful Modules and Generators of Mod-R / Carl Faith, Stanley Page. by Faith, Carl [author.] \| Page, Stanley [author.]. Series: London Mathematical Society Lecture Note Series ; no. 88Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Two-bridge knots have Property P / [electronic resource] Moto-o Takahashi. by Takahashi, Moto-o, 1941-. Series: Memoirs of the American Mathematical Society ; no. 239.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1981Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			No cover image available Counter automata and classical logics for data words by Amaldev Manuel [author]. Material type: Text Publication details: 2012Dissertation Note: 2012 ; Ph.D ; HBNIAdvisor(s): Ramanujam, R..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI TH 42 . Place hold Log in to add tags
			Bifurcation without Parameters [electronic resource] / by Stefan Liebscher. by Liebscher, Stefan [author.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 2117Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Communication complexity and applications by Rao, Anup \| Yehudayoff, Amir. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge 2020Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 49 Shelf No: 16 Call number: 681.3 RAO. Lists: New Arrivals (21 April 2022). Place hold Log in to add tags
			Quantum Theory for Mathematicians by Hall, Brian C. Series: Graduate Texts in Mathematics ; 267;Language: English Language: English Publication details: New York Springer 2013Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 11, Shelf No: 1 Call number: 51(02) HALL. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 606 results.