Results
|
|
301.
|
|
|
|
302.
|
|
|
|
303.
|
|
|
|
304.
|
|
|
|
305.
|
|
|
|
306.
|
|
|
|
307.
|
|
|
|
308.
|
|
|
|
309.
|
|
|
|
310.
|
|
|
|
311.
|
|
|
|
312.
|
|
|
|
313.
|
|
|
|
314.
|
Computational Science and Its Applications – ICCSA 2020 [electronic resource] : 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part III / by
- Gervasi, Osvaldo [editor.]
- Murgante, Beniamino [editor.]
- Misra, Sanjay [editor.]
- Garau, Chiara [editor.]
- Blečić, Ivan [editor.]
- Taniar, David [editor.]
- Apduhan, Bernady O [editor.]
- Rocha, Ana Maria A. C [editor.]
- Tarantino, Eufemia [editor.]
- Torre, Carmelo Maria [editor.]
- Karaca, Yeliz [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 12251
Edition: 1st ed. 2020.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer Nature eBook
Availability: No items available.
|
|
|
315.
|
|
|
|
316.
|
|
|
|
317.
|
|
|
|
318.
|
|
|
|
319.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings / by Series: Theoretical Computer Science and General Issues ; 13182
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.
|
|
|
320.
|
|
