Your search returned 235 results.

Not what you expected? Check for suggestions
E-BOOKS
Rewriting Techniques and Applications [electronic resource] : 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings / edited by Harald Ganzinger.

by Ganzinger, Harald [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithms and Computation [electronic resource] : 8th International Symposium, ISAAC '97 Singapore, December 17–19, 1997 Proceedings / edited by Hon Wai Leong, Hiroshi Imai, Sanjay Jain.

by Leong, Hon Wai [editor.] | Imai, Hiroshi [editor.] | Jain, Sanjay [editor.] | SpringerLink (Online service).

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

E-BOOKS
Graph-Theoretic Concepts in Computer Science [electronic resource] : 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers / edited by Andreas Brandstädt, Dieter Kratsch, Haiko Müller.

by Brandstädt, Andreas [editor.] | Kratsch, Dieter [editor.] | Müller, Haiko [editor.] | SpringerLink (Online service).

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

E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Stefan Kowalewski, Anna Philippou.

by Kowalewski, Stefan [editor.] | Philippou, Anna [editor.] | SpringerLink (Online service).

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

E-BOOKS
Transactions on Computational Science V [electronic resource] : Special Issue on Cognitive Knowledge Representation / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Yingxu Wang, Keith C. C. Chan.

by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | Wang, Yingxu [editor.] | Chan, Keith C. C [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis.

by Abramsky, Samson [editor.] | Gavoille, Cyril [editor.] | Kirchner, Claude [editor.] | Meyer auf der Heide, Friedhelm [editor.] | Spirakis, Paul G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6198Source: 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): .

E-BOOKS
Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Petr Hliněný, Antonín Kučera.

by Hliněný, Petr [editor.] | Kučera, Antonín [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6281Source: 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): .

E-BOOKS
Developments in Language Theory [electronic resource] : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / edited by Marie-Pierre Béal, Olivier Carton.

by Béal, Marie-Pierre [editor.] | Carton, Olivier [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7907Source: 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): .

E-BOOKS
Principles and Practice of Constraint Programming [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings / edited by Christian Schulte.

by Schulte, Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8124Source: 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): .

E-BOOKS
Computational and statistical group theory : [electronic resource] AMS Special Session Geometric Group Theory, April 21-22, 2001, Las Vegas, Nevada, AMS Special Session Computational Group Theory, April 28-29, 2001, Hoboken, New Jersey / Robert Gilman, Vladimir Shpilrain, Alexei G. Myasnikov, editors.

by AMS Special Session Geometric Group Theory (2001 : Las Vegas, Nev.) | Gilman, Robert H, 1942- | Shpilrain, Vladimir, 1960- | Myasnikov, Alexei G, 1955- | AMS Special Session Computational Group Theory (2001 : Hoboken, N.J.).

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

E-BOOKS
Homotopy theory of function spaces and related topics : [electronic resource] Oberwolfach Workshop on Homotopy Theory of Function Spaces and Related Topics, April 5-11, 2009, Mathematisches Forschungsinstitut Oberwolfach, Germany / Yves F�elix, Gregory Lupton, Samuel B. Smith, editors.

by Oberwolfach Workshop on Homotopy Theory of Function Spaces and Related Topics (2009 : Mathematisches Forschungsinstitut Oberwolfach) | F�elix, Y. (Yves) | Lupton, Gregory, 1960- | Smith, Samuel B, 1966-.

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

E-BOOKS
Computational and combinatorial group theory and cryptography : [electronic resource] AMS Special Sessions: Computational Algebra, Groups, and Applications, April 30-May 1, 2011, University of Nevada, Las Vegas, NV, Mathematical Aspects of Cryptography and Cyber Security, September 10-11, 2011, Cornell University, Ithaca, NY / Benjamin Fine, Delaram Kahrobaei, Gerhard Rosenberger, editors.

by Fine, Benjamin, 1948- [editor of compilation.] | Kahrobaei, Delaram, 1975- [editor of compilation.] | Rosenberger, Gerhard [editor of compilation.] | AMS Special Session on Computational Algebra, Groups, and Applications (2011 : University of Nevada) | AMS Special Session on Mathematical Aspects of Cryptography and Cyber Security (2011 : Cornell University).

Series: Contemporary mathematics ; v. 582Material type: Text Text;Language: English; Format: available online remote; 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): .

E-BOOKS
Algebraic and geometric aspects of integrable systems and random matrices : [electronic resource] AMS Special Session, Algebraic and Geometric Aspects of Integrable Systems and Random Matrices, January 6-7, 2012, Boston, MA / Anton Dzhamay, Kenichi Maruno, Virgil U. Pierce, editors.

by AMS Special Session, Algebraic and Geometric Aspects of Integrable Systems and Random Matrices (2012 : Boston, Mass.) | Dzhamay, Anton, 1970- | Maruno, Ken'ichi, 1971- | Pierce, Virgil U, 1976-.

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

THESIS & DISSERTATION
Studies in Loop quantum Cosmology

by Hossain, Golam Mortuza [author].

Material type: Text Text Publication details: 2006Dissertation Note: 2006 ; Ph.D ; University of MadrasAdvisor(s): Kalyana Rama, S..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: UNM TH-84 .

E-BOOKS
Recent Developments in Pseudo-Riemannian Geometry [electronic resource] / Dmitri V. Alekseevsky, Helga Baum

by Alekseevsky, Dmitri V [editor.] | Baum, Helga [editor.].

Series: ESI Lectures in Mathematics and Physics (ESI)Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2008Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics [electronic resource] : International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings / edited by Jan Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito.

by Leeuwen, Jan [editor.] | Watanabe, Osamu [editor.] | Hagiya, Masami [editor.] | Mosses, Peter D [editor.] | Ito, Takayasu [editor.] | SpringerLink (Online service).

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

E-BOOKS
Euro-Par'96 Parallel Processing [electronic resource] : Second International Euro-Par Conference Lyon, France, August 26–29 1996 Proceedings, Volume I / edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert.

by Bougé, Luc [editor.] | Fraigniaud, Pierre [editor.] | Mignotte, Anne [editor.] | Robert, Yves [editor.] | SpringerLink (Online service).

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

E-BOOKS
Wireless Algorithms, Systems, and Applications [electronic resource] : 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings / edited by Xinbing Wang, Rong Zheng, Tao Jing, Kai Xing.

by Wang, Xinbing [editor.] | Zheng, Rong [editor.] | Jing, Tao [editor.] | Xing, Kai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7405Source: 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): .

E-BOOKS
The mathematical legacy of Wilhelm Magnus : [electronic resource] groups, geometry, and special functions : Conference on the Legacy of Wilhelm Magnus, May 1-3, 1992, Polytechnic University, Brooklyn, New York / William Abikoff, Joan S. Birman, Kathryn Kuiken, editors.

by Conference on the Legacy of Wilhelm Magnus (1992 : Brooklyn, New York, N.Y.) | Abikoff, William | Birman, Joan S, 1927- | Kuiken, Kathryn.

Series: Contemporary mathematics (American Mathematical Society) ; v. 169.Material type: Text Text;Language: English; Format: available online remote; 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): .

E-BOOKS
Geometry in mathematical physics and related topics / [electronic resource] Robert Greene, S.T. Yau, editors.

by Greene, Robert Everist, 1943- | Yau, Shing-Tung, 1949- | Summer Research Institute on Differential Geometry (1990 : University of California, Los Angeles).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha