Results
|
|
701.
|
|
|
|
702.
|
|
|
|
703.
|
|
|
|
704.
|
|
|
|
705.
|
|
|
|
706.
|
|
|
|
707.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 13244
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.
|
|
|
708.
|
|
|
|
709.
|
|
|
|
710.
|
|
|
|
711.
|
|
|
|
712.
|
Computational Science and Its Applications – ICCSA 2019 [electronic resource] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II / by
- Misra, Sanjay [editor.]
- Gervasi, Osvaldo [editor.]
- Murgante, Beniamino [editor.]
- Stankova, Elena [editor.]
- Korkhov, Vladimir [editor.]
- Torre, Carmelo [editor.]
- Rocha, Ana Maria A.C [editor.]
- Taniar, David [editor.]
- Apduhan, Bernady O [editor.]
- Tarantino, Eufemia [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 11620
Edition: 1st ed. 2019.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019
In:
Springer Nature eBook
Availability: No items available.
|
|
|
713.
|
|
|
|
714.
|
|
|
|
715.
|
|
|
|
716.
|
|
|
|
717.
|
|
|
|
718.
|
|
|
|
719.
|
|
|
|
720.
|
|
