|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings / edited by Martin Giese, Arild Waaler. by Giese, Martin [editor.] | Waaler, Arild [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5607Source: 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): .
|
|
|
|
|
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings / edited by Don Harris. by Harris, Don [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5639Source: 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): .
|
|
|
|
|
Virtual and Mixed Reality [electronic resource] : Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings / edited by Randall Shumaker. by Shumaker, Randall [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5622Source: 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): .
|
|
|
|
|
Human Centered Design [electronic resource] : First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 Proceedings / edited by Masaaki Kurosu. by Kurosu, Masaaki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5619Source: 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): .
|
|
|
|
|
Logic Programming [electronic resource] : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings / edited by Patricia M. Hill, David S. Warren. by Hill, Patricia M [editor.] | Warren, David S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5649Source: 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): .
|
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings / edited by Claudio Sossai, Gaetano Chemello. by Sossai, Claudio [editor.] | Chemello, Gaetano [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5590Source: 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): .
|
|
|
|
|
|
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings / edited by Carlo Combi, Yuval Shahar, Ameen Abu-Hanna. by Combi, Carlo [editor.] | Shahar, Yuval [editor.] | Abu-Hanna, Ameen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5651Source: 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 Spatial and Temporal Databases [electronic resource] : 11th International Symposium, SSTD 2009 Aalborg, Denmark, July 8-10, 2009 Proceedings / edited by Nikos Mamoulis, Thomas Seidl, Torben Bach Pedersen, Kristian Torp, Ira Assent. by Mamoulis, Nikos [editor.] | Seidl, Thomas [editor.] | Pedersen, Torben Bach [editor.] | Torp, Kristian [editor.] | Assent, Ira [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5644Source: 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): .
|
|
|
|
|
Case-Based Reasoning Research and Development [electronic resource] : 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings / edited by Lorraine McGinty, David C. Wilson. by McGinty, Lorraine [editor.] | Wilson, David C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5650Source: 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 Neuro-Information Processing [electronic resource] : 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II / edited by Mario Köppen, Nikola Kasabov, George Coghill. by Köppen, Mario [editor.] | Kasabov, Nikola [editor.] | Coghill, George [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5507Source: 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): .
|
|
|
|
|
Statistical and Geometrical Approaches to Visual Motion Analysis [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, July 13-18, 2008. Revised Papers / edited by Daniel Cremers, Bodo Rosenhahn, Alan L. Yuille, Frank R. Schmidt. by Cremers, Daniel [editor.] | Rosenhahn, Bodo [editor.] | Yuille, Alan L [editor.] | Schmidt, Frank R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5604Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
DNA Computing [electronic resource] : 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers / edited by Ashish Goel, Friedrich C. Simmel, Petr Sosík. by Goel, Ashish [editor.] | Simmel, Friedrich C [editor.] | Sosík, Petr [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5347Source: 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): .
|
|
|
|
|
Conceptual Structures: Leveraging Semantic Technologies [electronic resource] : 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings / edited by Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov. by Rudolph, Sebastian [editor.] | Dau, Frithjof [editor.] | Kuznetsov, Sergei O [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5662Source: 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): .
|
|
|
|
|
Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe. by Archibald, Margaret [editor.] | Brattka, Vasco [editor.] | Goranko, Valentin [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5489Source: 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 Bioinformatics and Computational Biology [electronic resource] : 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings / edited by Katia S. Guimarães, Anna Panchenko, Teresa M. Przytycka. by Guimarães, Katia S [editor.] | Panchenko, Anna [editor.] | Przytycka, Teresa M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5676Source: 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): .
|
|
|
|
|
|
