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

Your search returned 786 results.

Not what you expected? Check for suggestions

			CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter. by Börger, Egon [editor.] \| Büning, Hans Kleine [editor.] \| Richter, Michael M [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 329Source: 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): . Place hold Log in to add tags
			Advances in Cryptology — EUROCRYPT ’91 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Brighton, UK, April 8–11, 1991 Proceedings / edited by Donald W. Davies. by Davies, Donald W [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 547Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 1992 [electronic resource] : 17th International Symposium Prague, Czechoslovakia, August 24–28, 1992 Proceedings / edited by Ivan M. Havel, Václav Koubek. by Havel, Ivan M [editor.] \| Koubek, Václav [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 629Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 1993 [electronic resource] : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings / edited by Andrzej M. Borzyszkowski, Stefan Sokołowski. by Borzyszkowski, Andrzej M [editor.] \| Sokołowski, Stefan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 711Source: 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): . Place hold Log in to add tags
			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): . Place hold Log in to add tags
			Algorithms and Computation [electronic resource] : 4th International Symposium, ISAAC '93 Hong Kong, December 15–17, 1993 Proceedings / edited by K. W. Ng, P. Raghavan, N. V. Balasubramanian, F. Y. L. Chin. by Ng, K. W [editor.] \| Raghavan, P [editor.] \| Balasubramanian, N. V [editor.] \| Chin, F. Y. L [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 762Source: 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): . Place hold Log in to add tags
			Integer Programming and Combinatorial Optimization [electronic resource] : 5th International IPCO Conference Vancouver, British Columbia, Canada, June 3–5, 1996 Proceedings / edited by William H. Cunningham, S. Thomas McCormick, Maurice Queyranne. by Cunningham, William H [editor.] \| McCormick, S. Thomas [editor.] \| Queyranne, Maurice [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1084Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Automata, Languages and Programming [electronic resource] : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings / edited by Friedhelm Meyer, Burkhard Monien. by Meyer, Friedhelm [editor.] \| Monien, Burkhard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1099Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Automata, Languages and Programming [electronic resource] : 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings / edited by Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela. by Degano, Pierpaolo [editor.] \| Gorrieri, Roberto [editor.] \| Marchetti-Spaccamela, Alberto [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1256Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			SOFSEM 2007: Theory and Practice of Computer Science [electronic resource] : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings / edited by Jan Leeuwen, Giuseppe F. Italiano, Wiebe Hoek, Christoph Meinel, Harald Sack, František Plášil. by Leeuwen, Jan [editor.] \| Italiano, Giuseppe F [editor.] \| Hoek, Wiebe [editor.] \| Meinel, Christoph [editor.] \| Sack, Harald [editor.] \| Plášil, František [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4362Source: 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
			Algorithms — ESA '97 [electronic resource] : 5th Annual European Symposium Graz, Austria, September 15–17, 1997 Proceedings / edited by Rainer Burkard, Gerhard Woeginger. by Burkard, Rainer [editor.] \| Woeginger, Gerhard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1284Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz. by Aceto, Luca [editor.] \| Damgård, Ivan [editor.] \| Goldberg, Leslie Ann [editor.] \| Halldórsson, Magnús M [editor.] \| Ingólfsdóttir, Anna [editor.] \| Walukiewicz, Igor [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5126Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Rough Sets and Knowledge Technology [electronic resource] : Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007. Proceedings / edited by JingTao Yao, Pawan Lingras, Wei-Zhi Wu, Marcin Szczuka, Nick J. Cercone, Dominik Ślȩzak. by Yao, JingTao [editor.] \| Lingras, Pawan [editor.] \| Wu, Wei-Zhi [editor.] \| Szczuka, Marcin [editor.] \| Cercone, Nick J [editor.] \| Ślȩzak, Dominik [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4481Source: 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
			Theory and Applications of Models of Computation [electronic resource] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / edited by Jianer Chen, S. Barry Cooper. by Chen, Jianer [editor.] \| Cooper, S. Barry [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5532Source: 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
			Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I / edited by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas. by Albers, Susanne [editor.] \| Marchetti-Spaccamela, Alberto [editor.] \| Matias, Yossi [editor.] \| Nikoletseas, Sotiris [editor.] \| Thomas, Wolfgang [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5555Source: 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
			Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings / edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle. by Ambos-Spies, Klaus [editor.] \| Löwe, Benedikt [editor.] \| Merkle, Wolfgang [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5635Source: 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
			Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-19, 2009 Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua. by Huang, De-Shuang [editor.] \| Jo, Kang-Hyun [editor.] \| Lee, Hong-Hee [editor.] \| Kang, Hee-Jun [editor.] \| Bevilacqua, Vitoantonio [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5755Source: 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
			Graph-Theoretic Concepts in Computer Science [electronic resource] : 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers / edited by Andreas Brandstädt, Klaus Jansen, Rüdiger Reischuk. by Brandstädt, Andreas [editor.] \| Jansen, Klaus [editor.] \| Reischuk, Rüdiger [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8165Source: 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
			No cover image available Randomized algorithms in some commutative and noncommutative domains by Pushkar S. Joglekar [author]. Material type: Text Publication details: 2011Dissertation Note: 2011 ; Ph.D ; HBNIAdvisor(s): Arvind, V..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th48 . Place hold Log in to add tags
			Handbook of Teichmüller Theory, Volume I [electronic resource] / Athanase Papadopoulos by Papadopoulos, Athanase [editor.]. Series: IRMA Lectures in Mathematics and Theoretical Physics (IRMA) ; 11Material type: Text;Language: English; Format: available online ; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2007Online access: Click here to access online \| cover image Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

First
Previous
1
2
3
4
5
6
7
8
9
10
Next
Last

			CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter. by Börger, Egon [editor.] \| Büning, Hans Kleine [editor.] \| Richter, Michael M [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 329Source: 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): . Place hold Log in to add tags
			Advances in Cryptology — EUROCRYPT ’91 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Brighton, UK, April 8–11, 1991 Proceedings / edited by Donald W. Davies. by Davies, Donald W [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 547Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 1992 [electronic resource] : 17th International Symposium Prague, Czechoslovakia, August 24–28, 1992 Proceedings / edited by Ivan M. Havel, Václav Koubek. by Havel, Ivan M [editor.] \| Koubek, Václav [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 629Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 1993 [electronic resource] : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings / edited by Andrzej M. Borzyszkowski, Stefan Sokołowski. by Borzyszkowski, Andrzej M [editor.] \| Sokołowski, Stefan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 711Source: 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): . Place hold Log in to add tags
			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): . Place hold Log in to add tags
			Algorithms and Computation [electronic resource] : 4th International Symposium, ISAAC '93 Hong Kong, December 15–17, 1993 Proceedings / edited by K. W. Ng, P. Raghavan, N. V. Balasubramanian, F. Y. L. Chin. by Ng, K. W [editor.] \| Raghavan, P [editor.] \| Balasubramanian, N. V [editor.] \| Chin, F. Y. L [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 762Source: 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): . Place hold Log in to add tags
			Integer Programming and Combinatorial Optimization [electronic resource] : 5th International IPCO Conference Vancouver, British Columbia, Canada, June 3–5, 1996 Proceedings / edited by William H. Cunningham, S. Thomas McCormick, Maurice Queyranne. by Cunningham, William H [editor.] \| McCormick, S. Thomas [editor.] \| Queyranne, Maurice [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1084Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Automata, Languages and Programming [electronic resource] : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings / edited by Friedhelm Meyer, Burkhard Monien. by Meyer, Friedhelm [editor.] \| Monien, Burkhard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1099Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Automata, Languages and Programming [electronic resource] : 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings / edited by Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela. by Degano, Pierpaolo [editor.] \| Gorrieri, Roberto [editor.] \| Marchetti-Spaccamela, Alberto [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1256Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			SOFSEM 2007: Theory and Practice of Computer Science [electronic resource] : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings / edited by Jan Leeuwen, Giuseppe F. Italiano, Wiebe Hoek, Christoph Meinel, Harald Sack, František Plášil. by Leeuwen, Jan [editor.] \| Italiano, Giuseppe F [editor.] \| Hoek, Wiebe [editor.] \| Meinel, Christoph [editor.] \| Sack, Harald [editor.] \| Plášil, František [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4362Source: 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
			Algorithms — ESA '97 [electronic resource] : 5th Annual European Symposium Graz, Austria, September 15–17, 1997 Proceedings / edited by Rainer Burkard, Gerhard Woeginger. by Burkard, Rainer [editor.] \| Woeginger, Gerhard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1284Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz. by Aceto, Luca [editor.] \| Damgård, Ivan [editor.] \| Goldberg, Leslie Ann [editor.] \| Halldórsson, Magnús M [editor.] \| Ingólfsdóttir, Anna [editor.] \| Walukiewicz, Igor [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5126Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Rough Sets and Knowledge Technology [electronic resource] : Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007. Proceedings / edited by JingTao Yao, Pawan Lingras, Wei-Zhi Wu, Marcin Szczuka, Nick J. Cercone, Dominik Ślȩzak. by Yao, JingTao [editor.] \| Lingras, Pawan [editor.] \| Wu, Wei-Zhi [editor.] \| Szczuka, Marcin [editor.] \| Cercone, Nick J [editor.] \| Ślȩzak, Dominik [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4481Source: 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
			Theory and Applications of Models of Computation [electronic resource] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / edited by Jianer Chen, S. Barry Cooper. by Chen, Jianer [editor.] \| Cooper, S. Barry [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5532Source: 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
			Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I / edited by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas. by Albers, Susanne [editor.] \| Marchetti-Spaccamela, Alberto [editor.] \| Matias, Yossi [editor.] \| Nikoletseas, Sotiris [editor.] \| Thomas, Wolfgang [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5555Source: 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
			Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings / edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle. by Ambos-Spies, Klaus [editor.] \| Löwe, Benedikt [editor.] \| Merkle, Wolfgang [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5635Source: 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
			Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-19, 2009 Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua. by Huang, De-Shuang [editor.] \| Jo, Kang-Hyun [editor.] \| Lee, Hong-Hee [editor.] \| Kang, Hee-Jun [editor.] \| Bevilacqua, Vitoantonio [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5755Source: 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
			Graph-Theoretic Concepts in Computer Science [electronic resource] : 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers / edited by Andreas Brandstädt, Klaus Jansen, Rüdiger Reischuk. by Brandstädt, Andreas [editor.] \| Jansen, Klaus [editor.] \| Reischuk, Rüdiger [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8165Source: 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
			No cover image available Randomized algorithms in some commutative and noncommutative domains by Pushkar S. Joglekar [author]. Material type: Text Publication details: 2011Dissertation Note: 2011 ; Ph.D ; HBNIAdvisor(s): Arvind, V..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th48 . Place hold Log in to add tags
			Handbook of Teichmüller Theory, Volume I [electronic resource] / Athanase Papadopoulos by Papadopoulos, Athanase [editor.]. Series: IRMA Lectures in Mathematics and Theoretical Physics (IRMA) ; 11Material type: Text;Language: English; Format: available online ; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2007Online access: Click here to access online \| cover image Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 786 results.