|
|
|
Formal Methods. FM 2019 International Workshops [electronic resource] : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II / 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
|
|
|
|
Advanced Visual Interfaces. Supporting Artificial Intelligence and Big Data Applications [electronic resource] : AVI 2020 Workshops, AVI-BDA and ITAVIS, Ischia, Italy, June 9, 2020 and September 29, 2020, Revised Selected Papers / edited by Thoralf Reis, Marco X. Bornschlegl, Marco Angelini, Matthias L. Hemmje.
by Reis, Thoralf [editor.] | Bornschlegl, Marco X [editor.] | Angelini, Marco [editor.] | Hemmje, Matthias L [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
|
|
|
|
MultiMedia Modeling [electronic resource] : 27th International Conference, MMM 2021, Prague, Czech Republic, June 22-24, 2021, Proceedings, Part I / edited by Jakub Lokoč, Tomáš Skopal, Klaus Schoeffmann, Vasileios Mezaris, Xirong Li, Stefanos Vrochidis, Ioannis Patras.
by Lokoč, Jakub [editor.] | Skopal, Tomáš [editor.] | Schoeffmann, Klaus [editor.] | Mezaris, Vasileios [editor.] | Li, Xirong [editor.] | Vrochidis, Stefanos [editor.] | Patras, Ioannis [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
|
|
|
|
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [electronic resource] : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers / edited by Loek Cleophas, Mieke Massink.
by Cleophas, Loek [editor.] | Massink, Mieke [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] : 13th International Conference, ICIRA 2020, Kuala Lumpur, Malaysia, November 5-7, 2020, Proceedings / edited by Chee Seng Chan, Hong Liu, Xiangyang Zhu, Chern Hong Lim, Xinjun Liu, Lianqing Liu, Kam Meng Goh.
by Chan, Chee Seng [editor.] | Liu, Hong [editor.] | Zhu, Xiangyang [editor.] | Lim, Chern Hong [editor.] | Liu, Xinjun [editor.] | Liu, Lianqing [editor.] | Goh, Kam Meng [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
|
|
|
|
Resilience in the Digital Age [electronic resource] / edited by Fred S. Roberts, Igor A. Sheremet.
by Roberts, Fred S [editor.] | Sheremet, Igor A [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
|
|
|
|
Knowledge Management and Acquisition for Intelligent Systems [electronic resource] : 17th Pacific Rim Knowledge Acquisition Workshop, PKAW 2020, Yokohama, Japan, January 7-8, 2021, Proceedings / edited by Hiroshi Uehara, Takayasu Yamaguchi, Quan Bai.
by Uehara, Hiroshi [editor.] | Yamaguchi, Takayasu [editor.] | Bai, Quan [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
|
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021, Proceedings / edited by Ryuhei Uehara, Seok-Hee Hong, Subhas C. Nandy.
by Uehara, Ryuhei [editor.] | Hong, Seok-Hee [editor.] | Nandy, Subhas C [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 Forensics and Watermarking [electronic resource] : 19th International Workshop, IWDW 2020, Melbourne, VIC, Australia, November 25-27, 2020, Revised Selected Papers / edited by Xianfeng Zhao, Yun-Qing Shi, Alessandro Piva, Hyoung Joong Kim.
by Zhao, Xianfeng [editor.] | Shi, Yun-Qing [editor.] | Piva, Alessandro [editor.] | Kim, Hyoung Joong [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 Human Computer Interaction [electronic resource] : 12th International Conference, IHCI 2020, Daegu, South Korea, November 24-26, 2020, Proceedings, Part I / edited by Madhusudan Singh, Dae-Ki Kang, Jong-Ha Lee, Uma Shanker Tiwary, Dhananjay Singh, Wan-Young Chung.
by Singh, Madhusudan [editor.] | Kang, Dae-Ki [editor.] | Lee, Jong-Ha [editor.] | Tiwary, Uma Shanker [editor.] | Singh, Dhananjay [editor.] | Chung, Wan-Young [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
|
|
|
|
Public-Key Cryptography - PKC 2021 [electronic resource] : 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10-13, 2021, Proceedings, Part II / edited by Juan A. Garay.
by Garay, Juan A [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
|
|
|
|
Public-Key Cryptography - PKC 2021 [electronic resource] : 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10-13, 2021, Proceedings, Part I / edited by Juan A. Garay.
by Garay, Juan A [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
|
|
|
|
Scale Space and Variational Methods in Computer Vision [electronic resource] : 8th International Conference, SSVM 2021, Virtual Event, May 16-20, 2021, Proceedings / edited by Abderrahim Elmoataz, Jalal Fadili, Yvain Quéau, Julien Rabin, Loïc Simon.
by Elmoataz, Abderrahim [editor.] | Fadili, Jalal [editor.] | Quéau, Yvain [editor.] | Rabin, Julien [editor.] | Simon, Loïc [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
|
|
|
|
Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 21st International Conference, PDCAT 2020, Shenzhen, China, December 28-30, 2020, Proceedings / edited by Yong Zhang, Yicheng Xu, Hui Tian.
by Zhang, Yong [editor.] | Xu, Yicheng [editor.] | Tian, Hui [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
|
|
|
|
Pattern Recognition. ICPR International Workshops and Challenges [electronic resource] : Virtual Event, January 10-15, 2021, Proceedings, Part V / edited by Alberto Del Bimbo, Rita Cucchiara, Stan Sclaroff, Giovanni Maria Farinella, Tao Mei, Marco Bertini, Hugo Jair Escalante, Roberto Vezzani.
by Del Bimbo, Alberto [editor.] | Cucchiara, Rita [editor.] | Sclaroff, Stan [editor.] | Farinella, Giovanni Maria [editor.] | Mei, Tao [editor.] | Bertini, Marco [editor.] | Escalante, Hugo Jair [editor.] | Vezzani, Roberto [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
|
|
|
|
Pattern Recognition. ICPR International Workshops and Challenges [electronic resource] : Virtual Event, January 10-15, 2021, Proceedings, Part I / edited by Alberto Del Bimbo, Rita Cucchiara, Stan Sclaroff, Giovanni Maria Farinella, Tao Mei, Marco Bertini, Hugo Jair Escalante, Roberto Vezzani.
by Del Bimbo, Alberto [editor.] | Cucchiara, Rita [editor.] | Sclaroff, Stan [editor.] | Farinella, Giovanni Maria [editor.] | Mei, Tao [editor.] | Bertini, Marco [editor.] | Escalante, Hugo Jair [editor.] | Vezzani, Roberto [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 Knowledge Discovery and Data Mining [electronic resource] : 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11-14, 2021, Proceedings, Part III / edited by Kamal Karlapalem, Hong Cheng, Naren Ramakrishnan, R. K. Agrawal, P. Krishna Reddy, Jaideep Srivastava, Tanmoy Chakraborty.
by Karlapalem, Kamal [editor.] | Cheng, Hong [editor.] | Ramakrishnan, Naren [editor.] | Agrawal, R. K [editor.] | Reddy, P. Krishna [editor.] | Srivastava, Jaideep [editor.] | Chakraborty, Tanmoy [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 Knowledge Discovery and Data Mining [electronic resource] : 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11-14, 2021, Proceedings, Part II / edited by Kamal Karlapalem, Hong Cheng, Naren Ramakrishnan, R. K. Agrawal, P. Krishna Reddy, Jaideep Srivastava, Tanmoy Chakraborty.
by Karlapalem, Kamal [editor.] | Cheng, Hong [editor.] | Ramakrishnan, Naren [editor.] | Agrawal, R. K [editor.] | Reddy, P. Krishna [editor.] | Srivastava, Jaideep [editor.] | Chakraborty, Tanmoy [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
|
|
|
|
Functional and Constraint Logic Programming [electronic resource] : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / edited by Michael Hanus, Claudio Sacerdoti Coen.
by Hanus, Michael [editor.] | Sacerdoti Coen, Claudio [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 and Complexity [electronic resource] : 12th International Conference, CIAC 2021, Virtual Event, May 10-12, 2021, Proceedings / edited by Tiziana Calamoneri, Federico Corò.
by Calamoneri, Tiziana [editor.] | Corò, Federico [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
|
