|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings / edited by Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi.
by Ghaffari, Mohsen [editor.] | Nesterenko, Mikhail [editor.] | Tixeuil, Sébastien [editor.] | Tucci, Sara [editor.] | Yamauchi, Yukiko [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
|
|
|
|
Model Checking Software [electronic resource] : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings / edited by Fabrizio Biondi, Thomas Given-Wilson, Axel Legay.
by Biondi, Fabrizio [editor.] | Given-Wilson, Thomas [editor.] | Legay, Axel [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2019 [electronic resource] : 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part II / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino.
by Misra, Sanjay [editor.] | Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Stankova, Elena [editor.] | Korkhov, Vladimir [editor.] | Torre, Carmelo [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Tarantino, Eufemia [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
|
|
|
|
SOFSEM 2021: Theory and Practice of Computer Science [electronic resource] : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings / edited by Tomáš Bureš, Riccardo Dondi, Johann Gamper, Giovanna Guerrini, Tomasz Jurdziński, Claus Pahl, Florian Sikora, Prudence W.H. Wong.
by Bureš, Tomáš [editor.] | Dondi, Riccardo [editor.] | Gamper, Johann [editor.] | Guerrini, Giovanna [editor.] | Jurdziński, Tomasz [editor.] | Pahl, Claus [editor.] | Sikora, Florian [editor.] | Wong, Prudence W.H [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
|
|
|
|
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
|
