|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings / edited by José F. Morales, Dominic Orchard.
by Morales, José F [editor.] | Orchard, Dominic [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
|
|
|
|
Mining Data for Financial Applications [electronic resource] : 5th ECML PKDD Workshop, MIDAS 2020, Ghent, Belgium, September 18, 2020, Revised Selected Papers / edited by Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini.
by Bitetta, Valerio [editor.] | Bordino, Ilaria [editor.] | Ferretti, Andrea [editor.] | Gullo, Francesco [editor.] | Ponti, Giovanni [editor.] | Severini, Lorenzo [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
|
|
|
|
Networked Systems [electronic resource] : 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings / edited by Chryssis Georgiou, Rupak Majumdar.
by Georgiou, Chryssis [editor.] | Majumdar, Rupak [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
|
|
|
|
Static Analysis [electronic resource] : 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings / edited by David Pichardie, Mihaela Sighireanu.
by Pichardie, David [editor.] | Sighireanu, Mihaela [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
|
|
|
|
Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection [electronic resource] : 8th International Conference, EuroMed 2020, Virtual Event, November 2-5, 2020, Revised Selected Papers / edited by Marinos Ioannides, Eleanor Fink, Lorenzo Cantoni, Erik Champion.
by Ioannides, Marinos [editor.] | Fink, Eleanor [editor.] | Cantoni, Lorenzo [editor.] | Champion, Erik [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
|
|
|
|
Trustworthy AI - Integrating Learning, Optimization and Reasoning [electronic resource] : First International Workshop, TAILOR 2020, Virtual Event, September 4-5, 2020, Revised Selected Papers / edited by Fredrik Heintz, Michela Milano, Barry O'Sullivan.
by Heintz, Fredrik [editor.] | Milano, Michela [editor.] | O'Sullivan, Barry [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
|
|
|
|
Artificial Intelligence in Music, Sound, Art and Design [electronic resource] : 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings / edited by Juan Romero, Tiago Martins, Nereida Rodríguez-Fernández.
by Romero, Juan [editor.] | Martins, Tiago [editor.] | Rodríguez-Fernández, Nereida [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
|
|
|
|
Multi-Agent-Based Simulation XXI [electronic resource] : 21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020, Revised Selected Papers / edited by Samarth Swarup, Bastin Tony Roy Savarimuthu.
by Swarup, Samarth [editor.] | Savarimuthu, Bastin Tony Roy [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
|
|
|
|
Graph-Based Representation and Reasoning [electronic resource] : 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20-22, 2021, Proceedings / edited by Tanya Braun, Marcel Gehrke, Tom Hanika, Nathalie Hernandez.
by Braun, Tanya [editor.] | Gehrke, Marcel [editor.] | Hanika, Tom [editor.] | Hernandez, Nathalie [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
|
|
|
|
Artificial Neural Networks and Machine Learning - ICANN 2021 [electronic resource] : 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part I / edited by Igor Farkaš, Paolo Masulli, Sebastian Otte, Stefan Wermter.
by Farkaš, Igor [editor.] | Masulli, Paolo [editor.] | Otte, Sebastian [editor.] | Wermter, 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
|
|
|
|
Artificial Intelligence and Security [electronic resource] : 8th International Conference, ICAIS 2022, Qinghai, China, July 15-20, 2022, Proceedings, Part II / edited by Xingming Sun, Xiaorui Zhang, Zhihua Xia, Elisa Bertino.
by Sun, Xingming [editor.] | Zhang, Xiaorui [editor.] | Xia, Zhihua [editor.] | Bertino, Elisa [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 Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection [electronic resource] : 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6-8, 2021, Proceedings / edited by Frank Dignum, Juan Manuel Corchado, Fernando De La Prieta.
by Dignum, Frank [editor.] | Corchado, Juan Manuel [editor.] | De La Prieta, Fernando [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
|
|
|
|
Interactive Collaborative Robotics [electronic resource] : 6th International Conference, ICR 2021, St. Petersburg, Russia, September 27-30, 2021, Proceedings / edited by Andrey Ronzhin, Gerhard Rigoll, Roman Meshcheryakov.
by Ronzhin, Andrey [editor.] | Rigoll, Gerhard [editor.] | Meshcheryakov, Roman [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 V / 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
|
|
|
|
Advances in Bioinformatics and Computational Biology [electronic resource] : 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13-16, 2023, Proceedings / edited by Marcelo S. Reis, Raquel C. de Melo-Minardi.
by Reis, Marcelo S [editor.] | de Melo-Minardi, Raquel C [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
|
|
|
|
Ubiquitous Networking [electronic resource] : 8th International Symposium, UNet 2022, Montreal, QC, Canada, October 25-27, 2022, Revised Selected Papers / edited by Essaid Sabir, Halima Elbiaze, Francisco Falcone, Wessam Ajib, Mohamed Sadik.
by Sabir, Essaid [editor.] | Elbiaze, Halima [editor.] | Falcone, Francisco [editor.] | Ajib, Wessam [editor.] | Sadik, Mohamed [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2017 [electronic resource] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Borruso, Giuseppe [editor.] | Torre, Carmelo M [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Cuzzocrea, Alfredo [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 Information and Database Systems [electronic resource] : 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part I / edited by Ngoc-Thanh Nguyen, Boonwat Attachoo, Bogdan Trawinski, Kulwadee Somboonviwat.
by Nguyen, Ngoc-Thanh [editor.] | Attachoo, Boonwat [editor.] | Trawinski, Bogdan [editor.] | Somboonviwat, Kulwadee [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings / edited by Guojin Wang, Albert Zomaya, Gregorio Martinez, Kenli Li.
by Wang, Guojin [editor.] | Zomaya, Albert [editor.] | Martinez, Gregorio [editor.] | Li, Kenli [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2013 [electronic resource] : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I / edited by Kensaku Mori, Ichiro Sakuma, Yoshinobu Sato, Christian Barillot, Nassir Navab.
by Mori, Kensaku [editor.] | Sakuma, Ichiro [editor.] | Sato, Yoshinobu [editor.] | Barillot, Christian [editor.] | Navab, Nassir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
