|
|
|
|
Public Key Infrastructures, Services and Applications [electronic resource] : 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers / edited by Fabio Martinelli, Bart Preneel. by Martinelli, Fabio [editor.] | Preneel, Bart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6391Source: 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): .
|
|
|
|
|
Human-Centred Software Engineering [electronic resource] : Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings / edited by Regina Bernhaupt, Peter Forbrig, Jan Gulliksen, Marta Lárusdóttir. by Bernhaupt, Regina [editor.] | Forbrig, Peter [editor.] | Gulliksen, Jan [editor.] | Lárusdóttir, Marta [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6409Source: 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): .
|
|
|
|
|
AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue [electronic resource] : International Workshops AICOL-I/IVR-XXIV Beijing, China, September19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers / edited by Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, Gianmaria Ajani. by Casanovas, Pompeu [editor.] | Pagallo, Ugo [editor.] | Sartor, Giovanni [editor.] | Ajani, Gianmaria [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6237Source: 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): .
|
|
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6415Source: 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): .
|
|
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6416Source: 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): .
|
|
|
|
|
Social Informatics [electronic resource] : Second International Conference, SocInfo 2010, Laxenburg, Austria, October 27-29, 2010. Proceedings / edited by Leonard Bolc, Marek Makowski, Adam Wierzbicki. by Bolc, Leonard [editor.] | Makowski, Marek [editor.] | Wierzbicki, Adam [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6430Source: 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): .
|
|
|
|
|
Autonomic and Trusted Computing [electronic resource] : 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings / edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou. by Xie, Bing [editor.] | Branke, Juergen [editor.] | Sadjadi, S. Masoud [editor.] | Zhang, Daqing [editor.] | Zhou, Xingshe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6407Source: 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): .
|
|
|
|
|
Recent Trends and Developments in Social Software [electronic resource] : International Conferences on Social Software, BlogTalk 2008, Cork, Ireland, March 3-4, 2008, and BlogTalk 2009, Jeju Island, South Korea, September 15-16, 2009. Revised Selected Papers / edited by John G. Breslin, Thomas N. Burg, Hong-Gee Kim, Tom Raftery, Jan-Hinrik Schmidt. by Breslin, John G [editor.] | Burg, Thomas N [editor.] | Kim, Hong-Gee [editor.] | Raftery, Tom [editor.] | Schmidt, Jan-Hinrik [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6045Source: 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): .
|
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part I / edited by Honghai Liu, Han Ding, Zhenhua Xiong, Xiangyang Zhu. by Liu, Honghai [editor.] | Ding, Han [editor.] | Xiong, Zhenhua [editor.] | Zhu, Xiangyang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6424Source: 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): .
|
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part II / edited by Honghai Liu, Han Ding, Zhenhua Xiong, Xiangyang Zhu. by Liu, Honghai [editor.] | Ding, Han [editor.] | Xiong, Zhenhua [editor.] | Zhu, Xiangyang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6425Source: 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): .
|
|
|
|
|
|
|
|
|
|
HCI in Work and Learning, Life and Leisure [electronic resource] : 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings / edited by Gerhard Leitner, Martin Hitz, Andreas Holzinger. by Leitner, Gerhard [editor.] | Hitz, Martin [editor.] | Holzinger, Andreas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6389Source: 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): .
|
|
|
|
|
Computational Collective Intelligence. Technologies and Applications [electronic resource] : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part I / edited by Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen. by Pan, Jeng-Shyang [editor.] | Chen, Shyi-Ming [editor.] | Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6421Source: 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): .
|
|
|
|
|
Computational Collective Intelligence. Technologies and Applications [electronic resource] : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part III / edited by Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen. by Pan, Jeng-Shyang [editor.] | Chen, Shyi-Ming [editor.] | Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6423Source: 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-Age Information Management [electronic resource] : WAIM 2010 International Workshops: IWGD 2010, XMLDM 2010, WCMT 2010, Jiuzhaigou Valley, China, July 15-17, 2010 Revised Selected Papers / edited by Heng Tao Shen, Jian Pei, M. Tamer Özsu, Lei Zou, Jiaheng Lu, Tok-Wang Ling, Ge Yu, Yi Zhuang, Jie Shao. by Shen, Heng Tao [editor.] | Pei, Jian [editor.] | Özsu, M. Tamer [editor.] | Zou, Lei [editor.] | Lu, Jiaheng [editor.] | Ling, Tok-Wang [editor.] | Yu, Ge [editor.] | Zhuang, Yi [editor.] | Shao, Jie [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6185Source: 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): .
|
|
|
|
|
Computational Collective Intelligence. Technologies and Applications [electronic resource] : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010, Proceedings, Part II / edited by Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen. by Pan, Jeng-Shyang [editor.] | Chen, Shyi-Ming [editor.] | Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6422Source: 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): .
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / edited by Jürgen Dix, Michael Fisher, Peter Novák. by Dix, Jürgen [editor.] | Fisher, Michael [editor.] | Novák, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6214Source: 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): .
|
|
|
|
|
Digital Heritage [electronic resource] : Third International Conference, EuroMed 2010, Lemessos, Cyprus, November 8-13, 2010. Proceedings / edited by Marinos Ioannides, Dieter Fellner, Andreas Georgopoulos, Diofantos G. Hadjimitsis. by Ioannides, Marinos [editor.] | Fellner, Dieter [editor.] | Georgopoulos, Andreas [editor.] | Hadjimitsis, Diofantos G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6436Source: 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): .
|
