|
|
|
|
Principles of Security and Trust [electronic resource] : First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / edited by Pierpaolo Degano, Joshua D. Guttman. by Degano, Pierpaolo [editor.] | Guttman, Joshua D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7215Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings / edited by Björn Regnell, Daniela Damian. by Regnell, Björn [editor.] | Damian, Daniela [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7195Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Juan Lara, Andrea Zisman. by Lara, Juan [editor.] | Zisman, Andrea [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7212Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Data Privacy Management and Autonomous Spontaneus Security [electronic resource] : 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Nora Cuppens-Boulahia, Sabrina Capitani di Vimercati. by Garcia-Alfaro, Joaquin [editor.] | Navarro-Arribas, Guillermo [editor.] | Cuppens-Boulahia, Nora [editor.] | Capitani di Vimercati, Sabrina [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7122Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Database Systems for Advanced Applications [electronic resource] : 17th International Conference, DASFAA 2012, International Workshops: FlashDB, ITEMS, SNSM, SIM3, DQDI, Busan, South Korea, April 15-19, 2012. Proceedings / edited by Hwanjo Yu, Ge Yu, Wynne Hsu, Yang-Sae Moon, Rainer Unland, Jaesoo Yoo. by Yu, Hwanjo [editor.] | Yu, Ge [editor.] | Hsu, Wynne [editor.] | Moon, Yang-Sae [editor.] | Unland, Rainer [editor.] | Yoo, Jaesoo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7240Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Social Computing, Behavioral - Cultural Modeling and Prediction [electronic resource] : 5th International Conference, SBP 2012, College Park, MD, USA, April 3-5, 2012. Proceedings / edited by Shanchieh Jay Yang, Ariel M. Greenberg, Mica Endsley. by Yang, Shanchieh Jay [editor.] | Greenberg, Ariel M [editor.] | Endsley, Mica [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7227Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Information Security Practice and Experience [electronic resource] : 8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012. Proceedings / edited by Mark D. Ryan, Ben Smyth, Guilin Wang. by Ryan, Mark D [editor.] | Smyth, Ben [editor.] | Wang, Guilin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7232Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Evolutionary and Biologically Inspired Music, Sound, Art and Design [electronic resource] : First International Conference, EvoMUSART 2012, Málaga, Spain, April 11-13, 2012. Proceedings / edited by Penousal Machado, Juan Romero, Adrian Carballal. by Machado, Penousal [editor.] | Romero, Juan [editor.] | Carballal, Adrian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7247Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theorie and Applications of Formal Argumentation [electronic resource] : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers / edited by Sanjay Modgil, Nir Oren, Francesca Toni. by Modgil, Sanjay [editor.] | Oren, Nir [editor.] | Toni, Francesca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7132Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Web and Wireless Geographical Information Systems [electronic resource] : 11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings / edited by Sergio Martino, Adriano Peron, Taro Tezuka. by Martino, Sergio [editor.] | Peron, Adriano [editor.] | Tezuka, Taro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7236Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Web Technologies and Applications [electronic resource] : 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings / edited by Quan Z. Sheng, Guoren Wang, Christian S. Jensen, Guandong Xu. by Sheng, Quan Z [editor.] | Wang, Guoren [editor.] | Jensen, Christian S [editor.] | Xu, Guandong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7235Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Computing, Networking and Security [electronic resource] : International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers / edited by P. Santhi Thilagam, Alwyn Roshan Pais, K. Chandrasekaran, N. Balakrishnan. by Thilagam, P. Santhi [editor.] | Pais, Alwyn Roshan [editor.] | Chandrasekaran, K [editor.] | Balakrishnan, N [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7135Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Health Information Science [electronic resource] : First International Conference, HIS 2012, Beijing, China, April 8-10, 2012. Proceedings / edited by Jing He, Xiaohui Liu, Elizabeth A. Krupinski, Guandong Xu. by He, Jing [editor.] | Liu, Xiaohui [editor.] | Krupinski, Elizabeth A [editor.] | Xu, Guandong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7231Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic Programs, Norms and Action [electronic resource] : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday / edited by Alexander Artikis, Robert Craven, Nihan Kesim Çiçekli, Babak Sadighi, Kostas Stathis. by Artikis, Alexander [editor.] | Craven, Robert [editor.] | Kesim Çiçekli, Nihan [editor.] | Sadighi, Babak [editor.] | Stathis, Kostas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7360Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Aspects of Security and Trust [electronic resource] : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers / edited by Gilles Barthe, Anupam Datta, Sandro Etalle. by Barthe, Gilles [editor.] | Datta, Anupam [editor.] | Etalle, Sandro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7140Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Web Technologies and Applications [electronic resource] : APWeb 2012 International Workshops: SenDe, IDP, IEKB, MBC, Kunming, China, April 11-13, 2012. Proceedings / edited by Hua Wang, Lei Zou, Guangyan Huang, Jing He, Chaoyi Pang, Hao Lan Zhang, Dongyan Zhao, Zhuang Yi. by Wang, Hua [editor.] | Zou, Lei [editor.] | Huang, Guangyan [editor.] | He, Jing [editor.] | Pang, Chaoyi [editor.] | Zhang, Hao Lan [editor.] | Zhao, Dongyan [editor.] | Yi, Zhuang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7234Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
