Results
|
|
4901.
|
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.
|
|
|
4902.
|
|
|
|
4903.
|
|
|
|
4904.
|
|
|
|
4905.
|
|
|
|
4906.
|
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.
|
|
|
4907.
|
|
|
|
4908.
|
|
|
|
4909.
|
|
|
|
4910.
|
|
|
|
4911.
|
|
|
|
4912.
|
Service-Oriented Computing – ICSOC 2023 Workshops [electronic resource] : AI-PA, ASOCA, SAPD, SQS, SSCOPE, WESOACS and Satellite Events, Rome, Italy, November 28-December 1, 2023, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 14518
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.
|
|
|
4913.
|
|
|
|
4914.
|
|
|
|
4915.
|
|
|
|
4916.
|
|
|
|
4917.
|
|
|
|
4918.
|
|
|
|
4919.
|
Digital Forensics and Cyber Crime [electronic resource] : 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I / by Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 570
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.
|
|
|
4920.
|
Digital Forensics and Cyber Crime [electronic resource] : 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part II / by Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 571
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.
|
