IMSc Library catalog › Results of search for 'ccl=su:"Congresses"'

			Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings by Gottlob, Georg \| Leitsch, Alexander \| Mundici, Daniele Eds. Series: Lecture notes in computer science ; 01289Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS. Place hold Log in to add tags
			Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings by Gottlob, Georg \| Grandjean, Etienne \| Seyr, Katrin Eds. Series: Lecture notes in computer science ; 01584Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS. Place hold Log in to add tags
			Coding, cryptography, and combinatorics by Feng, Keqin \| Niederreiter, Harald \| Xing, Chaoping Eds. Series: Progress in computer science and applied logic; 23Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkh�user ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 20 Call number: 511 FEN. Place hold Log in to add tags
			Morphogenesis and pattern formation in biological systems experiments and models by Sekimura, T [et al] Eds. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Tokyo ; Springer ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 39 Call number: 574 SEK. Place hold Log in to add tags
			Application of econophysics proceedings of the Second Nikkei Econophysics Symposium by Takayasu, Hideki Ed. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Tokyo ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 38 Call number: 53:330 TAK. Place hold Log in to add tags
			Typed lambda calculi and applications: 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings by Girard, Jean-Yves Ed. Series: Lecture notes in computer science ; 01581Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin, New York : ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS. Place hold Log in to add tags
			Programming languages and systems: 9th European Symposium on Programming, ESOP 2000, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings by Smolka, Gert Ed. Series: Lecture notes in computer science ; 01782Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Distributed computing: 13th international symposium, DISC '99, Bratislava, Slovak Republic, September 27-29, 1999 : proceedings by Jayanthi, Prasad Ed. Series: Lecture notes in computer science ; 01693Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Stochastic analysis on large scale interaction systems by Funaki, Tadahisa \| Osada, Hirofumi Eds. Series: Advanced Studies in Pure Mathematics ; 39Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Tokyo ; Mathematical Society of Japan ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:35 Shelf No:34 Call number: 519.216 FUN. Place hold Log in to add tags
			Transcendental aspects of algebraic cycles: proceedings of the Grenoble Summer School, 2001 by Muller-Stach, S \| Peters, C Eds. Series: London mathematical society lecture note series ; 00313Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 40 Call number: 516.3 MUL. Place hold Log in to add tags
			Algorithms--ESA 2004: 12th annual European symposium, Bergen, Norway, September 14-17, 2004 : proceedings by Albers, Susanne \| Radzik, Tomasz Eds. Series: Lecture notes in computer science ; 03221Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS. Place hold Log in to add tags
			Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings by Marcinkowski, Jerzy \| Tarlecki, Andrzej Eds. Series: Lecture notes in computer science ; 03210Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS. Place hold Log in to add tags
			Algebraic methods and q-special functions by Van Diejen, Jan Felipe \| Vinet, Luc Eds. Series: CRM proceedings & lecture notes;v.22Material type: Text;Language: ; Format: print Publication details: Providence, R.I. ; American Mathematical Society ; 1999Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 33, Shelf No: 15 Call number: 517.584 VAN. Place hold Log in to add tags
			Graph structure theory: proceedings of the AMS-IMS-SIAM Joint Summer Research Conference on Graph Minors, held June 22 to July 5, 1991, by Robertson, Neil \| Seymour, Paul D. Series: Contemporary mathematics ; 00147Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 9 Call number: 51 CM. Place hold Log in to add tags
			Mathematical developments arising from linear programming: proceedings of a joint summer research conference held at Bowdoin College, June 25-July 1, 1988 by Lagarias, Jeffrey C \| Todd, Michael J. Series: Contemporary mathematics ; 00114Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 8 Call number: 51 CM. Place hold Log in to add tags
			Finite geometries and combinatorial designs: proceedings of the AMS Special Session in Finite Geometries and Combinatorial Designs, held October 29-November 1, 1987 by Kramer, Earl S \| Magliveras, Spyros S. Eds. Series: Contemporary mathematics ; 00111Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 8 Call number: 51 CM. Place hold Log in to add tags
			Proceedings of the International Conference on Algebra dedicated to the memory of A.I. Malcev. by Bokut�, L. A \| Ershov, Yurii Leonidovich \| Kostrikin, A. I., Eds. Series: Contemporary mathematics ; 00131Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1992Availability: Items available for loan: IMSc Library (3). Location(s): First Floor, Rack No: 26, Shelf No: 8 Call number: 51 CM. Place hold Log in to add tags
			Algebraic K-theory: conference on algebraic K-theory : September 4-8, 1995, the Adam Mickiewicz University, Pozn�n, Poland by Banaszak, Grzegorz \| Gajda, Wojciech \| Kraso�n, Piotr Eds. Series: Contemporary mathematics ; 00199Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 10 Call number: 51 CM. Place hold Log in to add tags
			Mathematical hierarchies and biology DIMACS workshop, November 13-15, 1996 by Mirkin, Boris [et al] Eds. Series: DIMACS series in disc. maths and theo. computer sc.; v. 37Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 44 Call number: 519.17 MIR. Place hold Log in to add tags
			Network design: connectivity and facilities location : DIMACS Workshop, April 28-30, 1997 by Pardalos, Panos M \| Du, Dingzhu. Eds. Series: DIMACS series in disc. maths and theo. computer sc.; v. 40Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 14 Call number: 681.3 PAR. Place hold Log in to add tags

			Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings by Gottlob, Georg \| Leitsch, Alexander \| Mundici, Daniele Eds. Series: Lecture notes in computer science ; 01289Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS. Place hold Log in to add tags
			Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings by Gottlob, Georg \| Grandjean, Etienne \| Seyr, Katrin Eds. Series: Lecture notes in computer science ; 01584Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS. Place hold Log in to add tags
			Coding, cryptography, and combinatorics by Feng, Keqin \| Niederreiter, Harald \| Xing, Chaoping Eds. Series: Progress in computer science and applied logic; 23Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkh�user ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 20 Call number: 511 FEN. Place hold Log in to add tags
			Morphogenesis and pattern formation in biological systems experiments and models by Sekimura, T [et al] Eds. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Tokyo ; Springer ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 39 Call number: 574 SEK. Place hold Log in to add tags
			Application of econophysics proceedings of the Second Nikkei Econophysics Symposium by Takayasu, Hideki Ed. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Tokyo ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 38 Call number: 53:330 TAK. Place hold Log in to add tags
			Typed lambda calculi and applications: 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings by Girard, Jean-Yves Ed. Series: Lecture notes in computer science ; 01581Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin, New York : ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS. Place hold Log in to add tags
			Programming languages and systems: 9th European Symposium on Programming, ESOP 2000, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings by Smolka, Gert Ed. Series: Lecture notes in computer science ; 01782Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Distributed computing: 13th international symposium, DISC '99, Bratislava, Slovak Republic, September 27-29, 1999 : proceedings by Jayanthi, Prasad Ed. Series: Lecture notes in computer science ; 01693Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Stochastic analysis on large scale interaction systems by Funaki, Tadahisa \| Osada, Hirofumi Eds. Series: Advanced Studies in Pure Mathematics ; 39Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Tokyo ; Mathematical Society of Japan ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:35 Shelf No:34 Call number: 519.216 FUN. Place hold Log in to add tags
			Transcendental aspects of algebraic cycles: proceedings of the Grenoble Summer School, 2001 by Muller-Stach, S \| Peters, C Eds. Series: London mathematical society lecture note series ; 00313Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 40 Call number: 516.3 MUL. Place hold Log in to add tags
			Algorithms--ESA 2004: 12th annual European symposium, Bergen, Norway, September 14-17, 2004 : proceedings by Albers, Susanne \| Radzik, Tomasz Eds. Series: Lecture notes in computer science ; 03221Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS. Place hold Log in to add tags
			Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings by Marcinkowski, Jerzy \| Tarlecki, Andrzej Eds. Series: Lecture notes in computer science ; 03210Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS. Place hold Log in to add tags
			Algebraic methods and q-special functions by Van Diejen, Jan Felipe \| Vinet, Luc Eds. Series: CRM proceedings & lecture notes;v.22Material type: Text;Language: ; Format: print Publication details: Providence, R.I. ; American Mathematical Society ; 1999Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 33, Shelf No: 15 Call number: 517.584 VAN. Place hold Log in to add tags
			Graph structure theory: proceedings of the AMS-IMS-SIAM Joint Summer Research Conference on Graph Minors, held June 22 to July 5, 1991, by Robertson, Neil \| Seymour, Paul D. Series: Contemporary mathematics ; 00147Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 9 Call number: 51 CM. Place hold Log in to add tags
			Mathematical developments arising from linear programming: proceedings of a joint summer research conference held at Bowdoin College, June 25-July 1, 1988 by Lagarias, Jeffrey C \| Todd, Michael J. Series: Contemporary mathematics ; 00114Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 8 Call number: 51 CM. Place hold Log in to add tags
			Finite geometries and combinatorial designs: proceedings of the AMS Special Session in Finite Geometries and Combinatorial Designs, held October 29-November 1, 1987 by Kramer, Earl S \| Magliveras, Spyros S. Eds. Series: Contemporary mathematics ; 00111Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 8 Call number: 51 CM. Place hold Log in to add tags
			Proceedings of the International Conference on Algebra dedicated to the memory of A.I. Malcev. by Bokut�, L. A \| Ershov, Yurii Leonidovich \| Kostrikin, A. I., Eds. Series: Contemporary mathematics ; 00131Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1992Availability: Items available for loan: IMSc Library (3). Location(s): First Floor, Rack No: 26, Shelf No: 8 Call number: 51 CM. Place hold Log in to add tags
			Algebraic K-theory: conference on algebraic K-theory : September 4-8, 1995, the Adam Mickiewicz University, Pozn�n, Poland by Banaszak, Grzegorz \| Gajda, Wojciech \| Kraso�n, Piotr Eds. Series: Contemporary mathematics ; 00199Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 10 Call number: 51 CM. Place hold Log in to add tags
			Mathematical hierarchies and biology DIMACS workshop, November 13-15, 1996 by Mirkin, Boris [et al] Eds. Series: DIMACS series in disc. maths and theo. computer sc.; v. 37Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 44 Call number: 519.17 MIR. Place hold Log in to add tags
			Network design: connectivity and facilities location : DIMACS Workshop, April 28-30, 1997 by Pardalos, Panos M \| Du, Dingzhu. Eds. Series: DIMACS series in disc. maths and theo. computer sc.; v. 40Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 14 Call number: 681.3 PAR. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Places

Topics

Your search returned 1041 results.