|
|
|
Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 8th Language and Technology Conference, LTC 2017, Poznań, Poland, November 17-19, 2017, Revised Selected Papers / edited by Zygmunt Vetulani, Patrick Paroubek, Marek Kubis.
by Vetulani, Zygmunt [editor.] | Paroubek, Patrick [editor.] | Kubis, Marek [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings / edited by Fritz Henglein, Sharon Shoham, Yakir Vizel.
by Henglein, Fritz [editor.] | Shoham, Sharon [editor.] | Vizel, Yakir [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
|
|
|
|
Computer Vision - ECCV 2020 Workshops [electronic resource] : Glasgow, UK, August 23-28, 2020, Proceedings, Part I / edited by Adrien Bartoli, Andrea Fusiello.
by Bartoli, Adrien [editor.] | Fusiello, Andrea [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
|
|
|
|
High Performance Computing in Science and Engineering [electronic resource] : 4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20-23, 2019, Revised Selected Papers / edited by Tomáš Kozubek, Peter Arbenz, Jiří Jaroš, Lubomír Říha, Jakub Šístek, Petr Tichý.
by Kozubek, Tomáš [editor.] | Arbenz, Peter [editor.] | Jaroš, Jiří [editor.] | Říha, Lubomír [editor.] | Šístek, Jakub [editor.] | Tichý, Petr [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
|
|
|
|
Machine Learning, Optimization, and Data Science [electronic resource] : 6th International Conference, LOD 2020, Siena, Italy, July 19-23, 2020, Revised Selected Papers, Part I / edited by Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Giorgio Jansen, Vincenzo Sciacca, Panos Pardalos, Giovanni Giuffrida, Renato Umeton.
by Nicosia, Giuseppe [editor.] | Ojha, Varun [editor.] | La Malfa, Emanuele [editor.] | Jansen, Giorgio [editor.] | Sciacca, Vincenzo [editor.] | Pardalos, Panos [editor.] | Giuffrida, Giovanni [editor.] | Umeton, Renato [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
|
|
|
|
Machine Learning, Optimization, and Data Science [electronic resource] : 6th International Conference, LOD 2020, Siena, Italy, July 19-23, 2020, Revised Selected Papers, Part II / edited by Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Giorgio Jansen, Vincenzo Sciacca, Panos Pardalos, Giovanni Giuffrida, Renato Umeton.
by Nicosia, Giuseppe [editor.] | Ojha, Varun [editor.] | La Malfa, Emanuele [editor.] | Jansen, Giorgio [editor.] | Sciacca, Vincenzo [editor.] | Pardalos, Panos [editor.] | Giuffrida, Giovanni [editor.] | Umeton, Renato [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
|
|
|
|
Multi-Agent Systems and Agreement Technologies [electronic resource] : 17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020, Revised Selected Papers / edited by Nick Bassiliades, Georgios Chalkiadakis, Dave de Jonge.
by Bassiliades, Nick [editor.] | Chalkiadakis, Georgios [editor.] | de Jonge, Dave [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
|
|
|
|
Entertainment Computing - ICEC 2020 [electronic resource] : 19th IFIP TC 14 International Conference, ICEC 2020, Xi'an, China, November 10-13, 2020, Proceedings / edited by Nuno J. Nunes, Lizhuang Ma, Meili Wang, Nuno Correia, Zhigeng Pan.
by Nunes, Nuno J [editor.] | Ma, Lizhuang [editor.] | Wang, Meili [editor.] | Correia, Nuno [editor.] | Pan, Zhigeng [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
|
|
|
|
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
|
|
|
|
Head and Neck Tumor Segmentation [electronic resource] : First Challenge, HECKTOR 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings / edited by Vincent Andrearczyk, Valentin Oreiller, Adrien Depeursinge.
by Andrearczyk, Vincent [editor.] | Oreiller, Valentin [editor.] | Depeursinge, Adrien [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
|
|
|
|
Accelerator Programming Using Directives [electronic resource] : 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / edited by Sridutt Bhalachandra, Sandra Wienke, Sunita Chandrasekaran, Guido Juckeland.
by Bhalachandra, Sridutt [editor.] | Wienke, Sandra [editor.] | Chandrasekaran, Sunita [editor.] | Juckeland, Guido [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
|
|
|
|
Cerebral Aneurysm Detection and Analysis [electronic resource] : First Challenge, CADA 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings / edited by Anja Hennemuth, Leonid Goubergrits, Matthias Ivantsits, Jan-Martin Kuhnigk.
by Hennemuth, Anja [editor.] | Goubergrits, Leonid [editor.] | Ivantsits, Matthias [editor.] | Kuhnigk, Jan-Martin [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
|
|
|
|
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
|
|
|
|
Advances in Intelligent Data Analysis XIX [electronic resource] : 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26-28, 2021, Proceedings / edited by Pedro Henriques Abreu, Pedro Pereira Rodrigues, Alberto Fernández, João Gama.
by Abreu, Pedro Henriques [editor.] | Rodrigues, Pedro Pereira [editor.] | Fernández, Alberto [editor.] | Gama, João [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
|
