|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Kurt Jensen, Andreas Podelski. by Jensen, Kurt [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2988Source: 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): .
|
|
|
|
|
Information Security and Privacy [electronic resource] : 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004. Proceedings / edited by Huaxiong Wang, Josef Pieprzyk, Vijay Varadharajan. by Wang, Huaxiong [editor.] | Pieprzyk, Josef [editor.] | Varadharajan, Vijay [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3108Source: 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): .
|
|
|
|
|
Information Security and Privacy [electronic resource] : 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings / edited by Lynn Margaret Batten, Reihaneh Safavi-Naini. by Batten, Lynn Margaret [editor.] | Safavi-Naini, Reihaneh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4058Source: 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): .
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer. by Asarin, Eugene [editor.] | Bouyer, Patricia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4202Source: 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): .
|
|
|
|
|
|
|
|
|
|
Computer Security — ESORICS 2002 [electronic resource] : 7th European Symposium on Research in Computer Security Zurich, Switzerland, October 14–16, 2002 Proceedings / edited by Dieter Gollmann, Günther Karjoth, Michael Waidner. by Gollmann, Dieter [editor.] | Karjoth, Günther [editor.] | Waidner, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2502Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Advances in Cryptology - ASIACRYPT’99 [electronic resource] : International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November 14-18, 1999. Proceedings / edited by Kwok-Yan Lam, Eiji Okamoto, Chaoping Xing. by Lam, Kwok-Yan [editor.] | Okamoto, Eiji [editor.] | Xing, Chaoping [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1716Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / edited by Jean-François Raskin, P. S. Thiagarajan. by Raskin, Jean-François [editor.] | Thiagarajan, P. S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4763Source: 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): .
|
|
|
|
|
Computational Processing of the Portuguese Language [electronic resource] : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings / edited by António Teixeira, Vera Lúcia Strube Lima, Luís Caldas Oliveira, Paulo Quaresma. by Teixeira, António [editor.] | Lima, Vera Lúcia Strube [editor.] | Oliveira, Luís Caldas [editor.] | Quaresma, Paulo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5190Source: 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): .
|
|
|
|
|
Advances in Information and Computer Security [electronic resource] : 5th International Workshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010. Proceedings / edited by Isao Echizen, Noboru Kunihiro, Ryoichi Sasaki. by Echizen, Isao [editor.] | Kunihiro, Noboru [editor.] | Sasaki, Ryoichi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6434Source: 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): .
|
|
|
|
|
Clinical Image-Based Procedures. From Planning to Intervention [electronic resource] : International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers / edited by Klaus Drechsler, Marius Erdt, Marius George Linguraru, Cristina Oyarzun Laura, Karun Sharma, Raj Shekhar, Stefan Wesarg. by Drechsler, Klaus [editor.] | Erdt, Marius [editor.] | Linguraru, Marius George [editor.] | Oyarzun Laura, Cristina [editor.] | Sharma, Karun [editor.] | Shekhar, Raj [editor.] | Wesarg, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7761Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cloud Cuckoo Land by Doerr, Anthony. ;Language: English Language: English Publication details: London HarperCollins Publishers 2021Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:52 Shelf No:9 Call number: 82-3 DOE.
|
|
|
|
|
A Mind at Play How Claude Shannon Invented the Information Age by Soni, Jimmy | Goodman, Rob. ;Language: English Language: English Publication details: New York Simon & Schuster 2017Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 60, Shelf No: 4 Call number: 929 SON.
|
|
|
|
|
|
