|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / edited by Ofer Strichman, Rachel Tzoref-Brill.
by Strichman, Ofer [editor.] | Tzoref-Brill, Rachel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Neural Information Processing [electronic resource] : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part V / edited by Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy.
by Liu, Derong [editor.] | Xie, Shengli [editor.] | Li, Yuanqing [editor.] | Zhao, Dongbin [editor.] | El-Alfy, El-Sayed M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11-15, 2018, Proceedings / edited by Roger Nkambou, Roger Azevedo, Julita Vassileva.
by Nkambou, Roger [editor.] | Azevedo, Roger [editor.] | Vassileva, Julita [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
|
|
|
|
It's All About Coordination [electronic resource] : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / edited by Frank de Boer, Marcello Bonsangue, Jan Rutten.
by de Boer, Frank [editor.] | Bonsangue, Marcello [editor.] | Rutten, Jan [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 Engineering [electronic resource] : 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings / edited by Tommi Mikkonen, Ralf Klamma, Juan Hernández.
by Mikkonen, Tommi [editor.] | Klamma, Ralf [editor.] | Hernández, Juan [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
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II / edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada.
by Rutkowski, Leszek [editor.] | Scherer, Rafał [editor.] | Korytkowski, Marcin [editor.] | Pedrycz, Witold [editor.] | Tadeusiewicz, Ryszard [editor.] | Zurada, Jacek M [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
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I / edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada.
by Rutkowski, Leszek [editor.] | Scherer, Rafał [editor.] | Korytkowski, Marcin [editor.] | Pedrycz, Witold [editor.] | Tadeusiewicz, Ryszard [editor.] | Zurada, Jacek M [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
|
|
|
|
Smart Ultrasound Imaging and Perinatal, Preterm and Paediatric Image Analysis [electronic resource] : First International Workshop, SUSI 2019, and 4th International Workshop, PIPPI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proceedings / edited by Qian Wang, Alberto Gomez, Jana Hutter, Kristin McLeod, Veronika Zimmer, Oliver Zettinig, Roxane Licandro, Emma Robinson, Daan Christiaens, Esra Abaci Turk, Andrew Melbourne.
by Wang, Qian [editor.] | Gomez, Alberto [editor.] | Hutter, Jana [editor.] | McLeod, Kristin [editor.] | Zimmer, Veronika [editor.] | Zettinig, Oliver [editor.] | Licandro, Roxane [editor.] | Robinson, Emma [editor.] | Christiaens, Daan [editor.] | Turk, Esra Abaci [editor.] | Melbourne, Andrew [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
|
|
|
|
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings / edited by Louis-Martin Rousseau, Kostas Stergiou.
by Rousseau, Louis-Martin [editor.] | Stergiou, Kostas [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
|
|
|
|
Graph-Based Representation and Reasoning [electronic resource] : 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings / edited by Peter Chapman, Dominik Endres, Nathalie Pernelle.
by Chapman, Peter [editor.] | Endres, Dominik [editor.] | Pernelle, Nathalie [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
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings / edited by Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci.
by Chapman, Peter [editor.] | Stapleton, Gem [editor.] | Moktefi, Amirouche [editor.] | Perez-Kriz, Sarah [editor.] | Bellucci, Francesco [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
|
|
|
|
Latent Variable Analysis and Signal Separation [electronic resource] : 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2-5, 2018, Proceedings / edited by Yannick Deville, Sharon Gannot, Russell Mason, Mark D. Plumbley, Dominic Ward.
by Deville, Yannick [editor.] | Gannot, Sharon [editor.] | Mason, Russell [editor.] | Plumbley, Mark D [editor.] | Ward, Dominic [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
|
|
|
|
Inductive Logic Programming [electronic resource] : 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings / edited by Nikos Katzouris, Alexander Artikis.
by Katzouris, Nikos [editor.] | Artikis, Alexander [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Information for a Better World: Shaping the Global Future [electronic resource] : 17th International Conference, iConference 2022, Virtual Event, February 28 - March 4, 2022, Proceedings, Part I / edited by Malte Smits.
by Smits, Malte [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16-19, 2022, Proceedings, Part I / edited by João Gama, Tianrui Li, Yang Yu, Enhong Chen, Yu Zheng, Fei Teng.
by Gama, João [editor.] | Li, Tianrui [editor.] | Yu, Yang [editor.] | Chen, Enhong [editor.] | Zheng, Yu [editor.] | Teng, Fei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Pattern Recognition [electronic resource] : 6th Asian Conference, ACPR 2021, Jeju Island, South Korea, November 9-12, 2021, Revised Selected Papers, Part II / edited by Christian Wallraven, Qingshan Liu, Hajime Nagahara.
by Wallraven, Christian [editor.] | Liu, Qingshan [editor.] | Nagahara, Hajime [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16-19, 2022, Proceedings, Part II / edited by João Gama, Tianrui Li, Yang Yu, Enhong Chen, Yu Zheng, Fei Teng.
by Gama, João [editor.] | Li, Tianrui [editor.] | Yu, Yang [editor.] | Chen, Enhong [editor.] | Zheng, Yu [editor.] | Teng, Fei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Pattern Recognition [electronic resource] : 6th Asian Conference, ACPR 2021, Jeju Island, South Korea, November 9-12, 2021, Revised Selected Papers, Part I / edited by Christian Wallraven, Qingshan Liu, Hajime Nagahara.
by Wallraven, Christian [editor.] | Liu, Qingshan [editor.] | Nagahara, Hajime [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16-19, 2022, Proceedings, Part III / edited by João Gama, Tianrui Li, Yang Yu, Enhong Chen, Yu Zheng, Fei Teng.
by Gama, João [editor.] | Li, Tianrui [editor.] | Yu, Yang [editor.] | Chen, Enhong [editor.] | Zheng, Yu [editor.] | Teng, Fei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Graph-Based Representations in Pattern Recognition [electronic resource] : 13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023, Proceedings / edited by Mario Vento, Pasquale Foggia, Donatello Conte, Vincenzo Carletti.
by Vento, Mario [editor.] | Foggia, Pasquale [editor.] | Conte, Donatello [editor.] | Carletti, Vincenzo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
