Your search returned 154 results.

Not what you expected? Check for suggestions
BOOKS
Recursion Theory : its Generalisations and Applications Proceedings of Logic Colloquium 79, Leeds, August 1979

by Drake, F.R | Wainer, S.S.

Series: London mathematical society lecture note series ; 00045Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge Cambridge University Press 1980Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DRA.

E-BOOKS
Optimal Transportation Networks [electronic resource] : Models and Theory / by Marc Bernot, Vicent Caselles, Jean-Michel Morel.

by Bernot, Marc [author.] | Caselles, Vicent [author.] | Morel, Jean-Michel [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1955Source: 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
Combinatorial Optimization [electronic resource] : Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Como, Italy, August 25–September 2, 1986 / edited by Bruno Simeone.

by Simeone, Bruno [editor.] | SpringerLink (Online service).

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

E-BOOKS
Stability of Queueing Networks [electronic resource] : École d'Été de Probabilités de Saint-Flour XXXVI - 2006 / by Maury Bramson.

by Bramson, Maury [author.] | SpringerLink (Online service).

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

E-BOOKS
Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings / edited by Laurent Michel.

by Michel, Laurent [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9075 | Lecture Notes in Computer Science ; 9075Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings / edited by Roman Barták, Michela Milano.

by Barták, Roman [editor.] | Milano, Michela [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithms for Parallel Polygon Rendering [electronic resource] / edited by T. Theoharis.

by Theoharis, T [editor.] | SpringerLink (Online service).

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

E-BOOKS
Management of Convergence Networks and Services [electronic resource] : 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006 Busan, Korea, September 27-29, 2006 Proceedings / edited by Young-Tak Kim, Makoto Takano.

by Kim, Young-Tak [editor.] | Takano, Makoto [editor.] | SpringerLink (Online service).

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

E-BOOKS
Recursion Theory, its Generalisations and Applications / Edited by F. R. Drake, S. S. Wainer.

by Drake, F. R [editor of compilation.] | Wainer, S. S [editor of compilation.].

Series: London Mathematical Society Lecture Note Series ; no. 45Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1980Other title: Recursion Theory, its Generalisations & Applications.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Free Loop Spaces in Geometry and Topology [electronic resource] : Including the monograph Symplectic cohomology and Viterbo’s theorem by Mohammed Abouzaid / Janko Latschev, Alexandru Oancea

by Latschev, Janko [author.] | Latschev, Janko [author.] | Oancea, Alexandru [author.].

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

E-BOOKS
Advances in Information Retrieval [electronic resource] : 27th European Conference on IR Research, ECIR 2005, Santiago de Compostela, Spain, March 21-23, 2005. Proceedings / edited by David E. Losada, Juan M. Fernández-Luna.

by Losada, David E [editor.] | Fernández-Luna, Juan M [editor.] | SpringerLink (Online service).

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

E-BOOKS
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings / edited by Laurent Perron, Michael A. Trick.

by Perron, Laurent [editor.] | Trick, Michael A [editor.] | SpringerLink (Online service).

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

E-BOOKS
Principles and Practice of Constraint Programming – CP 2007 [electronic resource] : 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings / edited by Christian Bessière.

by Bessière, Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4741Source: 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
Practice and Theory of Automated Timetabling VI [electronic resource] : 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers / edited by Edmund K. Burke, Hana Rudová.

by Burke, Edmund K [editor.] | Rudová, Hana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3867Source: 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
Principles and Practice of Constraint Programming – CP 2010 [electronic resource] : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings / edited by David Cohen.

by Cohen, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6308Source: 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
Augmented and Virtual Reality [electronic resource] : Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings / edited by Lucio Tommaso De Paolis, Antonio Mongelli.

by De Paolis, Lucio Tommaso [editor.] | Mongelli, Antonio [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9254 | Lecture Notes in Computer Science ; 9254Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

BOOKS
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.

E-BOOKS
Queueing Networks with Discrete Time Scale [electronic resource] : Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks / by Hans Daduna.

by Daduna, Hans [author.] | SpringerLink (Online service).

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

E-BOOKS
Electronic Government [electronic resource] : Second International Conference, EGOV 2003, Prague, Czech Republic, September 1-5, 2003. Proceedings / edited by Roland Traunmüller.

by Traunmüller, Roland [editor.] | SpringerLink (Online service).

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

THESIS & DISSERTATION
Investigating violations of some fundamental symmetries of nature via Dalitz plots and Dalitz prisms

by DibyaKrupa Sahoo [author].

Material type: Text Text Publication details: 2015Dissertation Note: 2015 ; Ph.D ; HBNIAdvisor(s): Rahul Sinha.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th88 .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha