Results
|
|
241.
|
|
|
|
242.
|
|
|
|
243.
|
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops [electronic resource] : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13415
Edition: 1st ed. 2022.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
|
244.
|
|
|
|
245.
|
|
|
|
246.
|
|
|
|
247.
|
|
|
|
248.
|
|
|
|
249.
|
|
|
|
250.
|
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 / 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)
Series: Lecture Notes in Computer Science ; 13285
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
|
251.
|
|
|
|
252.
|
Green, Pervasive, and Cloud Computing [electronic resource] : 18th International Conference, GPC 2023, Harbin, China, September 22–24, 2023, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 14503
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
253.
|
|
|
|
254.
|
Computer Security. ESORICS 2023 International Workshops [electronic resource] : CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25–29, 2023, Revised Selected Papers, Part I / by
- Katsikas, Sokratis [editor.]
- Cuppens, Frédéric [editor.]
- Cuppens-Boulahia, Nora [editor.]
- Lambrinoudakis, Costas [editor.]
- Garcia-Alfaro, Joaquin [editor.]
- Navarro-Arribas, Guillermo [editor.]
- Nespoli, Pantaleone [editor.]
- Kalloniatis, Christos [editor.]
- Mylopoulos, John [editor.]
- Antón, Annie [editor.]
- Gritzalis, Stefanos [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 14398
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
255.
|
|
|
|
256.
|
Software Verification and Formal Methods for ML-Enabled Autonomous Systems [electronic resource] : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13466
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
|
257.
|
Computer Security. ESORICS 2023 International Workshops [electronic resource] : CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25–29, 2023, Revised Selected Papers, Part II / by
- Katsikas, Sokratis [editor.]
- Abie, Habtamu [editor.]
- Ranise, Silvio [editor.]
- Verderame, Luca [editor.]
- Cambiaso, Enrico [editor.]
- Ugarelli, Rita [editor.]
- Praça, Isabel [editor.]
- Li, Wenjuan [editor.]
- Meng, Weizhi [editor.]
- Furnell, Steven [editor.]
- Katt, Basel [editor.]
- Pirbhulal, Sandeep [editor.]
- Shukla, Ankur [editor.]
- Ianni, Michele [editor.]
- Dalla Preda, Mila [editor.]
- Choo, Kim-Kwang Raymond [editor.]
- Pupo Correia, Miguel [editor.]
- Abhishta, Abhishta [editor.]
- Sileno, Giovanni [editor.]
- Alishahi, Mina [editor.]
- Kalutarage, Harsha [editor.]
- Yanai, Naoto [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 14399
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
|
258.
|
|
|
|
259.
|
|
|
|
260.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 14570
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
