|
|
|
Security Protocols [electronic resource] : 10th International Workshop, Cambridge, UK, April 17-19, 2002. Revised Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2845Source: 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): .
|
|
|
|
|
|
|
|
Advances in Intelligent Data Analysis V [electronic resource] : 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003. Proceedings / edited by Michael R. Berthold, Hans-Joachim Lenz, Elizabeth Bradley, Rudolf Kruse, Christian Borgelt. by R. Berthold, Michael [editor.] | Lenz, Hans-Joachim [editor.] | Bradley, Elizabeth [editor.] | Kruse, Rudolf [editor.] | Borgelt, Christian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2810Source: 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): .
|
|
|
|
Mathematical Foundations of Programming Semantics [electronic resource] : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt. by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 598Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Research and Advanced Technology for Digital Libraries [electronic resource] : 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007. Proceedings / edited by László Kovács, Norbert Fuhr, Carlo Meghini. by Kovács, László [editor.] | Fuhr, Norbert [editor.] | Meghini, Carlo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4675Source: 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): .
|
|
|
|
Computer Vision in Human-Computer Interaction [electronic resource] : ECCV 2006 Workshop on HCI, Graz, Austria, May 13, 2006. Proceedings / edited by Thomas S. Huang, Nicu Sebe, Michael S. Lew, Vladimir Pavlović, Mathias Kölsch, Aphrodite Galata, Branislav Kisačanin. by Huang, Thomas S [editor.] | Sebe, Nicu [editor.] | Lew, Michael S [editor.] | Pavlović, Vladimir [editor.] | Kölsch, Mathias [editor.] | Galata, Aphrodite [editor.] | Kisačanin, Branislav [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3979Source: 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): .
|
|
|
|
Biomedical Image Registration [electronic resource] : Second InternationalWorkshop, WBIR 2003, Philadelphia, PA, USA, June 23-24, 2003. Revised Papers / edited by James C. Gee, J. B. Antoine Maintz, Michael W. Vannier. by Gee, James C [editor.] | Maintz, J. B. Antoine [editor.] | Vannier, Michael W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2717Source: 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): .
|
|
|
|
Security Protocols [electronic resource] : 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4631Source: 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): .
|
|
|
|
Declarative Agent Languages and Technologies VI [electronic resource] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff. by Baldoni, Matteo [editor.] | Son, Tran Cao [editor.] | Riemsdijk, M. Birna [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5397Source: 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): .
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : FC 2013 Workshops, USEC and WAHC 2013, Okinawa, Japan, April 1, 2013, Revised Selected Papers / edited by Andrew A. Adams, Michael Brenner, Matthew Smith. by Adams, Andrew A [editor.] | Brenner, Michael [editor.] | Smith, Matthew [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7862Source: 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): .
|
|
|
|
Comparative Evaluation of Multilingual Information Access Systems [electronic resource] : 4th Workshop of the Cross-Language Evaluation Forum, CLEF 2003, Trondheim, Norway, August 21-22, 2003, Revised Selected Papers / edited by Carol Peters, Julio Gonzalo, Martin Braschler, Michael Kluck. by Peters, Carol [editor.] | Gonzalo, Julio [editor.] | Braschler, Martin [editor.] | Kluck, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3237Source: 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): .
|
|
|
|
|
|
|
|
Security Protocols [electronic resource] : 8th International Workshop Cambridge, UK, April 3–5, 2000 Revised Papers / edited by Bruce Christianson, James A. Malcolm, Bruno Crispo, Michael Roe. by Christianson, Bruce [editor.] | Malcolm, James A [editor.] | Crispo, Bruno [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2133Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Multiple Classifier Systems [electronic resource] : 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007. Proceedings / edited by Michal Haindl, Josef Kittler, Fabio Roli. by Haindl, Michal [editor.] | Kittler, Josef [editor.] | Roli, Fabio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4472Source: 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): .
|
|
|
|
Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur. by Bin, Eyal [editor.] | Ziv, Avi [editor.] | Ur, Shmuel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4383Source: 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): .
|
|
|
|
Proceedings of the International Congress of Mathematicians Madrid, August 22–30, 2006 [electronic resource] / Marta Sanz-Solé, Javier Soria, Juan Luis Varona, Joan Verdera by Sanz-Solé, Marta [editor.] | Soria, Javier [editor.] | Varona, Juan Luis [editor.] | Verdera, Joan [editor.]. Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2007Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Vision in Human-Computer Interaction [electronic resource] : ICCV 2005 Workshop on HCI, Beijing, China, October 21, 2005. Proceedings / edited by Nicu Sebe, Michael Lew, Thomas S. Huang. by Sebe, Nicu [editor.] | Lew, Michael [editor.] | Huang, Thomas S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3766Source: 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): .
|
|
|
|
Security Protocols [electronic resource] : 7th International Workshop, Cambridge, UK, April 19-21, 1999. Proceedings / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1796Source: 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): .
|
|
|
|
|
|
|
|
|