|
|
|
Computational Science and Its Applications - ICCSA 2019 [electronic resource] : 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part II / 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 [electronic resource] : ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21-25, 2020, Revised Selected Papers / edited by Heike Jagode, Hartwig Anzt, Guido Juckeland, Hatem Ltaief.
by Jagode, Heike [editor.] | Anzt, Hartwig [editor.] | Juckeland, Guido [editor.] | Ltaief, Hatem [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 25th International Conference, FC 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers, Part I / 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
|
|
|
|
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
|
|
|
|
Information Security Applications [electronic resource] : 22nd International Conference, WISA 2021, Jeju Island, South Korea, August 11-13, 2021, Revised Selected Papers / edited by Hyoungshick Kim.
by Kim, Hyoungshick [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
|
|
|
|
PRICAI 2021: Trends in Artificial Intelligence [electronic resource] : 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part I / edited by Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu.
by Pham, Duc Nghia [editor.] | Theeramunkong, Thanaruk [editor.] | Governatori, Guido [editor.] | Liu, Fenrong [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
|
|
|
|
PRICAI 2021: Trends in Artificial Intelligence [electronic resource] : 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part III / edited by Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu.
by Pham, Duc Nghia [editor.] | Theeramunkong, Thanaruk [editor.] | Governatori, Guido [editor.] | Liu, Fenrong [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
|
|
|
|
PRICAI 2021: Trends in Artificial Intelligence [electronic resource] : 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part II / edited by Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu.
by Pham, Duc Nghia [editor.] | Theeramunkong, Thanaruk [editor.] | Governatori, Guido [editor.] | Liu, Fenrong [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
|
|
|
|
Decision and Game Theory for Security [electronic resource] : 12th International Conference, GameSec 2021, Virtual Event, October 25-27, 2021, Proceedings / edited by Branislav Bošanský, Cleotilde Gonzalez, Stefan Rass, Arunesh Sinha.
by Bošanský, Branislav [editor.] | Gonzalez, Cleotilde [editor.] | Rass, Stefan [editor.] | Sinha, Arunesh [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
|
|
|
|
Informatics in Schools. Rethinking Computing Education [electronic resource] : 14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual Event, November 3-5, 2021, Proceedings / edited by Erik Barendsen, Christos Chytas.
by Barendsen, Erik [editor.] | Chytas, Christos [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 Web-Based Learning - ICWL 2021 [electronic resource] : 20th International Conference, ICWL 2021, Macau, China, November 13-14, 2021, Proceedings / edited by Wanlei Zhou, Yi Mu.
by Zhou, Wanlei [editor.] | Mu, Yi [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
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings / edited by Colette Johnen, Elad Michael Schiller, Stefan Schmid.
by Johnen, Colette [editor.] | Schiller, Elad Michael [editor.] | Schmid, Stefan [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
|
|
|
|
MultiMedia Modeling [electronic resource] : 28th International Conference, MMM 2022, Phu Quoc, Vietnam, June 6-10, 2022, Proceedings, Part I / edited by Björn Þór Jónsson, Cathal Gurrin, Minh-Triet Tran, Duc-Tien Dang-Nguyen, Anita Min-Chun Hu, Binh Huynh Thi Thanh, Benoit Huet.
by Þór Jónsson, Björn [editor.] | Gurrin, Cathal [editor.] | Tran, Minh-Triet [editor.] | Dang-Nguyen, Duc-Tien [editor.] | Hu, Anita Min-Chun [editor.] | Huynh Thi Thanh, Binh [editor.] | Huet, Benoit [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
|
