| |

avaa valikko

Laura Titolo | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?

Logic-Based Program Synthesis and Transformation : 35th International Symposium, LOPSTR 2025, Rende, Italy, September

Escobar, Santiago; Titolo, Laura
Springer
2025
Pehmeäkantinen kirja

Logic-Based Program Synthesis and Transformation : 35th International Symposium, LOPSTR 2025, Rende, Italy, September

80,70 €

NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings

Dutle, Aaron; Humphrey, Laura; Titolo, Laura
Springer
2025
Pehmeäkantinen kirja

NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings

128,30 €

NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

Dutle, Aaron; Moscato, Mariano M.; Titolo, Laura; Muñoz, César A.; Perez, Ivan
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja

NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

86,00 €

Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September

Cimatti, Alessandro; Titolo, Laura
Springer
2023
Pehmeäkantinen kirja

Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September

66,10 €