|
|
|
Reversible Computation [electronic resource] : 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings / edited by Shigeru Yamashita, Tetsuo Yokoyama.
by Yamashita, Shigeru [editor.] | Yokoyama, Tetsuo [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
|
|
|
|
Discovery Science [electronic resource] : 24th International Conference, DS 2021, Halifax, NS, Canada, October 11-13, 2021, Proceedings / edited by Carlos Soares, Luis Torgo.
by Soares, Carlos [editor.] | Torgo, Luis [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings / edited by Zhe Hou, Vijay Ganesh.
by Hou, Zhe [editor.] | Ganesh, Vijay [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] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings / edited by Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi.
by Drăgoi, Cezara [editor.] | Mukherjee, Suvam [editor.] | Namjoshi, Kedar [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
|
|
|
|
Smart Card Research and Advanced Applications [electronic resource] : 20th International Conference, CARDIS 2021, Lübeck, Germany, November 11-12, 2021, Revised Selected Papers / edited by Vincent Grosso, Thomas Pöppelmann.
by Grosso, Vincent [editor.] | Pöppelmann, Thomas [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
|
|
|
|
Intelligent Computing Methodologies [electronic resource] : 18th International Conference, ICIC 2022, Xi'an, China, August 7-11, 2022, Proceedings, Part III / edited by De-Shuang Huang, Kang-Hyun Jo, Junfeng Jing, Prashan Premaratne, Vitoantonio Bevilacqua, Abir Hussain.
by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Jing, Junfeng [editor.] | Premaratne, Prashan [editor.] | Bevilacqua, Vitoantonio [editor.] | Hussain, Abir [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
|
|
|
|
Parallel Problem Solving from Nature - PPSN XVII [electronic resource] : 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022, Proceedings, Part II / edited by Günter Rudolph, Anna V. Kononova, Hernán Aguirre, Pascal Kerschke, Gabriela Ochoa, Tea Tušar.
by Rudolph, Günter [editor.] | Kononova, Anna V [editor.] | Aguirre, Hernán [editor.] | Kerschke, Pascal [editor.] | Ochoa, Gabriela [editor.] | Tušar, Tea [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
|
|
|
|
Mobile Web and Intelligent Information Systems [electronic resource] : 18th International Conference, MobiWIS 2022, Rome, Italy, August 22-24, 2022, Proceedings / edited by Irfan Awan, Muhammad Younas, Aneta Poniszewska-Marańda.
by Awan, Irfan [editor.] | Younas, Muhammad [editor.] | Poniszewska-Marańda, Aneta [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
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part II / edited by Honghai Liu, Zhouping Yin, Lianqing Liu, Li Jiang, Guoying Gu, Xinyu Wu, Weihong Ren.
by Liu, Honghai [editor.] | Yin, Zhouping [editor.] | Liu, Lianqing [editor.] | Jiang, Li [editor.] | Gu, Guoying [editor.] | Wu, Xinyu [editor.] | Ren, Weihong [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
|
|
|
|
Privacy Technologies and Policy [electronic resource] : 10th Annual Privacy Forum, APF 2022, Warsaw, Poland, June 23-24, 2022, Proceedings / edited by Agnieszka Gryszczyńska, Przemysław Polański, Nils Gruschka, Kai Rannenberg, Monika Adamczyk.
by Gryszczyńska, Agnieszka [editor.] | Polański, Przemysław [editor.] | Gruschka, Nils [editor.] | Rannenberg, Kai [editor.] | Adamczyk, Monika [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
|
|
|
|
Distributed Artificial Intelligence [electronic resource] : 4th International Conference, DAI 2022, Tianjin, China, December 15-17, 2022, Proceedings / edited by Makoto Yokoo, Hong Qiao, Yevgeniy Vorobeychik, Jianye Hao.
by Yokoo, Makoto [editor.] | Qiao, Hong [editor.] | Vorobeychik, Yevgeniy [editor.] | Hao, Jianye [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
|
|
|
|
Machine Learning, Optimization, and Data Science [electronic resource] : 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part II / edited by Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Gabriele La Malfa, Panos Pardalos, Giuseppe Di Fatta, Giovanni Giuffrida, Renato Umeton.
by Nicosia, Giuseppe [editor.] | Ojha, Varun [editor.] | La Malfa, Emanuele [editor.] | La Malfa, Gabriele [editor.] | Pardalos, Panos [editor.] | Di Fatta, Giuseppe [editor.] | Giuffrida, Giovanni [editor.] | Umeton, Renato [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
|
|
|
|
Wired/Wireless Internet Communications [electronic resource] : 15th IFIP WG 6.2 International Conference, WWIC 2017, St. Petersburg, Russia, June 21-23, 2017, Proceedings / edited by Yevgeni Koucheryavy, Lefteris Mamatas, Ibrahim Matta, Aleksandr Ometov, Panagiotis Papadimitriou.
by Koucheryavy, Yevgeni [editor.] | Mamatas, Lefteris [editor.] | Matta, Ibrahim [editor.] | Ometov, Aleksandr [editor.] | Papadimitriou, Panagiotis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings / edited by Andreas Jedlitschka, Pasi Kuvaja, Marco Kuhrmann, Tomi Männistö, Jürgen Münch, Mikko Raatikainen.
by Jedlitschka, Andreas [editor.] | Kuvaja, Pasi [editor.] | Kuhrmann, Marco [editor.] | Männistö, Tomi [editor.] | Münch, Jürgen [editor.] | Raatikainen, Mikko [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online 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 III / 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
|
|
|
|
High Performance Computing for Computational Science - VECPAR 2018 [electronic resource] : 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers / edited by Hermes Senger, Osni Marques, Rogerio Garcia, Tatiana Pinheiro de Brito, Rogério Iope, Silvio Stanzani, Veronica Gil-Costa.
by Senger, Hermes [editor.] | Marques, Osni [editor.] | Garcia, Rogerio [editor.] | Pinheiro de Brito, Tatiana [editor.] | Iope, Rogério [editor.] | Stanzani, Silvio [editor.] | Gil-Costa, Veronica [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
|
|
|
|
Artificial Intelligence in Health [electronic resource] : First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers / edited by Fernando Koch, Andrew Koster, David Riaño, Sara Montagna, Michael Schumacher, Annette ten Teije, Christian Guttmann, Manfred Reichert, Isabelle Bichindaritz, Pau Herrero, Richard Lenz, Beatriz López, Cindy Marling, Clare Martin, Stefania Montani, Nirmalie Wiratunga.
by Koch, Fernando [editor.] | Koster, Andrew [editor.] | Riaño, David [editor.] | Montagna, Sara [editor.] | Schumacher, Michael [editor.] | ten Teije, Annette [editor.] | Guttmann, Christian [editor.] | Reichert, Manfred [editor.] | Bichindaritz, Isabelle [editor.] | Herrero, Pau [editor.] | Lenz, Richard [editor.] | López, Beatriz [editor.] | Marling, Cindy [editor.] | Martin, Clare [editor.] | Montani, Stefania [editor.] | Wiratunga, Nirmalie [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
|
|
|
|
Social Robotics [electronic resource] : 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings / edited by Shuzhi Sam Ge, John-John Cabibihan, Miguel A. Salichs, Elizabeth Broadbent, Hongsheng He, Alan R. Wagner, Álvaro Castro-González.
by Ge, Shuzhi Sam [editor.] | Cabibihan, John-John [editor.] | Salichs, Miguel A [editor.] | Broadbent, Elizabeth [editor.] | He, Hongsheng [editor.] | Wagner, Alan R [editor.] | Castro-González, Álvaro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
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
|
