|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathematical Foundations of Computer Science 2009 [electronic resource] : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings / edited by Rastislav Královič, Damian Niwiński. by Královič, Rastislav [editor.] | Niwiński, Damian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5734Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; 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): .
|
|
|
|
|
|
|
|
|
|
Information Processing in Medical Imaging [electronic resource] : 18th International Conference, IPMI 2003, Ambleside, UK, July 20-25, 2003. Proceedings / edited by Chris Taylor, J. Alison Noble. by Taylor, Chris [editor.] | Noble, J. Alison [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2732Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Political geography : world-economy, nation-state, and locality by Flint, Colin | Taylor, Peter J. Edition: Seventh editionMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: London Routledge 2018Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 4, Shelf No: 3 Call number: 338 FLI.
|
|
|
|
|
|
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. by Halldórsson, Magnús M [editor.] | Iwama, Kazuo [editor.] | Kobayashi, Naoki [editor.] | Speckmann, Bettina [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9134 | Lecture Notes in Computer Science ; 9134Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Gems in experimental mathematics : [electronic resource] AMS Special Session, Experimental Mathematics, January 5, 2009, Washington, DC / Tewodros Amdeberhan, Luis A. Medina, Victor H. Moll, editors. by AMS Special Session on Experimental Mathematics (2009 : Washington, D.C.) | Amdeberhan, Tewodros, 1971- | Medina, Luis A, 1981- | Moll, Victor H, 1956- | American Mathematical Society. Series: Contemporary mathematics (American Mathematical Society) ; v. 517.Material type: Text;Language: English; Format:
available online
; 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): .
|
|
|
|
|
Advances in Intelligent Data Analysis VII [electronic resource] : 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007. Proceedings / edited by Michael R. Berthold, John Shawe-Taylor, Nada Lavrač. by R. Berthold, Michael [editor.] | Shawe-Taylor, John [editor.] | Lavrač, Nada [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4723Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Geometry and topology, Aarhus : [electronic resource] conference on geometry and topology, August 10-16, 1998, Aarhus University, Aarhus, Denmark / Karsten Grove, Ib Henning Madsen, Erik Kj�r Pedersen, editors. by Grove, Karsten | Madsen, I. H. (Ib Henning), 1942- | Pedersen, Erik Kj�r, 1946-. Series: Contemporary mathematics (American Mathematical Society) ; v. 258.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2000Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Banach algebras and their applications : [electronic resource] Sixteenth International Conference on Banach Algebras, University of Alberta in Edmonton, Canada, July 27-August 9, 2003 / Anthony To-Ming Lau, Volker Runde, editors. by International Conference on Banach Algebras (16th : 2003 : University of Alberta in Edmonton) | Lau, Anthony To-Ming | Runde, Volker. Series: Contemporary mathematics (American Mathematical Society) ; v. 363.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2004Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler. by Bouajjani, Ahmed [editor.] | Maler, Oded [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5643Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Numerical Software with Result Verification [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers / edited by René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther. by Alt, René [editor.] | Frommer, Andreas [editor.] | Kearfott, R. Baker [editor.] | Luther, Wolfram [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2991Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Control methods in PDE-dynamical systems : [electronic resource] AMS-IMS-SIAM Joint Summer Research Conference, July 3-7, 2005, Snowbird, Utah / Fabio Ancona ... [et al.], editors. by AMS-IMS-SIAM Joint Summer Research Conference on Control Methods in PDE-Dynamical Systems (2005 : Snowbird, Utah) | Ancona, Fabio, 1964-. Series: Contemporary mathematics (American Mathematical Society) ; v. 426.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2007Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
