|
|
|
Multi-Agent Systems for Society [electronic resource] : 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers / edited by Dickson Lukose, Zhongzhi Shi. by Lukose, Dickson [editor.] | Shi, Zhongzhi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4078Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 5th International Conference, ADMA 2009, Beijing, China, August 17-19, 2009. Proceedings / edited by Ronghuai Huang, Qiang Yang, Jian Pei, João Gama, Xiaofeng Meng, Xue Li. by Huang, Ronghuai [editor.] | Yang, Qiang [editor.] | Pei, Jian [editor.] | Gama, João [editor.] | Meng, Xiaofeng [editor.] | Li, Xue [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5678Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Science - Theory and Applications [electronic resource] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings / edited by Anna Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner. by Frid, Anna [editor.] | Morozov, Andrey [editor.] | Rybalchenko, Andrey [editor.] | Wagner, Klaus W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5675Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel. by Berghofer, Stefan [editor.] | Nipkow, Tobias [editor.] | Urban, Christian [editor.] | Wenzel, Makarius [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5674Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Learning by Playing. Game-based Education System Design and Development [electronic resource] : 4th International Conference on E-Learning and Games, Edutainment 2009, Banff, Canada, August 9-11, 2009. Proceedings / edited by Maiga Chang, Rita Kuo, Kinshuk, Gwo-Dong Chen, Michitaka Hirose. by Chang, Maiga [editor.] | Kuo, Rita [editor.] | Kinshuk [editor.] | Chen, Gwo-Dong [editor.] | Hirose, Michitaka [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5670Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Algorithms and Data Structures [electronic resource] : 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings / edited by Frank Dehne, Marina Gavrilova, Jörg-Rüdiger Sack, Csaba D. Tóth. by Dehne, Frank [editor.] | Gavrilova, Marina [editor.] | Sack, Jörg-Rüdiger [editor.] | Tóth, Csaba D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5664Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings / edited by Mirosław Kutyłowski, Witold Charatonik, Maciej Gębala. by Kutyłowski, Mirosław [editor.] | Charatonik, Witold [editor.] | Gębala, Maciej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5699Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings / edited by Benyuan Liu, Azer Bestavros, Ding-Zhu Du, Jie Wang. by Liu, Benyuan [editor.] | Bestavros, Azer [editor.] | Du, Ding-Zhu [editor.] | Wang, Jie [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5682Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Web Based Learning – ICWL 2009 [electronic resource] : 8th International Conference, Aachen, Germany, August 19-21, 2009. Proceedings / edited by Marc Spaniol, Qing Li, Ralf Klamma, Rynson W. H. Lau. by Spaniol, Marc [editor.] | Li, Qing [editor.] | Klamma, Ralf [editor.] | Lau, Rynson W. H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5686Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari. by Corradini, Andrea [editor.] | Montanari, Ugo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5486Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Foundations and Applications of Security Analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Luca Viganò. by Degano, Pierpaolo [editor.] | Viganò, Luca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5511Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Electronic Government [electronic resource] : 8th International Conference, EGOV 2009, Linz, Austria, August 31 - September 3, 2009. Proceedings / edited by Maria A. Wimmer, Hans J. Scholl, Marijn Janssen, Roland Traunmüller. by Wimmer, Maria A [editor.] | Scholl, Hans J [editor.] | Janssen, Marijn [editor.] | Traunmüller, Roland [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5693Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computational Forensics [electronic resource] : Third International Workshop, IWCF 2009, The Hague, The Netherlands, August 13-14, 2009. Proceedings / edited by Zeno J. M. H. Geradts, Katrin Y. Franke, Cor J. Veenman. by Geradts, Zeno J. M. H [editor.] | Franke, Katrin Y [editor.] | Veenman, Cor J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5718Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected Papers / edited by Roger Dingledine, Philippe Golle. by Dingledine, Roger [editor.] | Golle, Philippe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5628Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Critical Information Infrastructure Security [electronic resource] : Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers / edited by Roberto Setola, Stefan Geretshuber. by Setola, Roberto [editor.] | Geretshuber, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5508Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Database and XML Technologies [electronic resource] : 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings / edited by Zohra Bellahsène, Ela Hunt, Michael Rys, Rainer Unland. by Bellahsène, Zohra [editor.] | Hunt, Ela [editor.] | Rys, Michael [editor.] | Unland, Rainer [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5679Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|