|
|

avaa valikko

Sriram Sankaranarayanan | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 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
Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part
Sankaranarayanan, Sriram; Sharygina, Natasha
Springer
2023
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part
Sankaranarayanan, Sriram; Sharygina, Natasha
Springer
2023
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October
Akshay, S.; Niemetz, Aina; Sankaranarayanan, Sriram
Springer
2025
Pehmeäkantinen kirja
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
130,80 €
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October
Akshay, S.; Niemetz, Aina; Sankaranarayanan, Sriram
Springer
2025
Pehmeäkantinen kirja
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
137,30 €
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA,
Shankaranarayanan, Krishna ; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Springer
2025
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,10 €
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA,
Shankaranarayanan, Krishna; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Springer
2025
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,10 €
Integer Programming Games
Carvalho, Margarida; Dragotto, Gabriele; Lodi, Andrea; Sankaranarayanan, Sriram
Now Publishers
2025
Pehmeäkantinen kirja
Integer Programming Games
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
161,30 €