|
|
|
High Performance Computing [electronic resource] : ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21-25, 2020, Revised Selected Papers / edited by Heike Jagode, Hartwig Anzt, Guido Juckeland, Hatem Ltaief.
by Jagode, Heike [editor.] | Anzt, Hartwig [editor.] | Juckeland, Guido [editor.] | Ltaief, Hatem [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
|
|
|
|
Formal Methods. FM 2019 International Workshops [electronic resource] : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas.
by Sekerinski, Emil [editor.] | Moreira, Nelma [editor.] | Oliveira, José N [editor.] | Ratiu, Daniel [editor.] | Guidotti, Riccardo [editor.] | Farrell, Marie [editor.] | Luckcuck, Matt [editor.] | Marmsoler, Diego [editor.] | Campos, José [editor.] | Astarte, Troy [editor.] | Gonnord, Laure [editor.] | Cerone, Antonio [editor.] | Couto, Luis [editor.] | Dongol, Brijesh [editor.] | Kutrib, Martin [editor.] | Monteiro, Pedro [editor.] | Delmas, David [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
|
|
|
|
Computational Science - ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part VII / edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira.
by Krzhizhanovskaya, Valeria V [editor.] | Závodszky, Gábor [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [editor.] | Brissos, Sérgio [editor.] | Teixeira, João [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
|
|
|
|
Cyber Security Cryptography and Machine Learning [electronic resource] : 5th International Symposium, CSCML 2021, Be'er Sheva, Israel, July 8-9, 2021, Proceedings / edited by Shlomi Dolev, Oded Margalit, Benny Pinkas, Alexander Schwarzmann.
by Dolev, Shlomi [editor.] | Margalit, Oded [editor.] | Pinkas, Benny [editor.] | Schwarzmann, Alexander [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
|
|
|
|
Combinatorial Algorithms [electronic resource] : 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5-7, 2021, Proceedings / edited by Paola Flocchini, Lucia Moura.
by Flocchini, Paola [editor.] | Moura, Lucia [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
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers / edited by Naoaki Okazaki, Katsutoshi Yada, Ken Satoh, Koji Mineshima.
by Okazaki, Naoaki [editor.] | Yada, Katsutoshi [editor.] | Satoh, Ken [editor.] | Mineshima, Koji [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-disciplinary Trends in Artificial Intelligence [electronic resource] : 14th International Conference, MIWAI 2021, Virtual Event, July 2-3, 2021, Proceedings / edited by Phatthanaphong Chomphuwiset, Junmo Kim, Pornntiwa Pawara.
by Chomphuwiset, Phatthanaphong [editor.] | Kim, Junmo [editor.] | Pawara, Pornntiwa [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
|
|
|
|
Socio-Technical Aspects in Security and Trust [electronic resource] : 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers / edited by Thomas Groß, Luca Viganò.
by Groß, Thomas [editor.] | Viganò, Luca [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
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 26th International Conference on Applications of Natural Language to Information Systems, NLDB 2021, Saarbrücken, Germany, June 23-25, 2021, Proceedings / edited by Elisabeth Métais, Farid Meziane, Helmut Horacek, Epaminondas Kapetanios.
by Métais, Elisabeth [editor.] | Meziane, Farid [editor.] | Horacek, Helmut [editor.] | Kapetanios, Epaminondas [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
|
|
|
|
NASA Formal Methods [electronic resource] : 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings / edited by Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez.
by Dutle, Aaron [editor.] | Moscato, Mariano M [editor.] | Titolo, Laura [editor.] | Muñoz, César A [editor.] | Perez, Ivan [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 and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2020, Ghent, Belgium, September 14-18, 2020, Proceedings, Part I / edited by Frank Hutter, Kristian Kersting, Jefrey Lijffijt, Isabel Valera.
by Hutter, Frank [editor.] | Kersting, Kristian [editor.] | Lijffijt, Jefrey [editor.] | Valera, Isabel [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
|
|
|
|
Conceptual Modeling [electronic resource] : 40th International Conference, ER 2021, Virtual Event, October 18-21, 2021, Proceedings / edited by Aditya Ghose, Jennifer Horkoff, Vítor E. Silva Souza, Jeffrey Parsons, Joerg Evermann.
by Ghose, Aditya [editor.] | Horkoff, Jennifer [editor.] | Silva Souza, Vítor E [editor.] | Parsons, Jeffrey [editor.] | Evermann, Joerg [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
|
|
|
|
Logic and Argumentation [electronic resource] : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings / edited by Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng.
by Baroni, Pietro [editor.] | Benzmüller, Christoph [editor.] | Wáng, Yὶ 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
|
|
|
|
Natural Language Processing and Chinese Computing [electronic resource] : 10th CCF International Conference, NLPCC 2021, Qingdao, China, October 13-17, 2021, Proceedings, Part II / edited by Lu Wang, Yansong Feng, Yu Hong, Ruifang He.
by Wang, Lu [editor.] | Feng, Yansong [editor.] | Hong, Yu [editor.] | He, Ruifang [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 in Clinical Neuroimaging [electronic resource] : 4th International Workshop, MLCN 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / edited by Ahmed Abdulkadir, Seyed Mostafa Kia, Mohamad Habes, Vinod Kumar, Jane Maryam Rondina, Chantal Tax, Thomas Wolfers.
by Abdulkadir, Ahmed [editor.] | Kia, Seyed Mostafa [editor.] | Habes, Mohamad [editor.] | Kumar, Vinod [editor.] | Rondina, Jane Maryam [editor.] | Tax, Chantal [editor.] | Wolfers, Thomas [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 Science and Its Applications - ICCSA 2021 [electronic resource] : 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part VI / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blečić, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Garau, Chiara [editor.] | Blečić, Ivan [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Rocha, Ana Maria A. C [editor.] | Tarantino, Eufemia [editor.] | Torre, Carmelo Maria [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
|
|
|
|
Human-Computer Interaction. Design and User Experience Case Studies [electronic resource] : Thematic Area, HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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 Computational Intelligence [electronic resource] : 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25-30, 2021, Proceedings, Part I / edited by Ildar Batyrshin, Alexander Gelbukh, Grigori Sidorov.
by Batyrshin, Ildar [editor.] | Gelbukh, Alexander [editor.] | Sidorov, Grigori [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
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021, Proceedings, Part IV / edited by Xin-Jun Liu, Zhenguo Nie, Jingjun Yu, Fugui Xie, Rui Song.
by Liu, Xin-Jun [editor.] | Nie, Zhenguo [editor.] | Yu, Jingjun [editor.] | Xie, Fugui [editor.] | Song, Rui [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
|
|
|
|
Algorithms for Sensor Systems [electronic resource] : 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9-10, 2021, Proceedings / edited by Leszek Gąsieniec, Ralf Klasing, Tomasz Radzik.
by Gąsieniec, Leszek [editor.] | Klasing, Ralf [editor.] | Radzik, Tomasz [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
|
