|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / edited by Francisco Botana, Pedro Quaresma. by Botana, Francisco [editor.] | Quaresma, Pedro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9201 | Lecture Notes in Computer Science ; 9201Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari. by Olivetti, Nicola [editor.] | Tiwari, Ashish [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9706 | Lecture Notes in Computer Science ; 9706Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / edited by Renate A. Schmidt, Cláudia Nalon. by Schmidt, Renate A [editor.] | Nalon, Cláudia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10501 | Lecture Notes in Computer Science ; 10501Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / edited by Nardine Osman, Carles Sierra. by Osman, Nardine [editor.] | Sierra, Carles [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10002 | Lecture Notes in Computer Science ; 10002Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2017 Workshops, Visionary Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / edited by Gita Sukthankar, Juan A. Rodriguez-Aguilar. by Sukthankar, Gita [editor.] | Rodriguez-Aguilar, Juan A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10643 | Lecture Notes in Computer Science ; 10643Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / edited by Gita Sukthankar, Juan A. Rodriguez-Aguilar. by Sukthankar, Gita [editor.] | Rodriguez-Aguilar, Juan A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10642 | Lecture Notes in Computer Science ; 10642Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / edited by Nardine Osman, Carles Sierra. by Osman, Nardine [editor.] | Sierra, Carles [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10003 | Lecture Notes in Computer Science ; 10003Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Belief Functions: Theory and Applications [electronic resource] : 4th International Conference, BELIEF 2016, Prague, Czech Republic, September 21-23, 2016, Proceedings / edited by Jiřina Vejnarová, Václav Kratochvíl. by Vejnarová, Jiřina [editor.] | Kratochvíl, Václav [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9861 | Lecture Notes in Computer Science ; 9861Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Big Data Analytics in the Social and Ubiquitous Context [electronic resource] : 5th International Workshop on Modeling Social Media, MSM 2014, 5th International Workshop on Mining Ubiquitous and Social Environments, MUSE 2014, and First International Workshop on Machine Learning for Urban Sensor Data, SenseML 2014, Revised Selected Papers / edited by Martin Atzmueller, Alvin Chin, Frederik Janssen, Immanuel Schweizer, Christoph Trattner. by Atzmueller, Martin [editor.] | Chin, Alvin [editor.] | Janssen, Frederik [editor.] | Schweizer, Immanuel [editor.] | Trattner, Christoph [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9546 | Lecture Notes in Computer Science ; 9546Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26–28, 2017, Proceedings / edited by Michael Mangan, Mark Cutkosky, Anna Mura, Paul F.M.J. Verschure, Tony Prescott, Nathan Lepora. by Mangan, Michael [editor.] | Cutkosky, Mark [editor.] | Mura, Anna [editor.] | Verschure, Paul F.M.J [editor.] | Prescott, Tony [editor.] | Lepora, Nathan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10384 | Lecture Notes in Computer Science ; 10384Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings / edited by Nathan F. Lepora, Anna Mura, Michael Mangan, Paul F.M.J. Verschure, Marc Desmulliez, Tony J. Prescott. by Lepora, Nathan F [editor.] | Mura, Anna [editor.] | Mangan, Michael [editor.] | Verschure, Paul F.M.J [editor.] | Desmulliez, Marc [editor.] | Prescott, Tony J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9793 | Lecture Notes in Computer Science ; 9793Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015, Proceedings / edited by Stuart P. Wilson, Paul F.M.J. Verschure, Anna Mura, Tony J. Prescott. by Wilson, Stuart P [editor.] | Verschure, Paul F.M.J [editor.] | Mura, Anna [editor.] | Prescott, Tony J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9222 | Lecture Notes in Computer Science ; 9222Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Brain Function Assessment in Learning [electronic resource] : First International Conference, BFAL 2017, Patras, Greece, September 24-25, 2017, Proceedings / edited by Claude Frasson, George Kostopoulos. by Frasson, Claude [editor.] | Kostopoulos, George [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10512 | Lecture Notes in Computer Science ; 10512Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Brain Informatics [electronic resource] : International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedings / edited by Yi Zeng, Yong He, Jeanette Hellgren Kotaleski, Maryann Martone, Bo Xu, Hanchuan Peng, Qingming Luo. by Zeng, Yi [editor.] | He, Yong [editor.] | Kotaleski, Jeanette Hellgren [editor.] | Martone, Maryann [editor.] | Xu, Bo [editor.] | Peng, Hanchuan [editor.] | Luo, Qingming [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10654 | Lecture Notes in Computer Science ; 10654Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
