|
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent System VII [electronic resource] : COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers / edited by Stephen Cranefield, M. Birna Riemsdijk, Javier Vázquez-Salceda, Pablo Noriega. by Cranefield, Stephen [editor.] | Riemsdijk, M. Birna [editor.] | Vázquez-Salceda, Javier [editor.] | Noriega, Pablo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7254Source: 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): .
|
|
|
|
|
Transactions on Aspect-Oriented Software Development IX [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter. by Leavens, Gary T [editor.] | Chiba, Shigeru [editor.] | Haupt, Michael [editor.] | Ostermann, Klaus [editor.] | Wohlstadter, Eric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7271Source: 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): .
|
|
|
|
|
Future Generation Information Technology [electronic resource] : 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings / edited by Tai-hoon Kim, Young-hoon Lee, Wai-chi Fang. by Kim, Tai-hoon [editor.] | Lee, Young-hoon [editor.] | Fang, Wai-chi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7709Source: 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 Parallel Computing [electronic resource] : 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings / edited by James J. Park, Albert Zomaya, Sang-Soo Yeo, Sartaj Sahni. by Park, James J [editor.] | Zomaya, Albert [editor.] | Yeo, Sang-Soo [editor.] | Sahni, Sartaj [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7513Source: 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): .
|
|
|
|
|
Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing [electronic resource] : International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011 Revised Selected Papers / edited by Stephen Cranefield, Insu Song. by Cranefield, Stephen [editor.] | Song, Insu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7580Source: 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): .
|
|
|
|
|
Current Trends in Web Engineering [electronic resource] : ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers / edited by Michael Grossniklaus, Manuel Wimmer. by Grossniklaus, Michael [editor.] | Wimmer, Manuel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7703Source: 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): .
|
|
|
|
|
Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran. by Qadeer, Shaz [editor.] | Tasiran, Serdar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7687Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers / edited by Kazuo Iwama, Yasuhito Kawano, Mio Murao. by Iwama, Kazuo [editor.] | Kawano, Yasuhito [editor.] | Murao, Mio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7582Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Quantum Interaction [electronic resource] : 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers / edited by Jerome R. Busemeyer, François Dubois, Ariane Lambert-Mogiliansky, Massimo Melucci. by Busemeyer, Jerome R [editor.] | Dubois, François [editor.] | Lambert-Mogiliansky, Ariane [editor.] | Melucci, Massimo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7620Source: 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): .
|
|
|
|
|
Distributed Computing and Networking [electronic resource] : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings / edited by Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha. by Frey, Davide [editor.] | Raynal, Michel [editor.] | Sarkar, Saswati [editor.] | Shyamasundar, Rudrapatna K [editor.] | Sinha, Prasun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7730Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 30 – July 2, 2011, Revised Selected Papers / edited by Elia Biganzoli, Alfredo Vellido, Federico Ambrogi, Roberto Tagliaferri. by Biganzoli, Elia [editor.] | Vellido, Alfredo [editor.] | Ambrogi, Federico [editor.] | Tagliaferri, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7548Source: 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 Protocols XX [electronic resource] : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers / edited by Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson. by Christianson, Bruce [editor.] | Malcolm, James [editor.] | Stajano, Frank [editor.] | Anderson, Jonathan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7622Source: 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): .
|
|
|
|
|
Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi. by Wolff, Burkhart [editor.] | Gaudel, Marie-Claude [editor.] | Feliachi, Abderrahmane [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7681Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by Artemov, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7734Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Multimedia Modeling [electronic resource] : 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part I / edited by Shipeng Li, Abdulmotaleb Saddik, Meng Wang, Tao Mei, Nicu Sebe, Shuicheng Yan, Richang Hong, Cathal Gurrin. by Li, Shipeng [editor.] | Saddik, Abdulmotaleb [editor.] | Wang, Meng [editor.] | Mei, Tao [editor.] | Sebe, Nicu [editor.] | Yan, Shuicheng [editor.] | Hong, Richang [editor.] | Gurrin, Cathal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7732Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Multimedia Modeling [electronic resource] : 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part II / edited by Shipeng Li, Abdulmotaleb Saddik, Meng Wang, Tao Mei, Nicu Sebe, Shuicheng Yan, Richang Hong, Cathal Gurrin. by Li, Shipeng [editor.] | Saddik, Abdulmotaleb [editor.] | Wang, Meng [editor.] | Mei, Tao [editor.] | Sebe, Nicu [editor.] | Yan, Shuicheng [editor.] | Hong, Richang [editor.] | Gurrin, Cathal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7733Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents [electronic resource] : International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers / edited by Monica Palmirani, Ugo Pagallo, Pompeu Casanovas, Giovanni Sartor. by Palmirani, Monica [editor.] | Pagallo, Ugo [editor.] | Casanovas, Pompeu [editor.] | Sartor, Giovanni [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7639Source: 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): .
|
|
|
|
|
Focused Retrieval of Content and Structure [electronic resource] : 10th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2011, Saarbrücken, Germany, December 12-14, 2011, Revised Selected Papers / edited by Shlomo Geva, Jaap Kamps, Ralf Schenkel. by Geva, Shlomo [editor.] | Kamps, Jaap [editor.] | Schenkel, Ralf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7424Source: 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): .
|
|
|
|
|
Trends and Topics in Computer Vision [electronic resource] : ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II / edited by Kiriakos N. Kutulakos. by Kutulakos, Kiriakos N [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6554Source: 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): .
|
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Ölveczky. by Arbab, Farhad [editor.] | Ölveczky, Peter Csaba [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7253Source: 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): .
|
