|
|
|
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
|
|
|
|
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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 25th International Conference, FC 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers, Part II / edited by Nikita Borisov, Claudia Diaz.
by Borisov, Nikita [editor.] | Diaz, Claudia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
|
|
|
|
Theory and Practice of Natural Computing [electronic resource] : 10th International Conference, TPNC 2021, Virtual Event, December 7-10, 2021, Proceedings / edited by Claus Aranha, Carlos Martín-Vide, Miguel A. Vega-Rodríguez.
by Aranha, Claus [editor.] | Martín-Vide, Carlos [editor.] | Vega-Rodríguez, Miguel 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
|
|
|
|
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
|
|
|
|
Smart Computing and Communication [electronic resource] : 6th International Conference, SmartCom 2021, New York City, NY, USA, December 29-31, 2021, Proceedings / edited by Meikang Qiu, Keke Gai, Han Qiu.
by Qiu, Meikang [editor.] | Gai, Keke [editor.] | Qiu, Han [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
|
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 21st International Conference, NEW2AN 2021, and 14th Conference, ruSMART 2021, St. Petersburg, Russia, August 26-27, 2021, Proceedings / edited by Yevgeni Koucheryavy, Sergey Balandin, Sergey Andreev.
by Koucheryavy, Yevgeni [editor.] | Balandin, Sergey [editor.] | Andreev, Sergey [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
|
|
|
|
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
|
|
|
|
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 14th International Workshop, COSADE 2023, Munich, Germany, April 3-4, 2023, Proceedings / edited by Elif Bilge Kavun, Michael Pehl.
by Kavun, Elif Bilge [editor.] | Pehl, Michael [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
|
|
|
|
Intelligent Human Computer Interaction [electronic resource] : 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers / edited by Hakimjon Zaynidinov, Madhusudan Singh, Uma Shanker Tiwary, Dhananjay Singh.
by Zaynidinov, Hakimjon [editor.] | Singh, Madhusudan [editor.] | Tiwary, Uma Shanker [editor.] | Singh, Dhananjay [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
|
|
|
|
HCI International 2021 - Late Breaking Papers: HCI Applications in Health, Transport, and Industry [electronic resource] : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021 Proceedings / edited by Constantine Stephanidis, Vincent G. Duffy, Heidi Krömker, Fiona Fui-Hoon Nah, Keng Siau, Gavriel Salvendy, June Wei.
by Stephanidis, Constantine [editor.] | Duffy, Vincent G [editor.] | Krömker, Heidi [editor.] | Fui-Hoon Nah, Fiona [editor.] | Siau, Keng [editor.] | Salvendy, Gavriel [editor.] | Wei, June [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
|
|
|
|
Virtual Reality and Mixed Reality [electronic resource] : 18th EuroXR International Conference, EuroXR 2021, Milan, Italy, November 24-26, 2021, Proceedings / edited by Patrick Bourdot, Mariano Alcañiz Raya, Pablo Figueroa, Victoria Interrante, Torsten W. Kuhlen, Dirk Reiners.
by Bourdot, Patrick [editor.] | Alcañiz Raya, Mariano [editor.] | Figueroa, Pablo [editor.] | Interrante, Victoria [editor.] | Kuhlen, Torsten W [editor.] | Reiners, Dirk [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
|
|
|
|
Passive and Active Measurement [electronic resource] : 23rd International Conference, PAM 2022, Virtual Event, March 28-30, 2022, Proceedings / edited by Oliver Hohlfeld, Giovane Moura, Cristel Pelsser.
by Hohlfeld, Oliver [editor.] | Moura, Giovane [editor.] | Pelsser, Cristel [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
|
|
|
|
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings / edited by José Ángel Bañares, Jörn Altmann, Orna Agmon Ben-Yehuda, Karim Djemame, Vlado Stankovski, Bruno Tuffin.
by Bañares, José Ángel [editor.] | Altmann, Jörn [editor.] | Agmon Ben-Yehuda, Orna [editor.] | Djemame, Karim [editor.] | Stankovski, Vlado [editor.] | Tuffin, Bruno [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
|
|
|
|
Algorithmic Aspects of Cloud Computing [electronic resource] : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers / edited by Luca Foschini, Spyros Kontogiannis.
by Foschini, Luca [editor.] | Kontogiannis, Spyros [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
|
