|
|
|
Introduction to Annotated Logics [electronic resource] : Foundations for Paracomplete and Paraconsistent Reasoning / by Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu.
by Abe, Jair Minoro [author.] | Akama, Seiki [author.] | Nakamatsu, Kazumi [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Text, Speech and Dialogue [electronic resource] : 17th International Conference, TSD 2014, Brno, Czech Republic, September 8-12, 2014. Proceedings / edited by Petr Sojka, Aleš Hor�ak, Ivan Kopeček, Karel Pala.
by Sojka, Petr [editor.] | Hor�ak, Aleš [editor.] | Kopeček, Ivan [editor.] | Pala, Karel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Biomedical Data Management and Graph Online Querying [electronic resource] : VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 - September 4, 2015, Revised Selected Papers / edited by Fusheng Wang, Gang Luo, Chunhua Weng, Arijit Khan, Prasenjit Mitra, Cong Yu.
by Wang, Fusheng [editor.] | Luo, Gang [editor.] | Weng, Chunhua [editor.] | Khan, Arijit [editor.] | Mitra, Prasenjit [editor.] | Yu, Cong [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedings / edited by Richard Khoury, Christopher Drummond.
by Khoury, Richard [editor.] | Drummond, Christopher [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Intelligence for Decision Support in Cyber-Physical Systems [electronic resource] / edited by Zeashan H Khan, A. B. M. Shawkat Ali, Zahid Riaz.
by Khan, Zeashan H [editor.] | Ali, A. B. M. Shawkat [editor.] | Riaz, Zahid [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Proceedings of Fourth International Conference on Soft Computing for Problem Solving [electronic resource] : SocProS 2014, Volume 2 / edited by Kedar Nath Das, Kusum Deep, Millie Pant, Jagdish Chand Bansal, Atulya Nagar.
by Das, Kedar Nath [editor.] | Deep, Kusum [editor.] | Pant, Millie [editor.] | Bansal, Jagdish Chand [editor.] | Nagar, Atulya [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New Delhi : Springer India : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth L. McMillan, Xavier Rival.
by McMillan, Kenneth L [editor.] | Rival, Xavier [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
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�a, V�aclav Kratochv�il.
by Vejnarov�a, Jiřina [editor.] | Kratochv�il, V�aclav [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 20th Pacific-Asia Conference, PAKDD 2016, Auckland, New Zealand, April 19-22, 2016, Proceedings, Part I / edited by James Bailey, Latifur Khan, Takashi Washio, Gill Dobbie, Joshua Zhexue Huang, Ruili Wang.
by Bailey, James [editor.] | Khan, Latifur [editor.] | Washio, Takashi [editor.] | Dobbie, Gill [editor.] | Huang, Joshua Zhexue [editor.] | Wang, Ruili [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Similarity-Based Pattern Recognition [electronic resource] : Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings / edited by Edwin Hancock, Marcello Pelillo.
by Hancock, Edwin [editor.] | Pelillo, Marcello [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Data analysis and its Applications, Volume II [electronic resource] : Proceeding of the First Euro-China Conference on Intelligent Data Analysis and Applications, June 13-15, 2014, Shenzhen, China / edited by Jeng-Shyang Pan, Vaclav Snasel, Emilio S. Corchado, Ajith Abraham, Shyue-Liang Wang.
by Pan, Jeng-Shyang [editor.] | Snasel, Vaclav [editor.] | Corchado, Emilio S [editor.] | Abraham, Ajith [editor.] | Wang, Shyue-Liang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Principles and Practice of Constraint Programming [electronic resource] : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings / edited by Michel Rueher.
by Rueher, Michel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Unconventional Computation and Natural Computation [electronic resource] : 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings / edited by Cristian S. Calude, Michael J. Dinneen.
by Calude, Cristian S [editor.] | Dinneen, Michael J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Interactive Collaborative Robotics [electronic resource] : First International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016, Proceedings / edited by Andrey Ronzhin, Gerhard Rigoll, Roman Meshcheryakov.
by Ronzhin, Andrey [editor.] | Rigoll, Gerhard [editor.] | Meshcheryakov, Roman [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers / edited by Claudia Angelini, Paola MV Rancoita, Stefano Rovetta.
by Angelini, Claudia [editor.] | Rancoita, Paola MV [editor.] | Rovetta, Stefano [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Principles of Imprecise-Information Processing [electronic resource] : A New Theoretical and Technological System. / by Shiyou Lian.
by Lian, Shiyou [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Procedural Content Generation in Games [electronic resource] / by Noor Shaker, Julian Togelius, Mark J. Nelson.
by Shaker, Noor [author.] | Togelius, Julian [author.] | Nelson, Mark J [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Trends and Applications in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016, Revised Selected Papers / edited by Huiping Cao, Jinyan Li, Ruili Wang.
by Cao, Huiping [editor.] | Li, Jinyan [editor.] | Wang, Ruili [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
PRICAI 2016: Trends in Artificial Intelligence [electronic resource] : 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings / edited by Richard Booth, Min-Ling Zhang.
by Booth, Richard [editor.] | Zhang, Min-Ling [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Experimental Robotics [electronic resource] : The 12th International Symposium on Experimental Robotics / edited by Oussama Khatib, Vijay Kumar, Gaurav Sukhatme.
by Khatib, Oussama [editor.] | Kumar, Vijay [editor.] | Sukhatme, Gaurav [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
