|
|
|
|
Case-Based Reasoning. Research and Development [electronic resource] : 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings / edited by Isabelle Bichindaritz, Stefania Montani. by Bichindaritz, Isabelle [editor.] | Montani, Stefania [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6176Source: 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): .
|
|
|
|
|
Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson. by Touili, Tayssir [editor.] | Cook, Byron [editor.] | Jackson, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6174Source: 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): .
|
|
|
|
|
|
|
|
|
|
New Modeling Concepts for Today’s Software Processes [electronic resource] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / edited by Jürgen Münch, Ye Yang, Wilhelm Schäfer. by Münch, Jürgen [editor.] | Yang, Ye [editor.] | Schäfer, Wilhelm [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6195Source: 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): .
|
|
|
|
|
Critical Information Infrastructures Security [electronic resource] : 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers / edited by Erich Rome, Robin Bloomfield. by Rome, Erich [editor.] | Bloomfield, Robin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6027Source: 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): .
|
|
|
|
|
Self-Organizing Architectures [electronic resource] : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers / edited by Danny Weyns, Sam Malek, Rogério Lemos, Jesper Andersson. by Weyns, Danny [editor.] | Malek, Sam [editor.] | Lemos, Rogério [editor.] | Andersson, Jesper [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6090Source: 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): .
|
|
|
|
|
|
|
|
|
|
Information, Security and Cryptology – ICISC 2009 [electronic resource] : 12th International Conference, Seoul, Korea, December 2-4, 2009, Revised Selected Papers / edited by Donghoon Lee, Seokhie Hong. by Lee, Donghoon [editor.] | Hong, Seokhie [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5984Source: 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): .
|
|
|
|
|
Web Services and Formal Methods [electronic resource] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / edited by Cosimo Laneve, Jianwen Su. by Laneve, Cosimo [editor.] | Su, Jianwen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6194Source: 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): .
|
|
|
|
|
|
|
|
|
|
Privacy Enhancing Technologies [electronic resource] : 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings / edited by Mikhail J. Atallah, Nicholas J. Hopper. by Atallah, Mikhail J [editor.] | Hopper, Nicholas J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6205Source: 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): .
|
|
|
|
|
Database Systems for Advanced Applications [electronic resource] : 15th International Conference, DASFAA 2010, International Workshops: GDM, BenchmarX, MCIS, SNSMW, DIEW, UDM, Tsukuba, Japan, April 1-4, 2010, Revised Selected Papers / edited by Masatoshi Yoshikawa, Xiaofeng Meng, Takayuki Yumoto, Qiang Ma, Lifeng Sun, Chiemi Watanabe. by Yoshikawa, Masatoshi [editor.] | Meng, Xiaofeng [editor.] | Yumoto, Takayuki [editor.] | Ma, Qiang [editor.] | Sun, Lifeng [editor.] | Watanabe, Chiemi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6193Source: 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): .
|
|
|
|
|
Trusted Systems [electronic resource] : First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Revised Selected Papers / edited by Liqun Chen, Moti Yung. by Chen, Liqun [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6163Source: 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): .
|
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings / edited by Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan. by Goel, Ashok K [editor.] | Jamnik, Mateja [editor.] | Narayanan, N. Hari [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6170Source: 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): .
|
|
|
|
|
|
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings / edited by Gopal Pandurangan, V. S. Anil Kumar, Gu Ming, Yunhao Liu, Yingshu Li. by Pandurangan, Gopal [editor.] | Anil Kumar, V. S [editor.] | Ming, Gu [editor.] | Liu, Yunhao [editor.] | Li, Yingshu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6221Source: 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): .
|
|
|
|
|
Computer Network Security [electronic resource] : 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings / edited by Igor Kotenko, Victor Skormin. by Kotenko, Igor [editor.] | Skormin, Victor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6258Source: 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): .
|
|
|
|
|
Ad-Hoc, Mobile and Wireless Networks [electronic resource] : 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings / edited by Ioanis Nikolaidis, Kui Wu. by Nikolaidis, Ioanis [editor.] | Wu, Kui [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6288Source: 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): .
|
|
|
|
|
Electronic Government [electronic resource] : 9th IFIP WG 8.5 International Conference, EGOV 2010, Lausanne, Switzerland, August 29 - September 2, 2010. Proceedings / edited by Maria A. Wimmer, Jean-Loup Chappelet, Marijn Janssen, Hans J. Scholl. by Wimmer, Maria A [editor.] | Chappelet, Jean-Loup [editor.] | Janssen, Marijn [editor.] | Scholl, Hans J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6228Source: 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): .
|
|
|
|
|
Programming Multi-Agent Systems [electronic resource] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers / edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah. by Braubach, Lars [editor.] | Briot, Jean-Pierre [editor.] | Thangarajah, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5919Source: 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): .
|
