Your search returned 30 results.

Not what you expected? Check for suggestions
THESIS & DISSERTATION
No cover image available
Counter automata and classical logics for data words

by Amaldev Manuel [author].

Material type: Text 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
THESIS & DISSERTATION
No cover image available
Control and synthesis of open reactive systems

by Madhusudan, P [author].

Material type: Text Text Publication details: 2001Dissertation Note: 2001 ; Ph.D ; University of MadrasAdvisor(s): Ramanujam, R..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: UNM Th-70 .

Place hold Log in to add tags
BOOKS
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings /

by Manindra Agrawal | Agrawal, Manindra | Seth, Anil.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS.

Place hold Log in to add tags
E-BOOKS
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 18th Conference, Chennai, India, December 17-19, 1998. Proceedings / edited by Vikraman Arvind, Sundar Ramanujam.

by Arvind, Vikraman [editor.] | Ramanujam, Sundar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1530Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
THESIS & DISSERTATION
No cover image available
Space efficient graph algorithms

by Sankar Deep Chakraborty [author].

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: 2018Dissertation Note: Ph.D HBNIAdvisor(s): Venkatesh Raman.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th134.

Place hold Log in to add tags
E-BOOKS
Space-Efficient Data Structures, Streams, and Algorithms [electronic resource] : Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday / edited by Andrej Brodnik, Alejandro López-Ortiz, Venkatesh Raman, Alfredo Viola.

by Brodnik, Andrej [editor.] | López-Ortiz, Alejandro [editor.] | Raman, Venkatesh [editor.] | Viola, Alfredo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8066Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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
THESIS & DISSERTATION
No cover image available
Parameterizing from the extremes: Feasible parameterizations of some NP-Optimization problems

by Somnath Sikdar [author].

Material type: Text Text Publication details: 2010Dissertation Note: 2010 ; Ph.D ; HBNIAdvisor(s): Venkatesh Raman.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th 22 .

Place hold Log in to add tags
E-BOOKS
Quasi-One-Dimensional Conductors II [electronic resource] : Proceedings of the International Conference Dubrovnik, SR Croatia, SFR Yugoslavia, 1978 / edited by Slaven Barišić, Aleksa Bjeliš, John Robert Cooper, Boran Leontić.

by Barišić, Slaven [editor.] | Bjeliš, Aleksa [editor.] | Cooper, John Robert [editor.] | Leontić, Boran [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 96Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Pattern Recognition [electronic resource] : 32nd DAGM Symposium, Darmstadt, Germany, September 22-24, 2010. Proceedings / edited by Michael Goesele, Stefan Roth, Arjan Kuijper, Bernt Schiele, Konrad Schindler.

by Goesele, Michael [editor.] | Roth, Stefan [editor.] | Kuijper, Arjan [editor.] | Schiele, Bernt [editor.] | Schindler, Konrad [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6376Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Artificial Neural Networks and Machine Learning – ICANN 2012 [electronic resource] : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II / edited by Alessandro E. P. Villa, Włodzisław Duch, Péter Érdi, Francesco Masulli, Günther Palm.

by Villa, Alessandro E. P [editor.] | Duch, Włodzisław [editor.] | Érdi, Péter [editor.] | Masulli, Francesco [editor.] | Palm, Günther [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7553Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

Place hold Log in to add tags
E-BOOKS
Complex geometry of groups : [electronic resource] January 5-11, 1998, Olmu�e, Chile / Angel Carocca, V�ictor Gonz�alez-Aguilera, Rub�i E. Rodr�iguez, editors.

by Carocca, Angel, 1965- | Gonz�alez-Aguilera, V�ictor, 1950- | Rodr�iguez, Rub�i E, 1953- | Iberoamerican Congress on Geometry (1st : 1998 : Olmu�e, Chile).

Series: Contemporary mathematics (American Mathematical Society) ; v. 240.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1999Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
No cover image available
Ramanujun 125 : [electronic resource] international conference to commemorate the 125th anniversary of Ramanujan's birth, November 5--7, 2012, University of Florida, Gainesville, Florida / Krishnaswami Alladi, Frank Garvan, Ae Ja Yee, editors.

by Alladi, Krishnaswami [editor of compilation.] | Garvan, Frank (Frank G.), 1955- | Yee, Ae Ja, 1971- [editor of compilation.].

Series: Contemporary mathematics ; v. 627Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [2014]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Algebraic Geometry [electronic resource] : Proceedings of the US-USSR Symposium held in Chicago, June 20–July 14, 1989 / by Spencer Bloch, Igor. V. Dolgachev, William Fulton.

by Bloch, Spencer [author.] | Dolgachev, Igor. V [author.] | Fulton, William [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1479Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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
THESIS & DISSERTATION
No cover image available
Kernels for the F-Deletion Problem

by Neeldhara Misra [author].

Material type: Text Text Publication details: 2012Dissertation Note: 2012 ; Ph.D ; HBNIAdvisor(s): Venkatesh Raman.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th 41 .

Place hold Log in to add tags
E-BOOKS
Algorithms — ESA 2002 [electronic resource] : 10th Annual European Symposium Rome, Italy, September 17–21, 2002 Proceedings / edited by Rolf Möhring, Rajeev Raman.

by Möhring, Rolf [editor.] | Raman, Rajeev [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2461Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
The Rademacher legacy to mathematics : [electronic resource] the centenary conference in honor of Hans Rademacher, July 21-25, 1992, the Pennsylvania State University / George E. Andrews, David M. Bressoud, L. Alayne Parson, editors.

by Rademacher, Hans, 1892-1969 | Andrews, George E, 1938- | Bressoud, David M, 1950- | Parson, L. Alayne, 1947- | Hans Rademacher Centenary Conference (1992 : Pennsylvania State University).

Series: Contemporary mathematics (American Mathematical Society) ; v. 166.Material type: Text Text;Language: English; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1994Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Languages and Compilers for Parallel Computing [electronic resource] : 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / edited by Eduard Ayguadé, Gerald Baumgartner, J. Ramanujam, P. Sadayappan.

by Ayguadé, Eduard [editor.] | Baumgartner, Gerald [editor.] | Ramanujam, J [editor.] | Sadayappan, P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4339Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

Place hold Log in to add tags
E-BOOKS
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings / edited by Manindra Agrawal, Anil Seth.

by Agrawal, Manindra [editor.] | Seth, Anil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2556Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Optical Solitons [electronic resource] : Theoretical and Experimental Challenges / edited by K. Porsezian, V. C. Kuriakose.

by Porsezian, K [editor.] | Kuriakose, V. C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 613Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
THESIS & DISSERTATION
No cover image available
Exact Algorithms for Optimization and parameterized versions of some graph theoretic problems

by Saket Saurabh [author].

Material type: Text Text Publication details: 2008Dissertation Note: 2008 ; Ph.D ; HBNIAdvisor(s): Raman, Venkatesh.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th6.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha