|
|
|
Intelligent Systems II: Complete Approximation by Neural Network Operators [electronic resource] / by George A. Anastassiou.
by Anastassiou, George A [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
|
|
|
|
Intelligent Decision Technologies 2016 [electronic resource] : Proceedings of the 8th KES International Conference on Intelligent Decision Technologies (KES-IDT 2016) - Part I / edited by Ireneusz Czarnowski, Alfonso Mateos Caballero, Robert J. Howlett, Lakhmi C. Jain.
by Czarnowski, Ireneusz [editor.] | Caballero, Alfonso Mateos [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [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
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings / edited by Claude-Guy Quimper.
by Quimper, Claude-Guy [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
|
|
|
|
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsouki�as.
by Perny, Patrice [editor.] | Pirlot, Marc [editor.] | Tsouki�as, Alexis [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
|
|
|
|
Theory and Applications of Formal Argumentation [electronic resource] : Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers / edited by Elizabeth Black, Sanjay Modgil, Nir Oren.
by Black, Elizabeth [editor.] | Modgil, Sanjay [editor.] | Oren, Nir [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
|
|
|
|
Sustainable Design and Manufacturing 2016 [electronic resource] / edited by Rossi Setchi, Robert J. Howlett, Ying Liu, Peter Theobald.
by Setchi, Rossi [editor.] | Howlett, Robert J [editor.] | Liu, Ying [editor.] | Theobald, Peter [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
|
|
|
|
Self-Organizing Migrating Algorithm [electronic resource] : Methodology and Implementation / edited by Donald Davendra, Ivan Zelinka.
by Davendra, Donald [editor.] | Zelinka, Ivan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Image Analysis and Recognition [electronic resource] : 10th International Conference, ICIAR 2013, P�ovoa do Varzim, Portugal, June 26-28, 2013. Proceedings / edited by Mohamed Kamel, Aur�elio Campilho.
by Kamel, Mohamed [editor.] | Campilho, Aur�elio [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
|
|
|
|
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). 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
|
|
|
|
Graph Drawing and Network Visualization [electronic resource] : 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers / edited by Yifan Hu, Martin N�ollenburg.
by Hu, Yifan [editor.] | N�ollenburg, Martin [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
|
|
|
|
Innovations in Bio-Inspired Computing and Applications [electronic resource] : Proceedings of the 6th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2015) held in Kochi, India during December 16-18, 2015 / edited by V�aclav Sn�ašel, Ajit Abraham, Pavel Kr�omer, Millie Pant, Azah Kamilah Muda.
by Sn�ašel, V�aclav [editor.] | Abraham, Ajit [editor.] | Kr�omer, Pavel [editor.] | Pant, Millie [editor.] | Muda, Azah Kamilah [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
|
|
|
|
Verified Software: Theories, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / edited by Ernie Cohen, Andrey Rybalchenko.
by Cohen, Ernie [editor.] | Rybalchenko, Andrey [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
|
|
|
|
New Advances in Information Systems and Technologies [electronic resource] / edited by �Alvaro Rocha, Ana Maria Correia, Hojjat Adeli, Luis Paulo Reis, Marcelo Mendon�ca Teixeira.
by Rocha, �Alvaro [editor.] | Correia, Ana Maria [editor.] | Adeli, Hojjat [editor.] | Reis, Luis Paulo [editor.] | Mendon�ca Teixeira, Marcelo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / edited by Moreno Falaschi.
by Falaschi, Moreno [editor.] | 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
|
|
|
|
Multiagent System Technologies [electronic resource] : 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers / edited by J�org P. M�uller, Wolf Ketter, Gal Kaminka, Gerd Wagner, Nils Bulling.
by M�uller, J�org P [editor.] | Ketter, Wolf [editor.] | Kaminka, Gal [editor.] | Wagner, Gerd [editor.] | Bulling, Nils [editor.] | 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
|
|
|
|
Robot Operating System (ROS) [electronic resource] : The Complete Reference (Volume 1) / edited by Anis Koubaa.
by Koubaa, Anis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Granular Computing in Decision Approximation [electronic resource] : An Application of Rough Mereology / by Lech Polkowski, Piotr Artiemjew.
by Polkowski, Lech [author.] | Artiemjew, Piotr [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
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Mart�in-Vide, Bianca Truthe.
by Dediu, Adrian-Horia [editor.] | Formenti, Enrico [editor.] | Mart�in-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | 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
|
|
|
|
Computational Logistics [electronic resource] : 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Francesco Corman, Stefan Vo�, Rudy R. Negenborn.
by Corman, Francesco [editor.] | Vo�, Stefan [editor.] | Negenborn, Rudy R [editor.] | 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
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 18th Pacific-Asia Conference, PAKDD 2014, Tainan, Taiwan, May 13-16, 2014. Proceedings, Part II / edited by Vincent S. Tseng, Tu Bao Ho, Zhi-Hua Zhou, Arbee L. P. Chen, Hung-Yu Kao.
by Tseng, Vincent S [editor.] | Ho, Tu Bao [editor.] | Zhou, Zhi-Hua [editor.] | Chen, Arbee L. P [editor.] | Kao, Hung-Yu [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
|
