|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II / 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
|
|
|
|
Chinese Computational Linguistics [electronic resource] : 21st China National Conference, CCL 2022, Nanchang, China, October 14-16, 2022, Proceedings / edited by Maosong Sun, Yang Liu, Wanxiang Che, Yang Feng, Xipeng Qiu, Gaoqi Rao, Yubo Chen.
by Sun, Maosong [editor.] | Liu, Yang [editor.] | Che, Wanxiang [editor.] | Feng, Yang [editor.] | Qiu, Xipeng [editor.] | Rao, Gaoqi [editor.] | Chen, Yubo [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
|
|
|
|
Disinformation in Open Online Media [electronic resource] : 4th Multidisciplinary International Symposium, MISDOOM 2022, Boise, ID, USA, October 11-12, 2022, Proceedings / edited by Francesca Spezzano, Adriana Amaral, Davide Ceolin, Lisa Fazio, Edoardo Serra.
by Spezzano, Francesca [editor.] | Amaral, Adriana [editor.] | Ceolin, Davide [editor.] | Fazio, Lisa [editor.] | Serra, Edoardo [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
|
|
|
|
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
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings / edited by Nazim Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi.
by Madhavji, Nazim [editor.] | Pasquale, Liliana [editor.] | Ferrari, Alessio [editor.] | Gnesi, Stefania [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
|
|
|
|
Document Analysis and Recognition - ICDAR 2021 [electronic resource] : 16th International Conference, Lausanne, Switzerland, September 5-10, 2021, Proceedings, Part II / edited by Josep Lladós, Daniel Lopresti, Seiichi Uchida.
by Lladós, Josep [editor.] | Lopresti, Daniel [editor.] | Uchida, Seiichi [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 Interface and the Management of Information. Information-Rich and Intelligent Environments [electronic resource] : Thematic Area, HIMI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II / edited by Sakae Yamamoto, Hirohiko Mori.
by Yamamoto, Sakae [editor.] | Mori, Hirohiko [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
|
|
|
|
Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies [electronic resource] : 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I / edited by Margherita Antona, Constantine Stephanidis.
by Antona, Margherita [editor.] | Stephanidis, Constantine [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Artificial Intelligence and Mobile Services - AIMS 2022 [electronic resource] : 11th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings / edited by Xiuqin Pan, Ting Jin, Liang-Jie Zhang.
by Pan, Xiuqin [editor.] | Jin, Ting [editor.] | Zhang, Liang-Jie [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
|
|
|
|
Big Data - BigData 2022 [electronic resource] : 11th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings / edited by Bo Hu, Yunni Xia, Yiwen Zhang, Liang-Jie Zhang.
by Hu, Bo [editor.] | Xia, Yunni [editor.] | Zhang, Yiwen [editor.] | Zhang, Liang-Jie [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
|
|
|
|
Pattern Recognition and Computer Vision [electronic resource] : 5th Chinese Conference, PRCV 2022, Shenzhen, China, November 4-7, 2022, Proceedings, Part II / edited by Shiqi Yu, Zhaoxiang Zhang, Pong C. Yuen, Junwei Han, Tieniu Tan, Yike Guo, Jianhuang Lai, Jianguo Zhang.
by Yu, Shiqi [editor.] | Zhang, Zhaoxiang [editor.] | Yuen, Pong C [editor.] | Han, Junwei [editor.] | Tan, Tieniu [editor.] | Guo, Yike [editor.] | Lai, Jianhuang [editor.] | Zhang, Jianguo [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
|
|
|
|
Applied Cryptography and Network Security Workshops [electronic resource] : ACNS 2022 Satellite Workshops, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Rome, Italy, June 20-23, 2022, Proceedings / edited by Jianying Zhou, Sridhar Adepu, Cristina Alcaraz, Lejla Batina, Emiliano Casalicchio, Sudipta Chattopadhyay, Chenglu Jin, Jingqiang Lin, Eleonora Losiouk, Suryadipta Majumdar, Weizhi Meng, Stjepan Picek, Jun Shao, Chunhua Su, Cong Wang, Yury Zhauniarovich, Saman Zonouz.
by Zhou, Jianying [editor.] | Adepu, Sridhar [editor.] | Alcaraz, Cristina [editor.] | Batina, Lejla [editor.] | Casalicchio, Emiliano [editor.] | Chattopadhyay, Sudipta [editor.] | Jin, Chenglu [editor.] | Lin, Jingqiang [editor.] | Losiouk, Eleonora [editor.] | Majumdar, Suryadipta [editor.] | Meng, Weizhi [editor.] | Picek, Stjepan [editor.] | Shao, Jun [editor.] | Su, Chunhua [editor.] | Wang, Cong [editor.] | Zhauniarovich, Yury [editor.] | Zonouz, Saman [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
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings / edited by Martin Gebser, Ilya Sergey.
by Gebser, Martin [editor.] | Sergey, Ilya [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 - ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part I / edited by Jiří Mikyška, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M.A. Sloot.
by Mikyška, Jiří [editor.] | de Mulatier, Clélia [editor.] | Paszynski, Maciej [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [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 Data Engineering and Automated Learning - IDEAL 2018 [electronic resource] : 19th International Conference, Madrid, Spain, November 21-23, 2018, Proceedings, Part II / edited by Hujun Yin, David Camacho, Paulo Novais, Antonio J. Tallón-Ballesteros.
by Yin, Hujun [editor.] | Camacho, David [editor.] | Novais, Paulo [editor.] | Tallón-Ballesteros, Antonio J [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
|
|
|
|
Responsible Design, Implementation and Use of Information and Communication Technology [electronic resource] : 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6-8, 2020, Proceedings, Part II / edited by Marié Hattingh, Machdel Matthee, Hanlie Smuts, Ilias Pappas, Yogesh K. Dwivedi, Matti Mäntymäki.
by Hattingh, Marié [editor.] | Matthee, Machdel [editor.] | Smuts, Hanlie [editor.] | Pappas, Ilias [editor.] | Dwivedi, Yogesh K [editor.] | Mäntymäki, Matti [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
|
