|
|
|
|
Leveraging the Semantics of Topic Maps [electronic resource] : Second International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected Papers / edited by Lutz Maicher, Alexander Sigel, Lars Marius Garshol. by Maicher, Lutz [editor.] | Sigel, Alexander [editor.] | Garshol, Lars Marius [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4438Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Human-Centered Visualization Environments [electronic resource] : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Lectures / edited by Andreas Kerren, Achim Ebert, Jörg Meyer. by Kerren, Andreas [editor.] | Ebert, Achim [editor.] | Meyer, Jörg [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4417Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Programming Multi-Agent Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni. by Bordini, Rafael H [editor.] | Dastani, Mehdi [editor.] | Dix, Jürgen [editor.] | Seghrouchni, Amal El Fallah [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4411Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott. by Clavel, Manuel [author.] | Durán, Francisco [author.] | Eker, Steven [author.] | Lincoln, Patrick [author.] | Martí-Oliet, Narciso [author.] | Meseguer, José [author.] | Talcott, Carolyn [author.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4350Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings / edited by Chitta Baral, Gerhard Brewka, John Schlipf. by Baral, Chitta [editor.] | Brewka, Gerhard [editor.] | Schlipf, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4483Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Artifical Intelligence for Human Computing [electronic resource] : ICMI 2006 and IJCAI 2007 International Workshops, Banff, Canada, November 3, 2006, Hyderabad, India, January 6, 2007, Revised Seleced and Invited Papers / edited by Thomas S. Huang, Anton Nijholt, Maja Pantic, Alex Pentland. by Huang, Thomas S [editor.] | Nijholt, Anton [editor.] | Pantic, Maja [editor.] | Pentland, Alex [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4451Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Neural Networks – ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I / edited by Derong Liu, Shumin Fei, Zeng-Guang Hou, Huaguang Zhang, Changyin Sun. by Liu, Derong [editor.] | Fei, Shumin [editor.] | Hou, Zeng-Guang [editor.] | Zhang, Huaguang [editor.] | Sun, Changyin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4491Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Neural Networks – ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II / edited by Derong Liu, Shumin Fei, Zengguang Hou, Huaguang Zhang, Changyin Sun. by Liu, Derong [editor.] | Fei, Shumin [editor.] | Hou, Zengguang [editor.] | Zhang, Huaguang [editor.] | Sun, Changyin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4492Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Neural Networks – ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III / edited by Derong Liu, Shumin Fei, Zengguang Hou, Huaguang Zhang, Changyin Sun. by Liu, Derong [editor.] | Fei, Shumin [editor.] | Hou, Zengguang [editor.] | Zhang, Huaguang [editor.] | Sun, Changyin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4493Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings / edited by Pascal Hentenryck, Laurence Wolsey. by Hentenryck, Pascal [editor.] | Wolsey, Laurence [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4510Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Rough Sets and Knowledge Technology [electronic resource] : Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007. Proceedings / edited by JingTao Yao, Pawan Lingras, Wei-Zhi Wu, Marcin Szczuka, Nick J. Cercone, Dominik Ślȩzak. by Yao, JingTao [editor.] | Lingras, Pawan [editor.] | Wu, Wei-Zhi [editor.] | Szczuka, Marcin [editor.] | Cercone, Nick J [editor.] | Ślȩzak, Dominik [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4481Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets [electronic resource] : AAMAS 2006 Workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006, Selected and Revised Papers / edited by Maria Fasli, Onn Shehory. by Fasli, Maria [editor.] | Shehory, Onn [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4452Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Multiple Classifier Systems [electronic resource] : 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007. Proceedings / edited by Michal Haindl, Josef Kittler, Fabio Roli. by Haindl, Michal [editor.] | Kittler, Josef [editor.] | Roli, Fabio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4472Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Data and Web Management [electronic resource] : Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007. Proceedings / edited by Guozhu Dong, Xuemin Lin, Wei Wang, Yun Yang, Jeffrey Xu Yu. by Dong, Guozhu [editor.] | Lin, Xuemin [editor.] | Wang, Wei [editor.] | Yang, Yun [editor.] | Yu, Jeffrey Xu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4505Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing [electronic resource] : 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings / edited by Aijun An, Jerzy Stefanowski, Sheela Ramanna, Cory J. Butz, Witold Pedrycz, Guoyin Wang. by An, Aijun [editor.] | Stefanowski, Jerzy [editor.] | Ramanna, Sheela [editor.] | Butz, Cory J [editor.] | Pedrycz, Witold [editor.] | Wang, Guoyin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4482Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Service-Oriented Computing: Agents, Semantics, and Engineering [electronic resource] : AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007. Proceedings / edited by Jingshan Huang, Ryszard Kowalczyk, Zakaria Maamar, David Martin, Ingo Müller, Suzette Stoutenburg, Katia P. Sycara. by Huang, Jingshan [editor.] | Kowalczyk, Ryszard [editor.] | Maamar, Zakaria [editor.] | Martin, David [editor.] | Müller, Ingo [editor.] | Stoutenburg, Suzette [editor.] | Sycara, Katia P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4504Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, Montreal, Canada, May 28-30, 2007. Proceedings / edited by Ziad Kobti, Dan Wu. by Kobti, Ziad [editor.] | Wu, Dan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4509Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
The Semantic Web: Research and Applications [electronic resource] : 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings / edited by Enrico Franconi, Michael Kifer, Wolfgang May. by Franconi, Enrico [editor.] | Kifer, Michael [editor.] | May, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4519Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
