|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings / edited by Maurice H. ter Beek, Dejan Ničković.
by ter Beek, Maurice H [editor.] | Ničković, Dejan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018, Proceedings, Part I / edited by Zhiyong Chen, Alexandre Mendes, Yamin Yan, Shifeng Chen.
by Chen, Zhiyong [editor.] | Mendes, Alexandre [editor.] | Yan, Yamin [editor.] | Chen, Shifeng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Learning and Collaboration Technologies. Ubiquitous and Virtual Environments for Learning and Collaboration [electronic resource] : 6th International Conference, LCT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II / edited by Panayiotis Zaphiris, Andri Ioannou.
by Zaphiris, Panayiotis [editor.] | Ioannou, Andri [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Neural Information Processing [electronic resource] : 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings, Part I / edited by Tom Gedeon, Kok Wai Wong, Minho Lee.
by Gedeon, Tom [editor.] | Wong, Kok Wai [editor.] | Lee, Minho [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
The Multi-Agent Programming Contest 2018 [electronic resource] : Agents Teaming Up in an Urban Environment / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas.
by Ahlbrecht, Tobias [editor.] | Dix, Jürgen [editor.] | Fiekas, Niklas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Vision - ECCV 2020 [electronic resource] : 16th European Conference, Glasgow, UK, August 23-28, 2020, Proceedings, Part IV / edited by Andrea Vedaldi, Horst Bischof, Thomas Brox, Jan-Michael Frahm.
by Vedaldi, Andrea [editor.] | Bischof, Horst [editor.] | Brox, Thomas [editor.] | Frahm, Jan-Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Tests and Proofs [electronic resource] : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings / edited by Wolfgang Ahrendt, Heike Wehrheim.
by Ahrendt, Wolfgang [editor.] | Wehrheim, Heike [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Image Analysis and Recognition [electronic resource] : 17th International Conference, ICIAR 2020, Póvoa de Varzim, Portugal, June 24-26, 2020, Proceedings, Part I / edited by Aurélio Campilho, Fakhri Karray, Zhou Wang.
by Campilho, Aurélio [editor.] | Karray, Fakhri [editor.] | Wang, Zhou [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Social Robotics [electronic resource] : 12th International Conference, ICSR 2020, Golden, CO, USA, November 14-18, 2020, Proceedings / edited by Alan R. Wagner, David Feil-Seifer, Kerstin S. Haring, Silvia Rossi, Thomas Williams, Hongsheng He, Shuzhi Sam Ge.
by Wagner, Alan R [editor.] | Feil-Seifer, David [editor.] | Haring, Kerstin S [editor.] | Rossi, Silvia [editor.] | Williams, Thomas [editor.] | He, Hongsheng [editor.] | Sam Ge, Shuzhi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Vision - ECCV 2018 Workshops [electronic resource] : Munich, Germany, September 8-14, 2018, Proceedings, Part IV / edited by Laura Leal-Taixé, Stefan Roth.
by Leal-Taixé, Laura [editor.] | Roth, Stefan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / edited by Jing Sun, Meng Sun.
by Sun, Jing [editor.] | Sun, Meng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Web and Big Data [electronic resource] : APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23-25, 2018, Revised Selected Papers / edited by Leong Hou U, Haoran Xie.
by U, Leong Hou [editor.] | Xie, Haoran [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Swarm Intelligence [electronic resource] : 11th International Conference, ANTS 2018, Rome, Italy, October 29-31, 2018, Proceedings / edited by Marco Dorigo, Mauro Birattari, Christian Blum, Anders L. Christensen, Andreagiovanni Reina, Vito Trianni.
by Dorigo, Marco [editor.] | Birattari, Mauro [editor.] | Blum, Christian [editor.] | Christensen, Anders L [editor.] | Reina, Andreagiovanni [editor.] | Trianni, Vito [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Physiological Computing Systems [electronic resource] : International Conferences, PhyCS 2016, Lisbon, Portugal, July 27-28, 2016, PhyCS 2017, Madrid, Spain, July 27-28, 2017, PhyCS 2018, Seville, Spain, September 19-21, 2018, Revised and Extended Selected Papers / edited by Andreas Holzinger, Alan Pope, Hugo Plácido da Silva.
by Holzinger, Andreas [editor.] | Pope, Alan [editor.] | Plácido da Silva, Hugo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part II / edited by Paulo Moura Oliveira, Paulo Novais, Luís Paulo Reis.
by Moura Oliveira, Paulo [editor.] | Novais, Paulo [editor.] | Reis, Luís Paulo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I / edited by Paulo Moura Oliveira, Paulo Novais, Luís Paulo Reis.
by Moura Oliveira, Paulo [editor.] | Novais, Paulo [editor.] | Reis, Luís Paulo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Analysis of Images and Patterns [electronic resource] : 18th International Conference, CAIP 2019, Salerno, Italy, September 3-5, 2019, Proceedings, Part I / edited by Mario Vento, Gennaro Percannella.
by Vento, Mario [editor.] | Percannella, Gennaro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Explainable, Transparent Autonomous Agents and Multi-Agent Systems [electronic resource] : First International Workshop, EXTRAAMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers / edited by Davide Calvaresi, Amro Najjar, Michael Schumacher, Kary Främling.
by Calvaresi, Davide [editor.] | Najjar, Amro [editor.] | Schumacher, Michael [editor.] | Främling, Kary [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Human-Computer Interaction. Human Values and Quality of Life [electronic resource] : Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part III / edited by Masaaki Kurosu.
by Kurosu, Masaaki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Human Interface and the Management of Information. Interacting with Information [electronic resource] : Thematic Area, HIMI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II / edited by Sakae Yamamoto, Hirohiko Mori.
by Yamamoto, Sakae [editor.] | Mori, Hirohiko [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
