|
|
|
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
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 26th International Conference on Applications of Natural Language to Information Systems, NLDB 2021, Saarbrücken, Germany, June 23-25, 2021, Proceedings / edited by Elisabeth Métais, Farid Meziane, Helmut Horacek, Epaminondas Kapetanios.
by Métais, Elisabeth [editor.] | Meziane, Farid [editor.] | Horacek, Helmut [editor.] | Kapetanios, Epaminondas [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
|
|
|
|
Human-Computer Interaction. Design and User Experience Case Studies [electronic resource] : Thematic Area, HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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 Computational Intelligence [electronic resource] : 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25-30, 2021, Proceedings, Part I / 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
|
|
|
|
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
|
|
|
|
Similarity Search and Applications [electronic resource] : 14th International Conference, SISAP 2021, Dortmund, Germany, September 29 - October 1, 2021, Proceedings / edited by Nora Reyes, Richard Connor, Nils Kriege, Daniyal Kazempour, Ilaria Bartolini, Erich Schubert, Jian-Jia Chen.
by Reyes, Nora [editor.] | Connor, Richard [editor.] | Kriege, Nils [editor.] | Kazempour, Daniyal [editor.] | Bartolini, Ilaria [editor.] | Schubert, Erich [editor.] | Chen, Jian-Jia [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 and Computer Vision [electronic resource] : 4th Chinese Conference, PRCV 2021, Beijing, China, October 29 - November 1, 2021, Proceedings, Part II / edited by Huimin Ma, Liang Wang, Changshui Zhang, Fei Wu, Tieniu Tan, Yaonan Wang, Jianhuang Lai, Yao Zhao.
by Ma, Huimin [editor.] | Wang, Liang [editor.] | Zhang, Changshui [editor.] | Wu, Fei [editor.] | Tan, Tieniu [editor.] | Wang, Yaonan [editor.] | Lai, Jianhuang [editor.] | Zhao, Yao [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
|
|
|
|
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 12th International Workshop, COSADE 2021, Lugano, Switzerland, October 25-27, 2021, Proceedings / edited by Shivam Bhasin, Fabrizio De Santis.
by Bhasin, Shivam [editor.] | De Santis, Fabrizio [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 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
|
|
|
|
Information Security and Privacy [electronic resource] : 26th Australasian Conference, ACISP 2021, Virtual Event, December 1-3, 2021, Proceedings / edited by Joonsang Baek, Sushmita Ruj.
by Baek, Joonsang [editor.] | Ruj, Sushmita [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
|
|
|
|
Entertainment Computing - ICEC 2021 [electronic resource] : 20th IFIP TC 14 International Conference, ICEC 2021, Coimbra, Portugal, November 2-5, 2021, Proceedings / edited by Jannicke Baalsrud Hauge, Jorge C. S. Cardoso, Licínio Roque, Pedro A. Gonzalez-Calero.
by Baalsrud Hauge, Jannicke [editor.] | C. S. Cardoso, Jorge [editor.] | Roque, Licínio [editor.] | Gonzalez-Calero, Pedro 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
|
