Your search returned 2372 results.

Not what you expected? Check for suggestions
BOOKS
Topics in optimal transportation

by Villani, Cedric.

Series: Graduate studies in mathematics ; 00058.1Edition: IndianMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence ; American Mathematical Society ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:3 Call number: 519.7 VIL.

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Optimal Urban Networks via Mass Transportation [electronic resource] / by Giuseppe Buttazzo, Aldo Pratelli, Eugene Stepanov, Sergio Solimini.

by Buttazzo, Giuseppe [author.] | Pratelli, Aldo [author.] | Stepanov, Eugene [author.] | Solimini, Sergio [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1961Source: 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): .

Place hold Log in to add tags
E-BOOKS
Nonlinear Optimization [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 1-7, 2007 / by Immanuel M. Bomze, Vladimir F. Demyanov, Roger Fletcher, Tamás Terlaky ; edited by Gianni Di Pillo, Fabio Schoen.

by Bomze, Immanuel M [author.] | Demyanov, Vladimir F [author.] | Fletcher, Roger [author.] | Terlaky, Tamás [author.] | Di Pillo, Gianni [editor.] | Schoen, Fabio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1989Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Factors and Factorizations of Graphs [electronic resource] : Proof Techniques in Factor Theory / by Jin Akiyama, Mikio Kano.

by Akiyama, Jin [author.] | Kano, Mikio [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 2031Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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 Cray X-MP/Model 24 [electronic resource] : A Case Study in Pipelined Architecture and Vector Processing / by Kay A. Robbins, Steven Robbins.

by Robbins, Kay A [author.] | Robbins, Steven [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 374Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1989Online 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
Software Engineering Education [electronic resource] : SEI Conference 1990 Pittsburgh, Pennsylvania, USA, April 2–3, 1990 Proceedings / edited by Lionel E. Deimel.

by Deimel, Lionel E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 423Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online 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
Mathematical Foundations of Programming Semantics [electronic resource] : 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings / edited by M. Main, A. Melton, M. Mislove, D. Schmidt.

by Main, M [editor.] | Melton, A [editor.] | Mislove, M [editor.] | Schmidt, D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 442Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online 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
Fault-Tolerant Distributed Computing [electronic resource] / edited by Barbara Simons, Alfred Spector.

by Simons, Barbara [editor.] | Spector, Alfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 448Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online 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
Computing in the 90's [electronic resource] : The First Great Lakes Computer Science Conference Kalamazoo, Michigan, USA, October 18–20, 1989 Proceedings / edited by Naveed A. Sherwani, Elise Doncker, John A. Kapenga.

by Sherwani, Naveed A [editor.] | Doncker, Elise [editor.] | Kapenga, John A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 507Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1991Online 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
Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Hung, Mizuhito Ogawa.

by Hung, Dang [editor.] | Ogawa, Mizuhito [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8172Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
E-BOOKS
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Wyk.

by Erwig, Martin [editor.] | Paige, Richard F [editor.] | Wyk, Eric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8225Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
E-BOOKS
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay.

by Bertacco, Valeria [editor.] | Legay, Axel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8244Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
E-BOOKS
Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan.

by Shan, Chung-chieh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8301Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
E-BOOKS
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish.

by Gonthier, Georges [editor.] | Norrish, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8307Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
E-BOOKS
Progress in Artificial Intelligence [electronic resource] : 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003. Proceedings / edited by Fernando Moura Pires, Salvador Abreu.

by Pires, Fernando Moura [editor.] | Abreu, Salvador [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2902Source: 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
E-BOOKS
Large-Scale Scientific Computing [electronic resource] : 4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov.

by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2907Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
High Performance Computing - HiPC 2003 [electronic resource] : 10th International Conference, Hyderabad, India, December 17-20, 2003. Proceedings / edited by Timothy Mark Pinkston, Viktor K. Prasanna.

by Pinkston, Timothy Mark [editor.] | Prasanna, Viktor K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2913Source: 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
E-BOOKS
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science [electronic resource] 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings / edited by Paritosh K. Pandya, Jaikumar Radhakrishnan.

by Pandya, Paritosh K | Radhakrishnan, Jaikumar.

Series: Material type: Text Text Language: English Publication details: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha