|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Rohit Gheyi, David Naumann. by Gheyi, Rohit [editor.] | Naumann, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7498Source: 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): .
|
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings / edited by Flavio Paoli, Ernesto Pimentel, Gianluigi Zavattaro. by Paoli, Flavio [editor.] | Pimentel, Ernesto [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7592Source: 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): .
|
|
|
|
|
Web Information Systems and Mining [electronic resource] : International Conference, WISM 2012, Chengdu, China, October 26-28, 2012. Proceedings / edited by Fu Lee Wang, Jingsheng Lei, Zhiguo Gong, Xiangfeng Luo. by Wang, Fu Lee [editor.] | Lei, Jingsheng [editor.] | Gong, Zhiguo [editor.] | Luo, Xiangfeng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7529Source: 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): .
|
|
|
|
|
Electronic Government [electronic resource] : 11th IFIP WG 8.5 International Conference, EGOV 2012, Kristiansand, Norway, September 3-6, 2012. Proceedings / edited by Hans J. Scholl, Marijn Janssen, Maria A. Wimmer, Carl Erik Moe, Leif Skiftenes Flak. by Scholl, Hans J [editor.] | Janssen, Marijn [editor.] | Wimmer, Maria A [editor.] | Moe, Carl Erik [editor.] | Flak, Leif Skiftenes [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7443Source: 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): .
|
|
|
|
|
Model and Data Engineering [electronic resource] : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings / edited by Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah. by Abelló, Alberto [editor.] | Bellatreche, Ladjel [editor.] | Benatallah, Boualem [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7602Source: 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): .
|
|
|
|
|
Energy Efficient Data Centers [electronic resource] : First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers / edited by Jyrki Huusko, Hermann Meer, Sonja Klingert, Andrey Somov. by Huusko, Jyrki [editor.] | Meer, Hermann [editor.] | Klingert, Sonja [editor.] | Somov, Andrey [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7396Source: 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): .
|
|
|
|
|
Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings / edited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson. by France, Robert B [editor.] | Kazmeier, Jürgen [editor.] | Breu, Ruth [editor.] | Atkinson, Colin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7590Source: 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): .
|
|
|
|
|
|
|
|
|
|
Large-Scale Complex IT Systems. Development, Operation and Management [electronic resource] : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers / edited by Radu Calinescu, David Garlan. by Calinescu, Radu [editor.] | Garlan, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7539Source: 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 Information and Computer Security [electronic resource] : 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings / edited by Goichiro Hanaoka, Toshihiro Yamauchi. by Hanaoka, Goichiro [editor.] | Yamauchi, Toshihiro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7631Source: 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): .
|
|
|
|
|
Secure IT Systems [electronic resource] : 17th Nordic Conference, NordSec 2012, Karlskrona, Sweden, October 31 – November 2, 2012. Proceedings / edited by Audun Jøsang, Bengt Carlsson. by Jøsang, Audun [editor.] | Carlsson, Bengt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7617Source: 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): .
|
|
|
|
|
Provenance and Annotation of Data and Processes [electronic resource] : 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised Selected Papers / edited by Paul Groth, James Frew. by Groth, Paul [editor.] | Frew, James [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7525Source: 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): .
|
|
|
|
|
Decision and Game Theory for Security [electronic resource] : Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings / edited by Jens Grossklags, Jean Walrand. by Grossklags, Jens [editor.] | Walrand, Jean [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7638Source: 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): .
|
|
|
|
|
Service-Oriented Computing [electronic resource] : 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings / edited by Chengfei Liu, Heiko Ludwig, Farouk Toumani, Qi Yu. by Liu, Chengfei [editor.] | Ludwig, Heiko [editor.] | Toumani, Farouk [editor.] | Yu, Qi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7636Source: 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, Privacy, and Applied Cryptography Engineering [electronic resource] : Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012. Proceedings / edited by Andrey Bogdanov, Somitra Sanadhya. by Bogdanov, Andrey [editor.] | Sanadhya, Somitra [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: 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): .
|
|
|
|
|
Network and System Security [electronic resource] : 6th International Conference, NSS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings / edited by Li Xu, Elisa Bertino, Yi Mu. by Xu, Li [editor.] | Bertino, Elisa [editor.] | Mu, Yi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7645Source: 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): .
|
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : FC 2012 Workshops, USEC and WECSR 2012, Kralendijk, Bonaire, March 2, 2012, Revised Selected Papers / edited by Jim Blyth, Sven Dietrich, L. Jean Camp. by Blyth, Jim [editor.] | Dietrich, Sven [editor.] | Camp, L. Jean [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7398Source: 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): .
|
|
|
|
|
Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings / edited by Brian Nielsen, Carsten Weise. by Nielsen, Brian [editor.] | Weise, Carsten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7641Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
