Your search returned 21 results.

Not what you expected? Check for suggestions
E-BOOKS
Séminaire de Probabilités XV 1979/80 [electronic resource] : Avec table générale des exposés de 1966/67 à 1978/79 / edited by Jacques Azéma, Marc Yor.

by Azéma, Jacques [editor.] | Yor, Marc [editor.] | SpringerLink (Online service).

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

E-BOOKS
Information Processing in Medical Imaging [electronic resource] : 17th International Conference, IPMI 2001 Davis, CA, USA, June 18–22, 2001 Proceedings / edited by Michael F. Insana, Richard M. Leahy.

by Insana, Michael F [editor.] | Leahy, Richard M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2082Source: 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
Utility Computing [electronic resource] : 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings / edited by Akhil Sahai, Felix Wu.

by Sahai, Akhil [editor.] | Wu, Felix [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automated Deduction - CADE-17 [electronic resource] : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings / edited by David McAllester.

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

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

BOOKS
Infamous Speeches : from Robespierre to Osama bin Laden

by Blaisdell, Bob.

Series: Dover thrift editionsMaterial type: Text Text;Language: English; Format: print ; Nature of contents: biography; Literary form: Not fiction Language: English Publication details: New Delhi Dover Publications 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 57, Shelf No: 2 Call number: 82-5 BLA.

BOOKS
Hilbert's Tenth Problem : An Introduction to Logic, Number Theory, and Computability,

by Murty, M. Ram | Fodden, Brandon.

Series: Student Mathematical Library ; 88;Language: English Language: English Publication details: Rhode Island American Mathematical Society 2019Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 11 Call number: 512 MUR.

E-BOOKS
Large Scale Management of Distributed Systems [electronic resource] : 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006. Proceedings / edited by Radu State, Sven Meer, Declan O’Sullivan, Tom Pfeifer.

by State, Radu [editor.] | Meer, Sven [editor.] | O’Sullivan, Declan [editor.] | Pfeifer, Tom [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4269Source: 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
Intelligence and Security Informatics: Biosurveillance [electronic resource] : Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007. Proceedings / edited by Daniel Zeng, Ivan Gotham, Ken Komatsu, Cecil Lynch, Mark Thurmond, David Madigan, Bill Lober, James Kvach, Hsinchun Chen.

by Zeng, Daniel [editor.] | Gotham, Ivan [editor.] | Komatsu, Ken [editor.] | Lynch, Cecil [editor.] | Thurmond, Mark [editor.] | Madigan, David [editor.] | Lober, Bill [editor.] | Kvach, James [editor.] | Chen, Hsinchun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4506Source: 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
Ambient Networks [electronic resource] : 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005. Proceedings / edited by Jürgen Schönwälder, Joan Serrat.

by Schönwälder, Jürgen [editor.] | Serrat, Joan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3775Source: 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
Digital Cities [electronic resource] : Technologies, Experiences, and Future Perspectives / edited by Toru Ishida, Katherine Isbister.

by Ishida, Toru [editor.] | Isbister, Katherine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1765Source: 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
Managing Virtualization of Networks and Services [electronic resource] : 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, San José, CA, USA, October 29-31, 2007. Proceedings / edited by Alexander Clemm, Lisandro Zambenedetti Granville, Rolf Stadler.

by Clemm, Alexander [editor.] | Granville, Lisandro Zambenedetti [editor.] | Stadler, Rolf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4785Source: 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
Automated theorem proving : [electronic resource] after 25 years / W.W. Bledsoe and D.W. Loveland, editors.

by Special Session on Automatic Theorem Proving (1983 : Denver, Colo.) | Bledsoe, W. W | Loveland, Donald W | American Mathematical Society.

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

E-BOOKS
Controlled Natural Language [electronic resource] : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings / edited by Brian Davis, Gordon J. Pace, Adam Wyner.

by Davis, Brian [editor.] | Pace, Gordon J [editor.] | Wyner, Adam [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9767 | Lecture Notes in Computer Science ; 9767Edition: 1st ed. 2016.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, 2016Online 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] : 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings / edited by Benyuan Liu, Azer Bestavros, Ding-Zhu Du, Jie Wang.

by Liu, Benyuan [editor.] | Bestavros, Azer [editor.] | Du, Ding-Zhu [editor.] | Wang, Jie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5682Source: 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
Managing Large-Scale Service Deployment [electronic resource] : 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings / edited by Filip Turck, Wolfgang Kellerer, George Kormentzas.

by Turck, Filip [editor.] | Kellerer, Wolfgang [editor.] | Kormentzas, George [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5273Source: 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
Experimental arithmetic, [electronic resource]

by Symposium in Applied Mathematics 15th, Chicago and Atlantic City, 1962. [from old catalog] | American Mathematical Society. [from old catalog].

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

E-BOOKS
Principles and Practice of Constraint Programming — CP '95 [electronic resource] : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings / edited by Ugo Montanari, Francesca Rossi.

by Montanari, Ugo [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service).

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

E-BOOKS
Symposium on Algebraic Topology in Honor of Jose Adem / [electronic resource] [edited by Samuel Gitler].

by Symposium on Algebraic Topology in Honor of Jose Adem (1981 : Centro Vacacional del Seguro Social) | Gitler, Samuel | Adem, Jos�e.

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

E-BOOKS
Topology, geometry, and algebra : [electronic resource] interactions and new directions : Conference on Algebraic Topology in honor of R. James Milgram, August 17-21, 1999, Stanford, California / Alejandro Adem, Gunnar Carlsson, Ralph Cohen, editors.

by Conference on Algebraic Topology in Honor of R. James Milgram (1999 : Stanford, Calif.) | Milgram, R. James | Adem, Alejandro | Carlsson, G. (Gunnar), 1952- | Cohen, Ralph L, 1952-.

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

E-BOOKS
Algebraic and geometric topology / [electronic resource] [edited by R. James Milgram].

by Symposium in Pure Mathematics Stanford University, 1976 | Milgram, R. James | American Mathematical Society.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha