|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings / edited by Philip Cox, Beryl Plimmer, Peter Rodgers. by Cox, Philip [editor.] | Plimmer, Beryl [editor.] | Rodgers, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7352Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Image and Signal Processing [electronic resource] : 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings / edited by Abderrahim Elmoataz, Driss Mammass, Olivier Lezoray, Fathallah Nouboud, Driss Aboutajdine. by Elmoataz, Abderrahim [editor.] | Mammass, Driss [editor.] | Lezoray, Olivier [editor.] | Nouboud, Fathallah [editor.] | Aboutajdine, Driss [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7340Source: 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): .
|
|
|
|
|
Logical Aspects of Computational Linguistics [electronic resource] : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings / edited by Denis Béchet, Alexander Dikovsky. by Béchet, Denis [editor.] | Dikovsky, Alexander [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7351Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Multidisciplinary Information Retrieval [electronic resource] : 5th Information Retrieval Facility Conference, IRFC 2012, Vienna, Austria, July 2-3, 2012 Proceedings / edited by Michail Salampasis, Birger Larsen. by Salampasis, Michail [editor.] | Larsen, Birger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7356Source: 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): .
|
|
|
|
|
Image Analysis and Recognition [electronic resource] : 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I / edited by Aurélio Campilho, Mohamed Kamel. by Campilho, Aurélio [editor.] | Kamel, Mohamed [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7324Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Image Analysis and Recognition [electronic resource] : 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part II / edited by Aurélio Campilho, Mohamed Kamel. by Campilho, Aurélio [editor.] | Kamel, Mohamed [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7325Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Neural Networks – ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I / edited by Jun Wang, Gary G. Yen, Marios M. Polycarpou. by Wang, Jun [editor.] | Yen, Gary G [editor.] | Polycarpou, Marios M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7367Source: 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): .
|
|
|
|
|
Advances in Neural Networks – ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II / edited by Jun Wang, Gary G. Yen, Marios M. Polycarpou. by Wang, Jun [editor.] | Yen, Gary G [editor.] | Polycarpou, Marios M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7368Source: 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): .
|
|
|
|
|
Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / edited by Bernhard Gramlich, Dale Miller, Uli Sattler. by Gramlich, Bernhard [editor.] | Miller, Dale [editor.] | Sattler, Uli [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7364Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Autonomous and Intelligent Systems [electronic resource] : Third International Conference, AIS 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings / edited by Mohamed Kamel, Fakhri Karray, Hani Hagras. by Kamel, Mohamed [editor.] | Karray, Fakhri [editor.] | Hagras, Hani [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / edited by Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge. by Jeuring, Johan [editor.] | Campbell, John A [editor.] | Carette, Jacques [editor.] | Reis, Gabriel [editor.] | Sojka, Petr [editor.] | Wenzel, Makarius [editor.] | Sorge, Volker [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7362Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by P. Madhusudan, Sanjit A. Seshia. by Madhusudan, P [editor.] | Seshia, Sanjit A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7358Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Transactions on Edutainment VIII [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Maiga Chang, Mingmin Zhang. by Pan, Zhigeng [editor.] | Cheok, Adrian David [editor.] | Müller, Wolfgang [editor.] | Chang, Maiga [editor.] | Zhang, Mingmin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7220Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
User Modeling, Adaptation, and Personalization [electronic resource] : 20th International Conference, UMAP 2012, Montreal, Canada, July 16-20, 2012. Proceedings / edited by Judith Masthoff, Bamshad Mobasher, Michel C. Desmarais, Roger Nkambou. by Masthoff, Judith [editor.] | Mobasher, Bamshad [editor.] | Desmarais, Michel C [editor.] | Nkambou, Roger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7379Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Logic, Language and Meaning [electronic resource] : 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers / edited by Maria Aloni, Vadim Kimmelman, Floris Roelofsen, Galit W. Sassoon, Katrin Schulz, Matthijs Westera. by Aloni, Maria [editor.] | Kimmelman, Vadim [editor.] | Roelofsen, Floris [editor.] | Sassoon, Galit W [editor.] | Schulz, Katrin [editor.] | Westera, Matthijs [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7218Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Lectures on Logic and Computation [electronic resource] : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / edited by Nick Bezhanishvili, Valentin Goranko. by Bezhanishvili, Nick [editor.] | Goranko, Valentin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7388Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings / edited by Tony J. Prescott, Nathan F. Lepora, Anna Mura, Paul F. M. J. Verschure. by Prescott, Tony J [editor.] | Lepora, Nathan F [editor.] | Mura, Anna [editor.] | Verschure, Paul F. M. J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7375Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
