|
|
|
Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus. by Meyden, Ron [editor.] | Smaus, Jan-Georg [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6572Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos. by Omicini, Andrea [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6619Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Advances in New Technologies, Interactive Interfaces, and Communicability [electronic resource] : First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers / edited by Francisco V. Cipolla Ficarra, Carlos Castro Lozano, Mauricio Pérez Jiménez, Emma Nicol, Andreas Kratky, Miguel Cipolla-Ficarra. by Cipolla Ficarra, Francisco V [editor.] | Castro Lozano, Carlos [editor.] | Pérez Jiménez, Mauricio [editor.] | Nicol, Emma [editor.] | Kratky, Andreas [editor.] | Cipolla-Ficarra, Miguel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6616Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 15th Pacific-Asia Conference, PAKDD 2011, Shenzhen, China, May 24-27, 2011, Proceedings, Part I / edited by Joshua Zhexue Huang, Longbing Cao, Jaideep Srivastava. by Huang, Joshua Zhexue [editor.] | Cao, Longbing [editor.] | Srivastava, Jaideep [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6634Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Graph-Based Representations in Pattern Recognition [electronic resource] : 8th IAPR-TC-15 International Workshop, GbRPR 2011, Münster, Germany, May 18-20, 2011. Proceedings / edited by Xiaoyi Jiang, Miquel Ferrer, Andrea Torsello. by Jiang, Xiaoyi [editor.] | Ferrer, Miquel [editor.] | Torsello, Andrea [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6658Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 15th Pacific-Asia Conference, PAKDD 2011, Shenzhen, China, May 24-27, 2011, Proceedings, Part II / edited by Joshua Zhexue Huang, Longbing Cao, Jaideep Srivastava. by Huang, Joshua Zhexue [editor.] | Cao, Longbing [editor.] | Srivastava, Jaideep [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6635Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings / edited by James P. Delgrande, Wolfgang Faber. by Delgrande, James P [editor.] | Faber, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6645Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
The Semantic Web: Research and Applications [electronic resource] : 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I / edited by Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter Leenheer, Jeff Pan. by Antoniou, Grigoris [editor.] | Grobelnik, Marko [editor.] | Simperl, Elena [editor.] | Parsia, Bijan [editor.] | Plexousakis, Dimitris [editor.] | Leenheer, Pieter [editor.] | Pan, Jeff [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6643Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John’s, Canada, May 25-27, 2011. Proceedings / edited by Cory Butz, Pawan Lingras. by Butz, Cory [editor.] | Lingras, Pawan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6657Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers / edited by Thomas Sturm, Christoph Zengler. by Sturm, Thomas [editor.] | Zengler, Christoph [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6301Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
The Semanic Web: Research and Applications [electronic resource] : 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 – June 2, 2011, Proceedings, Part II / edited by Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter Leenheer, Jeff Pan. by Antoniou, Grigoris [editor.] | Grobelnik, Marko [editor.] | Simperl, Elena [editor.] | Parsia, Bijan [editor.] | Plexousakis, Dimitris [editor.] | Leenheer, Pieter [editor.] | Pan, Jeff [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6644Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Advances in Neural Networks – ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29–June 1, 2011, Proceedings, Part II / edited by Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He. by Liu, Derong [editor.] | Zhang, Huaguang [editor.] | Polycarpou, Marios [editor.] | Alippi, Cesare [editor.] | He, Haibo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6676Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Neural Networks – ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29–June 1, 2011, Proceedings, Part I / edited by Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He. by Liu, Derong [editor.] | Zhang, Huaguang [editor.] | Polycarpou, Marios [editor.] | Alippi, Cesare [editor.] | He, Haibo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6675Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Neural Networks – ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29–June 1, 2011, Proceedings, Part III / edited by Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He. by Liu, Derong [editor.] | Zhang, Huaguang [editor.] | Polycarpou, Marios [editor.] | Alippi, Cesare [editor.] | He, Haibo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6677Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Hybrid Artificial Intelligent Systems [electronic resource] : 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I / edited by Emilio Corchado, Marek Kurzyński, Michał Woźniak. by Corchado, Emilio [editor.] | Kurzyński, Marek [editor.] | Woźniak, Michał [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6678Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Hybrid Artificial Intelligent Systems [electronic resource] : 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II / edited by Emilio Corchado, Marek Kurzyński, Michał Woźniak. by Corchado, Emilio [editor.] | Kurzyński, Marek [editor.] | Woźniak, Michał [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6679Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|