|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings / edited by Maribel Fernández.
by Fernández, Maribel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Reflections on Artificial Intelligence for Humanity [electronic resource] / edited by Bertrand Braunschweig, Malik Ghallab.
by Braunschweig, Bertrand [editor.] | Ghallab, Malik [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Connecting with Computability [electronic resource] : 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings / edited by Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque.
by De Mol, Liesbeth [editor.] | Weiermann, Andreas [editor.] | Manea, Florin [editor.] | Fernández-Duque, David [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
PRIMA 2020: Principles and Practice of Multi-Agent Systems [electronic resource] : 23rd International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings / edited by Takahiro Uchiya, Quan Bai, Iván Marsá Maestre.
by Uchiya, Takahiro [editor.] | Bai, Quan [editor.] | Marsá Maestre, Iván [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 [electronic resource] : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part II / edited by Marleen de Bruijne, Philippe C. Cattin, Stéphane Cotin, Nicolas Padoy, Stefanie Speidel, Yefeng Zheng, Caroline Essert.
by de Bruijne, Marleen [editor.] | Cattin, Philippe C [editor.] | Cotin, Stéphane [editor.] | Padoy, Nicolas [editor.] | Speidel, Stefanie [editor.] | Zheng, Yefeng [editor.] | Essert, Caroline [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Logistics [electronic resource] : 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27-29, 2021, Proceedings / edited by Martijn Mes, Eduardo Lalla-Ruiz, Stefan Voß.
by Mes, Martijn [editor.] | Lalla-Ruiz, Eduardo [editor.] | Voß, Stefan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : 14th International Conference, KSEM 2021, Tokyo, Japan, August 14-16, 2021, Proceedings, Part III / edited by Han Qiu, Cheng Zhang, Zongming Fei, Meikang Qiu, Sun-Yuan Kung.
by Qiu, Han [editor.] | Zhang, Cheng [editor.] | Fei, Zongming [editor.] | Qiu, Meikang [editor.] | Kung, Sun-Yuan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : 14th International Conference, KSEM 2021, Tokyo, Japan, August 14-16, 2021, Proceedings, Part II / edited by Han Qiu, Cheng Zhang, Zongming Fei, Meikang Qiu, Sun-Yuan Kung.
by Qiu, Han [editor.] | Zhang, Cheng [editor.] | Fei, Zongming [editor.] | Qiu, Meikang [editor.] | Kung, Sun-Yuan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : 14th International Conference, KSEM 2021, Tokyo, Japan, August 14-16, 2021, Proceedings, Part I / edited by Han Qiu, Cheng Zhang, Zongming Fei, Meikang Qiu, Sun-Yuan Kung.
by Qiu, Han [editor.] | Zhang, Cheng [editor.] | Fei, Zongming [editor.] | Qiu, Meikang [editor.] | Kung, Sun-Yuan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Data and Applications Security and Privacy XXXVI [electronic resource] : 36th Annual IFIP WG 11.3 Conference, DBSec 2022, Newark, NJ, USA, July 18-20, 2022, Proceedings / edited by Shamik Sural, Haibing Lu.
by Sural, Shamik [editor.] | Lu, Haibing [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
|
|
|
|
Foundations of Information and Knowledge Systems [electronic resource] : 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings / edited by Ivan Varzinczak.
by Varzinczak, Ivan [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
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 20th International Conference on Artificial Intelligence in Medicine, AIME 2022, Halifax, NS, Canada, June 14-17, 2022, Proceedings / edited by Martin Michalowski, Syed Sibte Raza Abidi, Samina Abidi.
by Michalowski, Martin [editor.] | Abidi, Syed Sibte Raza [editor.] | Abidi, Samina [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
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : 15th International Conference, KSEM 2022, Singapore, August 6-8, 2022, Proceedings, Part I / edited by Gerard Memmi, Baijian Yang, Linghe Kong, Tianwei Zhang, Meikang Qiu.
by Memmi, Gerard [editor.] | Yang, Baijian [editor.] | Kong, Linghe [editor.] | Zhang, Tianwei [editor.] | Qiu, Meikang [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
|
|
|
|
Agents and Artificial Intelligence [electronic resource] : 13th International Conference, ICAART 2021, Virtual Event, February 4-6, 2021, Revised Selected Papers / edited by Ana Paula Rocha, Luc Steels, Jaap van den Herik.
by Rocha, Ana Paula [editor.] | Steels, Luc [editor.] | van den Herik, Jaap [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
|
|
|
|
Computer Information Systems and Industrial Management [electronic resource] : 21st International Conference, CISIM 2022, Barranquilla, Colombia, July 15-17, 2022, Proceedings / edited by Khalid Saeed, Jiří Dvorský.
by Saeed, Khalid [editor.] | Dvorský, Jiří [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
|
|
|
|
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries [electronic resource] : 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revised Selected Papers, Part II / edited by Alessandro Crimi, Spyridon Bakas.
by Crimi, Alessandro [editor.] | Bakas, Spyridon [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
|
|
|
|
Machine Learning, Optimization, and Data Science [electronic resource] : 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I / edited by Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Gabriele La Malfa, Panos Pardalos, Giuseppe Di Fatta, Giovanni Giuffrida, Renato Umeton.
by Nicosia, Giuseppe [editor.] | Ojha, Varun [editor.] | La Malfa, Emanuele [editor.] | La Malfa, Gabriele [editor.] | Pardalos, Panos [editor.] | Di Fatta, Giuseppe [editor.] | Giuffrida, Giovanni [editor.] | Umeton, Renato [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
|
|
|
|
Computational Collective Intelligence [electronic resource] : 14th International Conference, ICCCI 2022, Hammamet, Tunisia, September 28-30, 2022, Proceedings / edited by Ngoc Thanh Nguyen, Yannis Manolopoulos, Richard Chbeir, Adrianna Kozierkiewicz, Bogdan Trawiński.
by Nguyen, Ngoc Thanh [editor.] | Manolopoulos, Yannis [editor.] | Chbeir, Richard [editor.] | Kozierkiewicz, Adrianna [editor.] | Trawiński, Bogdan [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
|
|
|
|
Human-Centered Artificial Intelligence [electronic resource] : Advanced Lectures / edited by Mohamed Chetouani, Virginia Dignum, Paul Lukowicz, Carles Sierra.
by Chetouani, Mohamed [editor.] | Dignum, Virginia [editor.] | Lukowicz, Paul [editor.] | Sierra, Carles [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
AIxIA 2022 - Advances in Artificial Intelligence [electronic resource] : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings / edited by Agostino Dovier, Angelo Montanari, Andrea Orlandini.
by Dovier, Agostino [editor.] | Montanari, Angelo [editor.] | Orlandini, Andrea [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
