Results
|
541.
|
|
|
542.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 14500
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.
|
|
543.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 14499
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.
|
|
544.
|
|
|
545.
|
|
|
546.
|
|
|
547.
|
|
|
548.
|
|
|
549.
|
|
|
550.
|
|
|
551.
|
|
|
552.
|
|
|
553.
|
|
|
554.
|
|
|
555.
|
|
|
556.
|
|
|
557.
|
|
|
558.
|
|
|
559.
|
Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 13th International Conference of the CLEF Association, CLEF 2022, Bologna, Italy, September 5–8, 2022, Proceedings / by
- Barrón-Cedeño, Alberto [editor.]
- Da San Martino, Giovanni [editor.]
- Degli Esposti, Mirko [editor.]
- Sebastiani, Fabrizio [editor.]
- Macdonald, Craig [editor.]
- Pasi, Gabriella [editor.]
- Hanbury, Allan [editor.]
- Potthast, Martin [editor.]
- Faggioli, Guglielmo [editor.]
- Ferro, Nicola [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 13390
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.
|
|
560.
|
|