Results
|
|
1361.
|
|
|
|
1362.
|
|
|
|
1363.
|
|
|
|
1364.
|
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.
|
|
|
1365.
|
|
|
|
1366.
|
|
|
|
1367.
|
|
|
|
1368.
|
|
|
|
1369.
|
|
|
|
1370.
|
|
|
|
1371.
|
|
|
|
1372.
|
|
|
|
1373.
|
|
|
|
1374.
|
|
|
|
1375.
|
|
|
|
1376.
|
|
|
|
1377.
|
|
|
|
1378.
|
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.
|
|
|
1379.
|
|
|
|
1380.
|
|
