|
|
|
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [electronic resource] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers / edited by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture.
by Cerone, Antonio [editor.] | Autili, Marco [editor.] | Bucaioni, Alessio [editor.] | Gomes, Cláudio [editor.] | Graziani, Pierluigi [editor.] | Palmieri, Maurizio [editor.] | Temperini, Marco [editor.] | Venture, Gentiane [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
|
|
|
|
Reasoning Web. Causality, Explanations and Declarative Knowledge [electronic resource] : 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures / edited by Leopoldo Bertossi, Guohui Xiao.
by Bertossi, Leopoldo [editor.] | Xiao, Guohui [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
|
|
|
|
Web and Big Data [electronic resource] : 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part I / edited by Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa.
by Li, Bohan [editor.] | Yue, Lin [editor.] | Tao, Chuanqi [editor.] | Han, Xuming [editor.] | Calvanese, Diego [editor.] | Amagasa, Toshiyuki [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
|
|
|
|
Clinical Image-Based Procedures [electronic resource] : 11th Workshop, CLIP 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings / edited by Yufei Chen, Marius George Linguraru, Raj Shekhar, Stefan Wesarg, Marius Erdt, Klaus Drechsler, Cristina Oyarzun Laura.
by Chen, Yufei [editor.] | Linguraru, Marius George [editor.] | Shekhar, Raj [editor.] | Wesarg, Stefan [editor.] | Erdt, Marius [editor.] | Drechsler, Klaus [editor.] | Oyarzun Laura, Cristina [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
|
|
|
|
Collaboration Technologies and Social Computing [electronic resource] : 28th International Conference, CollabTech 2022, Santiago, Chile, November 8-11, 2022, Proceedings / edited by Lung-Hsiang Wong, Yugo Hayashi, Cesar A. Collazos, Claudio Alvarez, Gustavo Zurita, Nelson Baloian.
by Wong, Lung-Hsiang [editor.] | Hayashi, Yugo [editor.] | Collazos, Cesar A [editor.] | Alvarez, Claudio [editor.] | Zurita, Gustavo [editor.] | Baloian, Nelson [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Decision and Game Theory for Security [electronic resource] : 14th International Conference, GameSec 2023, Avignon, France, October 18-20, 2023, Proceedings / edited by Jie Fu, Tomas Kroupa, Yezekael Hayel.
by Fu, Jie [editor.] | Kroupa, Tomas [editor.] | Hayel, Yezekael [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
|
|
|
|
Big Data and Artificial Intelligence [electronic resource] : 11th International Conference, BDA 2023, Delhi, India, December 7-9, 2023, Proceedings / edited by Vikram Goyal, Naveen Kumar, Sourav S. Bhowmick, Pawan Goyal, Navneet Goyal, Dhruv Kumar.
by Goyal, Vikram [editor.] | Kumar, Naveen [editor.] | Bhowmick, Sourav S [editor.] | Goyal, Pawan [editor.] | Goyal, Navneet [editor.] | Kumar, Dhruv [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
|
|
|
|
Linking Theory and Practice of Digital Libraries [electronic resource] : 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings / edited by Omar Alonso, Helena Cousijn, Gianmaria Silvello, Mónica Marrero, Carla Teixeira Lopes, Stefano Marchesin.
by Alonso, Omar [editor.] | Cousijn, Helena [editor.] | Silvello, Gianmaria [editor.] | Marrero, Mónica [editor.] | Teixeira Lopes, Carla [editor.] | Marchesin, Stefano [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
|
|
|
|
Human-Computer Interaction - INTERACT 2023 [electronic resource] : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II / edited by José Abdelnour Nocera, Marta Kristín Lárusdóttir, Helen Petrie, Antonio Piccinno, Marco Winckler.
by Abdelnour Nocera, José [editor.] | Kristín Lárusdóttir, Marta [editor.] | Petrie, Helen [editor.] | Piccinno, Antonio [editor.] | Winckler, Marco [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
|
|
|
|
Universal Access in Human-Computer Interaction [electronic resource] : 17th International Conference, UAHCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Margherita Antona, Constantine Stephanidis.
by Antona, Margherita [editor.] | Stephanidis, Constantine [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2023 Workshops [electronic resource] : Athens, Greece, July 3-6, 2023, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, Ana Maria A. C. Rocha, Chiara Garau, Francesco Scorza, Yeliz Karaca, Carmelo M. Torre.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Rocha, Ana Maria A. C [editor.] | Garau, Chiara [editor.] | Scorza, Francesco [editor.] | Karaca, Yeliz [editor.] | Torre, Carmelo M [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
|
|
|
|
Spatial Data and Intelligence [electronic resource] : 4th International Conference, SpatialDI 2023, Nanchang, China, April 13-15, 2023, Proceedings / edited by Xiaofeng Meng, Xiang Li, Jianqiu Xu, Xueying Zhang, Yuming Fang, Bolong Zheng, Yafei Li.
by Meng, Xiaofeng [editor.] | Li, Xiang [editor.] | Xu, Jianqiu [editor.] | Zhang, Xueying [editor.] | Fang, Yuming [editor.] | Zheng, Bolong [editor.] | Li, Yafei [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
|
|
|
|
Advances in Conceptual Modeling - Theory and Practice [electronic resource] : ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006, Proceedings / edited by John F. Roddick, Richard Benjamins, Samira Si-Said Cherfi, Roger Chiang, Ramez Elmasri, Hyoil Han, Martin Hepp, Miltiadis Lystras, Vojislav Misic, Geert Poels, Il-Yeol Song, Christelle Vangenot.
by Roddick, John F [editor.] | Benjamins, Richard [editor.] | Si-Said Cherfi, Samira [editor.] | Chiang, Roger [editor.] | Elmasri, Ramez [editor.] | Han, Hyoil [editor.] | Hepp, Martin [editor.] | Lystras, Miltiadis [editor.] | Misic, Vojislav [editor.] | Poels, Geert [editor.] | Song, Il-Yeol [editor.] | Vangenot, Christelle [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Pattern Recognition [electronic resource] : 44th DAGM German Conference, DAGM GCPR 2022, Konstanz, Germany, September 27-30, 2022, Proceedings / edited by Björn Andres, Florian Bernard, Daniel Cremers, Simone Frintrop, Bastian Goldlücke, Ivo Ihrke.
by Andres, Björn [editor.] | Bernard, Florian [editor.] | Cremers, Daniel [editor.] | Frintrop, Simone [editor.] | Goldlücke, Bastian [editor.] | Ihrke, Ivo [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
|
|
|
|
Image Analysis and Processing. ICIAP 2022 Workshops [electronic resource] : ICIAP International Workshops, Lecce, Italy, May 23-27, 2022, Revised Selected Papers, Part II / edited by Pier Luigi Mazzeo, Emanuele Frontoni, Stan Sclaroff, Cosimo Distante.
by Mazzeo, Pier Luigi [editor.] | Frontoni, Emanuele [editor.] | Sclaroff, Stan [editor.] | Distante, Cosimo [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
|
|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 19th International Conference, DIMVA 2022, Cagliari, Italy, June 29 -July 1, 2022, Proceedings / edited by Lorenzo Cavallaro, Daniel Gruss, Giancarlo Pellegrino, Giorgio Giacinto.
by Cavallaro, Lorenzo [editor.] | Gruss, Daniel [editor.] | Pellegrino, Giancarlo [editor.] | Giacinto, Giorgio [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
|
|
|
|
Human Interface and the Management of Information: Applications in Complex Technological Environments [electronic resource] : Thematic Area, HIMI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II / edited by Sakae Yamamoto, Hirohiko Mori.
by Yamamoto, Sakae [editor.] | Mori, Hirohiko [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
|
|
|
|
Dynamic Logic. New Trends and Applications [electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa.
by Areces, Carlos [editor.] | Costa, Diana [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
|
