Results
|
|
1921.
|
|
|
|
1922.
|
|
|
|
1923.
|
|
|
|
1924.
|
|
|
|
1925.
|
|
|
|
1926.
|
|
|
|
1927.
|
|
|
|
1928.
|
|
|
|
1929.
|
|
|
|
1930.
|
|
|
|
1931.
|
|
|
|
1932.
|
|
|
|
1933.
|
Euro-Par 2019: Parallel Processing Workshops [electronic resource] : Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers / by
- Schwardmann, Ulrich [editor.]
- Boehme, Christian [editor.]
- B. Heras, Dora [editor.]
- Cardellini, Valeria [editor.]
- Jeannot, Emmanuel [editor.]
- Salis, Antonio [editor.]
- Schifanella, Claudio [editor.]
- Manumachu, Ravi Reddy [editor.]
- Schwamborn, Dieter [editor.]
- Ricci, Laura [editor.]
- Sangyoon, Oh [editor.]
- Gruber, Thomas [editor.]
- Antonelli, Laura [editor.]
- Scott, Stephen L [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 11997
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.
|
|
|
1934.
|
|
|
|
1935.
|
|
|
|
1936.
|
|
|
|
1937.
|
|
|
|
1938.
|
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.
|
|
|
1939.
|
|
|
|
1940.
|
|
