Results
|
|
6881.
|
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.
|
|
|
6882.
|
Application of Big Data, Blockchain, and Internet of Things for Education Informatization [electronic resource] : Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29–31, 2022, Proceedings, Part III / by Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 467
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
|
6883.
|
Machine Learning and Principles and Practice of Knowledge Discovery in Databases [electronic resource] : International Workshops of ECML PKDD 2022, Grenoble, France, September 19–23, 2022, Proceedings, Part I / by
- Koprinska, Irena [editor.]
- Mignone, Paolo [editor.]
- Guidotti, Riccardo [editor.]
- Jaroszewicz, Szymon [editor.]
- Fröning, Holger [editor.]
- Gullo, Francesco [editor.]
- Ferreira, Pedro M [editor.]
- Roqueiro, Damian [editor.]
- Ceddia, Gaia [editor.]
- Nowaczyk, Slawomir [editor.]
- Gama, João [editor.]
- Ribeiro, Rita [editor.]
- Gavaldà, Ricard [editor.]
- Masciari, Elio [editor.]
- Ras, Zbigniew [editor.]
- Ritacco, Ettore [editor.]
- Naretto, Francesca [editor.]
- Theissler, Andreas [editor.]
- Biecek, Przemyslaw [editor.]
- Verbeke, Wouter [editor.]
- Schiele, Gregor [editor.]
- Pernkopf, Franz [editor.]
- Blott, Michaela [editor.]
- Bordino, Ilaria [editor.]
- Danesi, Ivan Luciano [editor.]
- Ponti, Giovanni [editor.]
- Severini, Lorenzo [editor.]
- Appice, Annalisa [editor.]
- Andresini, Giuseppina [editor.]
- Medeiros, Ibéria [editor.]
- Graça, Guilherme [editor.]
- Cooper, Lee [editor.]
- Ghazaleh, Naghmeh [editor.]
- Richiardi, Jonas [editor.]
- Saldana, Diego [editor.]
- Sechidis, Konstantinos [editor.]
- Canakoglu, Arif [editor.]
- Pido, Sara [editor.]
- Pinoli, Pietro [editor.]
- Bifet, Albert [editor.]
- Pashami, Sepideh [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 1752
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
|
6884.
|
|
|
|
6885.
|
|
|
|
6886.
|
|
|
|
6887.
|
|
|
|
6888.
|
|
|
|
6889.
|
|
|
|
6890.
|
|
|
|
6891.
|
|
|
|
6892.
|
|
|
|
6893.
|
|
|
|
6894.
|
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.
|
|
|
6895.
|
|
|
|
6896.
|
|
|
|
6897.
|
|
|
|
6898.
|
|
|
|
6899.
|
|
|
|
6900.
|
|
