|
|
|
Life after theory by Payne, Michael | Schad, John. ;Language: English Language: English Publication details: London Continuum 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 22, Shelf No: 8 Call number: 5 PAY.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker. by Beckmann, Arnold [editor.] | Berger, Ulrich [editor.] | Löwe, Benedikt [editor.] | Tucker, John V [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3988Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings / edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther. by Barstow, D [editor.] | Brauer, W [editor.] | Brinch Hansen, P [editor.] | Gries, D [editor.] | Luckham, D [editor.] | Moler, C [editor.] | Pnueli, A [editor.] | Seegmüller, G [editor.] | Stoer, J [editor.] | Wirth, N [editor.] | Günther, Christoph G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 330Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici. by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 713Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Theoretical Computer Science [electronic resource] : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings / edited by Jos C. M. Baeten, Tom Ball, Frank S. Boer. by Baeten, Jos C. M [editor.] | Ball, Tom [editor.] | Boer, Frank S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7604Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
q-series with applications to combinatorics, number theory, and physics : [electronic resource] a conference on q-series with applications to combinatorics, number theory, and physics, October 26-28, 2000, University of Illinois / Bruce C. Berndt, Ken Ono, editors. by Berndt, Bruce C, 1939- | Ono, Ken, 1968-. Series: Contemporary mathematics (American Mathematical Society) ; v. 291.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2001Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / edited by Mauricio Ayala-Rincón, César A. Muñoz. by Ayala-Rincón, Mauricio [editor.] | Muñoz, César A [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10499 | Lecture Notes in Computer Science ; 10499Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Introduction to Probability Models by Ross, Sheldon M. Edition: 12th ed.;Language: English Language: English Publication details: Amsterdam Academic Press 2019Availability: Items available for loan: IMSc Library (1). Location(s): Call number: 519.21 ROSS.
|
|
|
|
|
|
|
|
Recent developments in Lie algebras, groups, and representation theory : [electronic resource] 2009-2011 Southeastern Lie Theory Workshop series : Combinatorial Lie Theory and Applications, October 9-11, 2009, North Carolina State University : Homological Methods in Representation Theory, May 22-24, 2010, University of Georgia : Finite and Algebraic Groups, June 1-4, 2011, University of Virginia / Kailash C. Misra, Daniel K. Nakano, Brian J. Parshall, editors. by Misra, Kailash C, 1954- [editor of compilation.] | Nakano, Daniel K. (Daniel Ken), 1964- [editor of compilation.] | Parshall, Brian, 1945- [editor of compilation.] | Southeastern Lie Theory Workshop on Combinatorial Lie Theory and Applications (2009 : North Carolina State University) | Southeastern Lie Theory Conference on Homological Methods in Representation Theory (2010 : University of Georgia) | Southeastern Lie Theory Workshop: Finite and Algebraic Groups (2011 : University of Virginia). Series: Proceedings of symposia in pure mathematics ; v. 86Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2012]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|