|
|
|
Programming Languages and Systems [electronic resource] : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings / edited by Bruno C. d. S. Oliveira.
by Oliveira, Bruno C. d. S [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
|
|
|
|
Social Informatics [electronic resource] : 12th International Conference, SocInfo 2020, Pisa, Italy, October 6-9, 2020, Proceedings / edited by Samin Aref, Kalina Bontcheva, Marco Braghieri, Frank Dignum, Fosca Giannotti, Francesco Grisolia, Dino Pedreschi.
by Aref, Samin [editor.] | Bontcheva, Kalina [editor.] | Braghieri, Marco [editor.] | Dignum, Frank [editor.] | Giannotti, Fosca [editor.] | Grisolia, Francesco [editor.] | Pedreschi, Dino [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
|
|
|
|
Runtime Verification [electronic resource] : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings / edited by Jyotirmoy Deshmukh, Dejan Ničković.
by Deshmukh, Jyotirmoy [editor.] | Ničković, Dejan [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
|
|
|
|
Theory and Practice of Natural Computing [electronic resource] : 9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7-9, 2020, Proceedings / edited by Carlos Martín-Vide, Miguel A. Vega-Rodríguez, Miin-Shen Yang.
by Martín-Vide, Carlos [editor.] | Vega-Rodríguez, Miguel A [editor.] | Yang, Miin-Shen [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 Libraries at Times of Massive Societal Transition [electronic resource] : 22nd International Conference on Asia-Pacific Digital Libraries, ICADL 2020, Kyoto, Japan, November 30 - December 1, 2020, Proceedings / edited by Emi Ishita, Natalie Lee San Pang, Lihong Zhou.
by Ishita, Emi [editor.] | Pang, Natalie Lee San [editor.] | Zhou, Lihong [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
|
|
|
|
Information and Communications Security [electronic resource] : 22nd International Conference, ICICS 2020, Copenhagen, Denmark, August 24-26, 2020, Proceedings / edited by Weizhi Meng, Dieter Gollmann, Christian D. Jensen, Jianying Zhou.
by Meng, Weizhi [editor.] | Gollmann, Dieter [editor.] | Jensen, Christian D [editor.] | Zhou, Jianying [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
|
|
|
|
LATIN 2020: Theoretical Informatics [electronic resource] : 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings / edited by Yoshiharu Kohayakawa, Flávio Keidi Miyazawa.
by Kohayakawa, Yoshiharu [editor.] | Miyazawa, Flávio Keidi [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
|
|
|
|
Testing Software and Systems [electronic resource] : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings / edited by Valentina Casola, Alessandra De Benedictis, Massimiliano Rak.
by Casola, Valentina [editor.] | De Benedictis, Alessandra [editor.] | Rak, Massimiliano [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
|
|
|
|
Emerging Technologies for Authorization and Authentication [electronic resource] : Third International Workshop, ETAA 2020, Guildford, UK, September 18, 2020, Proceedings / edited by Andrea Saracino, Paolo Mori.
by Saracino, Andrea [editor.] | Mori, Paolo [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
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021, Proceedings, Part III / edited by Zhe Liu, Fan Wu, Sajal K. Das.
by Liu, Zhe [editor.] | Wu, Fan [editor.] | Das, Sajal K [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
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings / edited by Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana.
by Basu, Amrita [editor.] | Stapleton, Gem [editor.] | Linker, Sven [editor.] | Legg, Catherine [editor.] | Manalo, Emmanuel [editor.] | Viana, Petrucio [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 - ICCS 2022 [electronic resource] : 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III / edited by Derek Groen, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot.
by Groen, Derek [editor.] | de Mulatier, Clélia [editor.] | Paszynski, Maciej [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [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
|
|
|
|
Computational Science - ICCS 2022 [electronic resource] : 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part II / edited by Derek Groen, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot.
by Groen, Derek [editor.] | de Mulatier, Clélia [editor.] | Paszynski, Maciej [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [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
|
|
|
|
Computational Science - ICCS 2022 [electronic resource] : 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part I / edited by Derek Groen, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot.
by Groen, Derek [editor.] | de Mulatier, Clélia [editor.] | Paszynski, Maciej [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings / edited by Merav Parter.
by Parter, Merav [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 Science - Theory and Applications [electronic resource] : 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 - July 1, 2022, Proceedings / edited by Alexander S. Kulikov, Sofya Raskhodnikova.
by Kulikov, Alexander S [editor.] | Raskhodnikova, Sofya [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
|
|
|
|
Cyber Security, Cryptology, and Machine Learning [electronic resource] : 6th International Symposium, CSCML 2022, Be'er Sheva, Israel, June 30 - July 1, 2022, Proceedings / edited by Shlomi Dolev, Jonathan Katz, Amnon Meisels.
by Dolev, Shlomi [editor.] | Katz, Jonathan [editor.] | Meisels, Amnon [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
|
|
|
|
Tests and Proofs [electronic resource] : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / edited by Laura Kovács, Karl Meinke.
by Kovács, Laura [editor.] | Meinke, Karl [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
|
|
|
|
Computational Linguistics and Intelligent Text Processing [electronic resource] : 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part I / edited by Alexander Gelbukh.
by Gelbukh, Alexander [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 Linguistics and Intelligent Text Processing [electronic resource] : 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part I / edited by Alexander Gelbukh.
by Gelbukh, Alexander [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
|
