|
|
|
Automata, Languages and Programming [electronic resource] : 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings / edited by Ugo Montanari, José D. P. Rolim, Emo Welzl. by Montanari, Ugo [editor.] | Rolim, José D. P [editor.] | Welzl, Emo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1853Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz. by Aceto, Luca [editor.] | Damgård, Ivan [editor.] | Goldberg, Leslie Ann [editor.] | Halldórsson, Magnús M [editor.] | Ingólfsdóttir, Anna [editor.] | Walukiewicz, Igor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5126Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings / edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle. by Ambos-Spies, Klaus [editor.] | Löwe, Benedikt [editor.] | Merkle, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5635Source: 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): .
|
|
|
|
Principles of Distributed Systems [electronic resource] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings / edited by Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah. by Lu, Chenyang [editor.] | Masuzawa, Toshimitsu [editor.] | Mosbah, Mohamed [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6490Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
The Semantic Web – ISWC 2013 [electronic resource] : 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I / edited by Harith Alani, Lalana Kagal, Achille Fokoue, Paul Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha Noy, Chris Welty, Krzysztof Janowicz. by Alani, Harith [editor.] | Kagal, Lalana [editor.] | Fokoue, Achille [editor.] | Groth, Paul [editor.] | Biemann, Chris [editor.] | Parreira, Josiane Xavier [editor.] | Aroyo, Lora [editor.] | Noy, Natasha [editor.] | Welty, Chris [editor.] | Janowicz, Krzysztof [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8218Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Perspectives on quantization : [electronic resource] proceedings of a 1996 AMS-IMS-SIAM Joint Summer Research Conference, July 7-11, 1996, Mt. Holyoke College / Lewis A. Coburn, Marc A. Rieffel, editors. by AMS-IMS-SIAM Joint Summer Research Conference (1996 : Mt. Holyoke College) | Coburn, Lewis A, 1940- | Rieffel, Marc A. (Marc Aristide), 1937-. Series: Contemporary mathematics (American Mathematical Society) ; v. 214.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1998Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Quadratic forms and their applications : [electronic resource] proceedings of the Conference on Quadratic Forms and Their Applications, July 5-9, 1999, University College Dublin / Eva Bayer-Fluckiger, David Lewis, Andrew Ranicki, editors. by Conference on Quadratic Forms and Their Applications (1999 : University College Dublin) | Bayer-Fluckiger, Eva, 1951- | Lewis, David | Ranicki, Andrew, 1948-. Series: Contemporary mathematics (American Mathematical Society) ; v. 272.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): .
|
|
|
|
Algebraic geometry, Seattle 2005 : [electronic resource] 2005 Summer Research Institute, July 25-August 12, 2005, University of Washington, Seattle, Washington / D. Abramovich ... [et al.], editors. by Summer Research Institute on Algebraic Geometry (2005 : Seattle, Wash.) | Abramovich, D. (Dan). Series: Proceedings of symposia in pure mathematics ; v. 80.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2009Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Simulated Evolution and Learning [electronic resource] : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings / edited by Xiaodong Li, Michael Kirley, Mengjie Zhang, David Green, Vic Ciesielski, Hussein Abbass, Zbigniew Michalewicz, Tim Hendtlass, Kalyanmoy Deb, Kay Chen Tan, Jürgen Branke, Yuhui Shi. by Li, Xiaodong [editor.] | Kirley, Michael [editor.] | Zhang, Mengjie [editor.] | Green, David [editor.] | Ciesielski, Vic [editor.] | Abbass, Hussein [editor.] | Michalewicz, Zbigniew [editor.] | Hendtlass, Tim [editor.] | Deb, Kalyanmoy [editor.] | Tan, Kay Chen [editor.] | Branke, Jürgen [editor.] | Shi, Yuhui [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5361Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Randomization and Approximation Techniques in Computer Science [electronic resource] : Second International Workshop, RANDOM’98 Barcelona, Spain, October 8–10, 1998 Proceedings / edited by Michael Luby, José D. P. Rolim, Maria Serna. by Luby, Michael [editor.] | Rolim, José D. P [editor.] | Serna, Maria [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1518Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical Software – ICMS 2010 [electronic resource] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings / edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama. by Fukuda, Komei [editor.] | Hoeven, Joris van der [editor.] | Joswig, Michael [editor.] | Takayama, Nobuki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6327Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / edited by Lennart Beringer, Amy Felty. by Beringer, Lennart [editor.] | Felty, Amy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7406Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Algorithms and Computation [electronic resource] : 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, D. T. Lee, Shang-Hua Teng. by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Lee, D. T [editor.] | Teng, Shang-Hua [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1969Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|