|
|
|
Groups and model theory : [electronic resource] a conference in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg," Mulheim an der Ruhr, Germany / Lutz Strungmann ... [et al.], editors. by G�obel, R. (R�udiger), 1940- | Strungmann, Lutz, 1971-. Series: Contemporary mathematics ; v. 576Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2012Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
The Semantic Web – ISWC 2016 [electronic resource] : 15th International Semantic Web Conference, Kobe, Japan, October 17–21, 2016, Proceedings, Part I / edited by Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil. by Groth, Paul [editor.] | Simperl, Elena [editor.] | Gray, Alasdair [editor.] | Sabou, Marta [editor.] | Krötzsch, Markus [editor.] | Lecue, Freddy [editor.] | Flöck, Fabian [editor.] | Gil, Yolanda [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9981 | Lecture Notes in Computer Science ; 9981Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
Information Security and Cryptology – ICISC 2004 [electronic resource] : 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers / edited by Choon-sik Park, Seongtaek Chee. by Park, Choon-sik [editor.] | Chee, Seongtaek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3506Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Selected Areas in Cryptography [electronic resource] : 10th Annual International Workshop, SAC 2003, Ottawa, Canada, August 14-15, 2003. Revised Papers / edited by Mitsuru Matsui, Robert J. Zuccherato. by Matsui, Mitsuru [editor.] | Zuccherato, Robert J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3006Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Progress in Cryptology - INDOCRYPT 2005 [electronic resource] : 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005. Proceedings / edited by Subhamoy Maitra, C. E. Veni Madhavan, Ramarathnam Venkatesan. by Maitra, Subhamoy [editor.] | Veni Madhavan, C. E [editor.] | Venkatesan, Ramarathnam [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3797Source: 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): .
|
|
|
|
Computer Vision – ECCV 2006 [electronic resource] : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III / edited by Aleš Leonardis, Horst Bischof, Axel Pinz. by Leonardis, Aleš [editor.] | Bischof, Horst [editor.] | Pinz, Axel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3953Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness [electronic resource] : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg. by Bakker, J. W [editor.] | Roever, W. -P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 430Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|