|
|
|
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected Papers / edited by Roger Dingledine, Philippe Golle. by Dingledine, Roger [editor.] | Golle, Philippe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5628Source: 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): .
|
|
|
|
Anaphora Processing and Applications [electronic resource] : 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings / edited by Sobha Lalitha Devi, António Branco, Ruslan Mitkov. by Lalitha Devi, Sobha [editor.] | Branco, António [editor.] | Mitkov, Ruslan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5847Source: 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): .
|
|
|
|
Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings / edited by Rafael Accorsi, Silvio Ranise. by Accorsi, Rafael [editor.] | Ranise, Silvio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8203Source: 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): .
|
|
|
|
|
|
|
|
Bridging People and Sound [electronic resource] : 12th International Symposium, CMMR 2016, São Paulo, Brazil, July 5–8, 2016, Revised Selected Papers / edited by Mitsuko Aramaki, Richard Kronland-Martinet, Sølvi Ystad. by Aramaki, Mitsuko [editor.] | Kronland-Martinet, Richard [editor.] | Ystad, Sølvi [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10525 | Lecture Notes in Computer Science ; 10525Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Function Theoretic Methods for Partial Differential Equations [electronic resource] : Proceedings of the International Symposium Held at Darmstadt, Germany, April 12–15, 1976 / edited by V. Erhard Meister, Wolfgang L. Wendland, Norbert Weck. by Meister, V. Erhard [editor.] | Wendland, Wolfgang L [editor.] | Weck, Norbert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 561Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1976Online 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): .
|
|
|
|
|
|
|
|
Automated Reasoning [electronic resource] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings / edited by David Basin, Michaël Rusinowitch. by Basin, David [editor.] | Rusinowitch, Michaël [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3097Source: 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): .
|
|
|
|
Natural Language Generation [electronic resource] : Third International Conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004. Proceedings / edited by Anja Belz, Roger Evans, Paul Piwek. by Belz, Anja [editor.] | Evans, Roger [editor.] | Piwek, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3123Source: 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): .
|
|
|
|
Mathematical Foundations of Computer Science 2005 [electronic resource] : 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings / edited by Joanna Jȩdrzejowicz, Andrzej Szepietowski. by Jȩdrzejowicz, Joanna [editor.] | Szepietowski, Andrzej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3618Source: 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): .
|
|
|
|
|
|
|
|
CONCUR 2006 – Concurrency Theory [electronic resource] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / edited by Christel Baier, Holger Hermanns. by Baier, Christel [editor.] | Hermanns, Holger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4137Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings / edited by David Basin, Burkhart Wolff. by Basin, David [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2758Source: 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): .
|
|
|
|
Advances in Information Systems [electronic resource] : 4th International Conference, ADVIS 2006, Izmir, Turkey, October 18-20,2006. Proceedings / edited by Tatyana Yakhno, Erich J. Neuhold. by Yakhno, Tatyana [editor.] | Neuhold, Erich J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4243Source: 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): .
|
|
|
|
Managing Virtualization of Networks and Services [electronic resource] : 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, San José, CA, USA, October 29-31, 2007. Proceedings / edited by Alexander Clemm, Lisandro Zambenedetti Granville, Rolf Stadler. by Clemm, Alexander [editor.] | Granville, Lisandro Zambenedetti [editor.] | Stadler, Rolf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4785Source: 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): .
|
|
|
|
|