|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Advances in Soft Computing [electronic resource] : 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25-30, 2021, Proceedings, Part II / 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
|
|
|
|
Towards Autonomous Robotic Systems [electronic resource] : 22nd Annual Conference, TAROS 2021, Lincoln, UK, September 8-10, 2021, Proceedings / edited by Charles Fox, Junfeng Gao, Amir Ghalamzan Esfahani, Mini Saaj, Marc Hanheide, Simon Parsons.
by Fox, Charles [editor.] | Gao, Junfeng [editor.] | Ghalamzan Esfahani, Amir [editor.] | Saaj, Mini [editor.] | Hanheide, Marc [editor.] | Parsons, Simon [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
|
|
|
|
Social Robotics [electronic resource] : 13th International Conference, ICSR 2021, Singapore, Singapore, November 10-13, 2021, Proceedings / edited by Haizhou Li, Shuzhi Sam Ge, Yan Wu, Agnieszka Wykowska, Hongsheng He, Xiaorui Liu, Dongyu Li, Jairo Perez-Osorio.
by Li, Haizhou [editor.] | Ge, Shuzhi Sam [editor.] | Wu, Yan [editor.] | Wykowska, Agnieszka [editor.] | He, Hongsheng [editor.] | Liu, Xiaorui [editor.] | Li, Dongyu [editor.] | Perez-Osorio, Jairo [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
|
|
|
|
Formal Methods [electronic resource] : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings / edited by Marieke Huisman, Corina Păsăreanu, Naijun Zhan.
by Huisman, Marieke [editor.] | Păsăreanu, Corina [editor.] | Zhan, Naijun [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
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings / edited by Gwen Salaün, Anton Wijs.
by Salaün, Gwen [editor.] | Wijs, Anton [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] : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings / edited by Hong Shen, Yingpeng Sang, Yong Zhang, Nong Xiao, Hamid R. Arabnia, Geoffrey Fox, Ajay Gupta, Manu Malek.
by Shen, Hong [editor.] | Sang, Yingpeng [editor.] | Zhang, Yong [editor.] | Xiao, Nong [editor.] | Arabnia, Hamid R [editor.] | Fox, Geoffrey [editor.] | Gupta, Ajay [editor.] | Malek, Manu [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
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings / edited by João Correia, Stephen Smith, Raneem Qaddoura.
by Correia, João [editor.] | Smith, Stephen [editor.] | Qaddoura, Raneem [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
|
|
|
|
Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings / edited by Hiroyuki Takizawa, Hong Shen, Toshihiro Hanawa, Jong Hyuk Park, Hui Tian, Ryusuke Egawa.
by Takizawa, Hiroyuki [editor.] | Shen, Hong [editor.] | Hanawa, Toshihiro [editor.] | Hyuk Park, Jong [editor.] | Tian, Hui [editor.] | Egawa, Ryusuke [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
|
|
|
|
Performance Evaluation and Benchmarking [electronic resource] : 14th TPC Technology Conference, TPCTC 2022, Sydney, NSW, Australia, September 5, 2022, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess.
by Nambiar, Raghunath [editor.] | Poess, Meikel [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
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan, Ai Liu.
by Liu, Shaoying [editor.] | Duan, Zhenhua [editor.] | Liu, Ai [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
