Results
|
|
1381.
|
|
|
|
1382.
|
|
|
|
1383.
|
|
|
|
1384.
|
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.
|
|
|
1385.
|
|
|
|
1386.
|
|
|
|
1387.
|
|
|
|
1388.
|
|
|
|
1389.
|
|
|
|
1390.
|
|
|
|
1391.
|
Medical Image Computing and Computer Assisted Intervention – MICCAI 2023 Workshops [electronic resource] : ISIC 2023, Care-AI 2023, MedAGI 2023, DeCaF 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8–12, 2023, Proceedings / by
- Celebi, M. Emre [editor.]
- Salekin, Md Sirajus [editor.]
- Kim, Hyunwoo [editor.]
- Albarqouni, Shadi [editor.]
- Barata, Catarina [editor.]
- Halpern, Allan [editor.]
- Tschandl, Philipp [editor.]
- Combalia, Marc [editor.]
- Liu, Yuan [editor.]
- Zamzmi, Ghada [editor.]
- Levy, Joshua [editor.]
- Rangwala, Huzefa [editor.]
- Reinke, Annika [editor.]
- Wynn, Diya [editor.]
- Landman, Bennett [editor.]
- Jeong, Won-Ki [editor.]
- Shen, Yiqing [editor.]
- Deng, Zhongying [editor.]
- Bakas, Spyridon [editor.]
- Li, Xiaoxiao [editor.]
- Qin, Chen [editor.]
- Rieke, Nicola [editor.]
- Roth, Holger [editor.]
- Xu, Daguang [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 14393
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.
|
|
|
1392.
|
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.
|
|
|
1393.
|
Graphs in Biomedical Image Analysis, and Overlapped Cell on Tissue Dataset for Histopathology [electronic resource] : 5th MICCAI Workshop, GRAIL 2023 and 1st MICCAI Challenge, OCELOT 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, September 23, and October 4, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14373
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.
|
|
|
1394.
|
|
|
|
1395.
|
|
|
|
1396.
|
|
|
|
1397.
|
|
|
|
1398.
|
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.
|
|
|
1399.
|
Analysis of Images, Social Networks and Texts [electronic resource] : 11th International Conference, AIST 2023, Yerevan, Armenia, September 28–30, 2023, Revised Selected Papers / by
- Ignatov, Dmitry I [editor.]
- Khachay, Michael [editor.]
- Kutuzov, Andrey [editor.]
- Madoyan, Habet [editor.]
- Makarov, Ilya [editor.]
- Nikishina, Irina [editor.]
- Panchenko, Alexander [editor.]
- Panov, Maxim [editor.]
- Pardalos, Panos M [editor.]
- Savchenko, Andrey V [editor.]
- Tsymbalov, Evgenii [editor.]
- Tutubalina, Elena [editor.]
- Zagoruyko, Sergey [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 14486
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.
|
|
|
1400.
|
|
