|
|
|
|
|
|
|
Social Robotics [electronic resource] : 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings / edited by Guido Herrmann, Martin J. Pearson, Alexander Lenz, Paul Bremner, Adam Spiers, Ute Leonards. by Herrmann, Guido [editor.] | Pearson, Martin J [editor.] | Lenz, Alexander [editor.] | Bremner, Paul [editor.] | Spiers, Adam [editor.] | Leonards, Ute [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8239Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Text, Speech and Dialogue [electronic resource] : 8th International Conference, TSD 2005, Karlovy Vary, Czech Republic, September 12-15, 2005. Proceedings / edited by Václav Matoušek, Pavel Mautner, Tomáš Pavelka. by Matoušek, Václav [editor.] | Mautner, Pavel [editor.] | Pavelka, Tomáš [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3658Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Image and Video Retrieval [electronic resource] : 5th International Conference, CIVR 2006, Tempe, AZ, USA, July 13-15, 2006. Proceedings / edited by Hari Sundaram, Milind Naphade, John R. Smith, Yong Rui. by Sundaram, Hari [editor.] | Naphade, Milind [editor.] | Smith, John R [editor.] | Rui, Yong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4071Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Global differential geometry : [electronic resource] the mathematical legacy of Alfred Gray : International Congress on Differential Geometry September 18-23, 2000, Bilbao, Spain / Marisa Fern�andez, Joseph A. Wolf, editors. by International Congress on Differential Geometry (2000 : Bilbao, Spain) | Gray, Alfred, 1939-1998 | Fern�andez, Marisa, 1953- | Wolf, Joseph Albert, 1936-. Series: Contemporary mathematics (American Mathematical Society) ; v. 288.Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, c2001Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Finite Mathematics Practical Applications by Johnson, David B | Mowry, Thomas A. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Language: English Publication details: USA Brooks/Cole Publishing company 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 23 Call number: 51 JOH.
|
|
|
|
|
|
|
|
|
|
|
|
Post-Quantum Cryptography [electronic resource] : Second International Workshop, PQCrypto 2008 Cincinnati, OH, USA, October 17-19, 2008 Proceedings / edited by Johannes Buchmann, Jintai Ding. by Buchmann, Johannes [editor.] | Ding, Jintai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5299Source: 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): .
|
|
|
|
Theoretical Aspects of Computing – ICTAC 2010 [electronic resource] : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings / edited by Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock. by Cavalcanti, Ana [editor.] | Deharbe, David [editor.] | Gaudel, Marie-Claude [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6255Source: 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): .
|
|
|
|
Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jirí Sgall. by Chatterjee, Krishnendu [editor.] | Sgall, Jirí [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8087Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
25 Years of Non-Equilibrium Statistical Mechanics [electronic resource] : Proceedings of the XIII Sitges Conference, Held in Sitges, Barcelona, Spain, 13–17 June 1994 / edited by J. J. Brey, J. Marro, J. M. Rubí, M. San Miguel. by Brey, J. J [editor.] | Marro, J [editor.] | Rubí, J. M [editor.] | San Miguel, M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 445Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Research in Computational Molecular Biology [electronic resource] : 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005. Proceedings / edited by Satoru Miyano, Jill Mesirov, Simon Kasif, Sorin Istrail, Pavel A. Pevzner, Michael Waterman. by Miyano, Satoru [editor.] | Mesirov, Jill [editor.] | Kasif, Simon [editor.] | Istrail, Sorin [editor.] | Pevzner, Pavel A [editor.] | Waterman, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3500Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers / edited by Herman Geuvers, Freek Wiedijk. by Geuvers, Herman [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2646Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings / edited by E. Allen Emerson, Aravinda Prasad Sistla. by Emerson, E. Allen [editor.] | Sistla, Aravinda Prasad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1855Source: 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): .
|