Sriram+Sankaranarayanan | Booky.fi

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

Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015,

Sankaranarayanan, Sriram; Vicario, Enrico
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,40 €

Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of t

Sankaranarayanan, Sriram; Sharygina, Natasha
Springer International Publishing AG
2023
Pehmeäkantinen kirja

41,40 €

Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of t

Sankaranarayanan, Sriram; Sharygina, Natasha
Springer International Publishing AG
2023
Pehmeäkantinen kirja

41,40 €

Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024,

Akshay, S.; Niemetz, Aina; Sankaranarayanan, Sriram
Springer International Publishing AG
2025
Pehmeäkantinen kirja

131,40 €

Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024,

Akshay, S.; Niemetz, Aina; Sankaranarayanan, Sriram
Springer International Publishing AG
2025
Pehmeäkantinen kirja

134,60 €

Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January

Shankaranarayanan, Krishna ; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Springer International Publishing AG
2025
Pehmeäkantinen kirja

59,40 €

Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January

Shankaranarayanan, Krishna; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Springer International Publishing AG
2025
Pehmeäkantinen kirja

59,40 €

Toimitusehdot

Asiakaspalvelu

YHTEYSTIEDOT

SEURAA MEITÄ

Booky.fi | Kotimainen kirjakauppasi netissä

Löydä seuraava lukuelämyksesi meiltä. Valikoimassamme ovat kaikki kotimaiset kirjat sekä noin 25 miljoonaa ulkomaista teosta.
Toimitamme tilaukset maailmanlaajuisesti!

Tietosuojaseloste

Evästeiden hallinta

Maksutavat