|
|
|
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov. by Beckert, Bernhard [editor.] | Damiani, Ferruccio [editor.] | Gurov, Dilian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7421Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Advances in Cryptology – CRYPTO 2012 [electronic resource] : 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings / edited by Reihaneh Safavi-Naini, Ran Canetti. by Safavi-Naini, Reihaneh [editor.] | Canetti, Ran [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7417Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Trust, Privacy and Security in Digital Business [electronic resource] : 9th International Conference, TrustBus 2012, Vienna, Austria, September 3-7, 2012. Proceedings / edited by Simone Fischer-Hübner, Sokratis Katsikas, Gerald Quirchmayr. by Fischer-Hübner, Simone [editor.] | Katsikas, Sokratis [editor.] | Quirchmayr, Gerald [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7449Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Trusted Systems [electronic resource] : Third International Conference, INTRUST 2011, Beijing, China, November 27-29, 2011, Revised Selected Papers / edited by Liqun Chen, Moti Yung, Liehuang Zhu. by Chen, Liqun [editor.] | Yung, Moti [editor.] | Zhu, Liehuang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7222Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Business System Management and Engineering [electronic resource] : From Open Issues to Applications / edited by Claudio A. Ardagna, Ernesto Damiani, Leszek A. Maciaszek, Michele Missikoff, Michael Parkin. by Ardagna, Claudio A [editor.] | Damiani, Ernesto [editor.] | Maciaszek, Leszek A [editor.] | Missikoff, Michele [editor.] | Parkin, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7350Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
ICT as Key Technology against Global Warming [electronic resource] : Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings / edited by Axel Auweter, Dieter Kranzlmüller, Amirreza Tahamtan, A Min Tjoa. by Auweter, Axel [editor.] | Kranzlmüller, Dieter [editor.] | Tahamtan, Amirreza [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7453Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Topics in Performance Evaluation, Measurement and Characterization [electronic resource] : Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. by Nambiar, Raghunath [editor.] | Poess, Meikel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7144Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advancing Democracy, Government and Governance [electronic resource] : Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2012, Vienna, Austria, September 3-6, 2012. Proceedings / edited by Andrea Kő, Christine Leitner, Herbert Leitold, Alexander Prosser. by Kő, Andrea [editor.] | Leitner, Christine [editor.] | Leitold, Herbert [editor.] | Prosser, Alexander [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7452Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Communications and Multimedia Security [electronic resource] : 13th IFIP TC 6/TC 11 International Conference, CMS 2012, Canterbury, UK, September 3-5, 2012. Proceedings / edited by Bart Decker, David W. Chadwick. by Decker, Bart [editor.] | Chadwick, David W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7394Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Information and Communication Technologies [electronic resource] : 18th EUNICE/ IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012. Proceedings / edited by Róbert Szabó, Attila Vidács. by Szabó, Róbert [editor.] | Vidács, Attila [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7479Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Security and Cryptography for Networks [electronic resource] : 8th International Conference, SCN 2012, Amalfi, Italy, September 5-7, 2012. Proceedings / edited by Ivan Visconti, Roberto Prisco. by Visconti, Ivan [editor.] | Prisco, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7485Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II / edited by Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Zomaya. by Xiang, Yang [editor.] | Stojmenovic, Ivan [editor.] | Apduhan, Bernady O [editor.] | Wang, Guojun [editor.] | Nakano, Koji [editor.] | Zomaya, Albert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7440Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Databases and Information Systems [electronic resource] : 16th East European Conference, ADBIS 2012, Poznań, Poland, September 18-21, 2012. Proceedings / edited by Tadeusz Morzy, Theo Härder, Robert Wrembel. by Morzy, Tadeusz [editor.] | Härder, Theo [editor.] | Wrembel, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7503Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I / edited by Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Zomaya. by Xiang, Yang [editor.] | Stojmenovic, Ivan [editor.] | Apduhan, Bernady O [editor.] | Wang, Guojun [editor.] | Nakano, Koji [editor.] | Zomaya, Albert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7439Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Security – ESORICS 2012 [electronic resource] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings / edited by Sara Foresti, Moti Yung, Fabio Martinelli. by Foresti, Sara [editor.] | Yung, Moti [editor.] | Martinelli, Fabio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7459Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Provable Security [electronic resource] : 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings / edited by Tsuyoshi Takagi, Guilin Wang, Zhiguang Qin, Shaoquan Jiang, Yong Yu. by Takagi, Tsuyoshi [editor.] | Wang, Guilin [editor.] | Qin, Zhiguang [editor.] | Jiang, Shaoquan [editor.] | Yu, Yong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7496Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|