|
|
|
|
Logic, Rationality, and Interaction [electronic resource] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings / edited by Xiangdong He, John Horty, Eric Pacuit. by He, Xiangdong [editor.] | Horty, John [editor.] | Pacuit, Eric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5834Source: 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): .
|
|
|
|
|
Security Protocols [electronic resource] : 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5087Source: 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): .
|
|
|
|
|
Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Jeremy Gibbons, José Nuno Oliveira. by Gibbons, Jeremy [editor.] | Oliveira, José Nuno [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5846Source: 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): .
|
|
|
|
|
Hybrid Metaheuristics [electronic resource] : 6th International Workshop, HM 2009, Udine, Italy, October 16-17, 2009. Proceedings / edited by María J. Blesa, Christian Blum, Luca Gaspero, Andrea Roli, Michael Sampels, Andrea Schaerf. by Blesa, María J [editor.] | Blum, Christian [editor.] | Gaspero, Luca [editor.] | Roli, Andrea [editor.] | Sampels, Michael [editor.] | Schaerf, Andrea [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5818Source: 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): .
|
|
|
|
|
Adaptive and Natural Computing Algorithms [electronic resource] : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / edited by Mikko Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski. by Kolehmainen, Mikko [editor.] | Toivanen, Pekka [editor.] | Beliczynski, Bartlomiej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5495Source: 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): .
|
|
|
|
|
The Semantic Web - ISWC 2009 [electronic resource] : 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings / edited by Abraham Bernstein, David R. Karger, Tom Heath, Lee Feigenbaum, Diana Maynard, Enrico Motta, Krishnaprasad Thirunarayan. by Bernstein, Abraham [editor.] | Karger, David R [editor.] | Heath, Tom [editor.] | Feigenbaum, Lee [editor.] | Maynard, Diana [editor.] | Motta, Enrico [editor.] | Thirunarayan, Krishnaprasad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5823Source: 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): .
|
|
|
|
|
Next Generation Information Technologies and Systems [electronic resource] : 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers / edited by Yishai A. Feldman, Donald Kraft, Tsvi Kuflik. by Feldman, Yishai A [editor.] | Kraft, Donald [editor.] | Kuflik, Tsvi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5831Source: 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): .
|
|
|
|
|
Stochastic Algorithms: Foundations and Applications [electronic resource] : 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings / edited by Osamu Watanabe, Thomas Zeugmann. by Watanabe, Osamu [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5792Source: 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 Conceptual Modeling - Challenging Perspectives [electronic resource] : ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Carlos Alberto Heuser, Günther Pernul. by Heuser, Carlos Alberto [editor.] | Pernul, Günther [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5833Source: 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): .
|
|
|
|
|
Brain Informatics [electronic resource] : International Conference, BI 2009 Beijing, China, October 22-24, 2009 Proceedings / edited by Ning Zhong, Kuncheng Li, Shengfu Lu, Lin Chen. by Zhong, Ning [editor.] | Li, Kuncheng [editor.] | Lu, Shengfu [editor.] | Chen, Lin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5819Source: 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): .
|
|
|
|
|
Flexible Query Answering Systems [electronic resource] : 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings / edited by Troels Andreasen, Ronald R. Yager, Henrik Bulskov, Henning Christiansen, Henrik Legind Larsen. by Andreasen, Troels [editor.] | Yager, Ronald R [editor.] | Bulskov, Henrik [editor.] | Christiansen, Henning [editor.] | Larsen, Henrik Legind [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5822Source: 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): .
|
|
|
|
|
IP Operations and Management [electronic resource] : 9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 29-30, 2009. Proceedings / edited by Giorgio Nunzi, Caterina Scoglio, Xing Li. by Nunzi, Giorgio [editor.] | Scoglio, Caterina [editor.] | Li, Xing [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5843Source: 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): .
|
|
|
|
|
Anaphora Processing and Applications [electronic resource] : 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings / edited by Sobha Lalitha Devi, António Branco, Ruslan Mitkov. by Lalitha Devi, Sobha [editor.] | Branco, António [editor.] | Mitkov, Ruslan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5847Source: 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): .
|
|
|
|
|
Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / edited by Guido Governatori, John Hall, Adrian Paschke. by Governatori, Guido [editor.] | Hall, John [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5858Source: 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): .
|
|
|
|
|
Integrated Management of Systems, Services, Processes and People in IT [electronic resource] : 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, Venice, Italy, October 27-28, 2009. Proceedings / edited by Claudio Bartolini, Luciano Paschoal Gaspary. by Bartolini, Claudio [editor.] | Gaspary, Luciano Paschoal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5841Source: 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): .
|
|
|
|
|
Wired-Wireless Multimedia Networks and Services Management [electronic resource] : 12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2009, Venice, Italy, October 26-27, 2009. Proceedings / edited by Tom Pfeifer, Paolo Bellavista. by Pfeifer, Tom [editor.] | Bellavista, Paolo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5842Source: 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): .
|
|
|
|
|
Modelling Autonomic Communications Environments [electronic resource] : Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009. Proceedings / edited by John C. Strassner, Yacine M. Ghamri-Doudane. by Strassner, John C [editor.] | Ghamri-Doudane, Yacine M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5844Source: 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): .
|
|
|
|
|
Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings / edited by Manuel Núñez, Paul Baker, Mercedes G. Merayo. by Núñez, Manuel [editor.] | Baker, Paul [editor.] | Merayo, Mercedes G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5826Source: 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): .
|
|
|
|
|
Visual Informatics: Bridging Research and Practice [electronic resource] : First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 Proceedings / edited by Halimah Badioze Zaman, Peter Robinson, Maria Petrou, Patrick Olivier, Heiko Schröder, Timothy K. Shih. by Badioze Zaman, Halimah [editor.] | Robinson, Peter [editor.] | Petrou, Maria [editor.] | Olivier, Patrick [editor.] | Schröder, Heiko [editor.] | Shih, Timothy K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5857Source: 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 Ubiquitous User Modelling [electronic resource] : Revised Selected Papers / edited by Tsvi Kuflik, Shlomo Berkovsky, Francesca Carmagnola, Dominikus Heckmann, Antonio Krüger. by Kuflik, Tsvi [editor.] | Berkovsky, Shlomo [editor.] | Carmagnola, Francesca [editor.] | Heckmann, Dominikus [editor.] | Krüger, Antonio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5830Source: 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): .
|
