|
|

avaa valikko

Rupak Majumdar | Akateeminen Kirjakauppa

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



Majumdar, Rupak; Tabuada, Paulo
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Hybrid Systems: Computation and Control - 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, P
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Majumdar, Rupak; Kunčak, Viktor
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Majumdar, Rupak; Kunčak, Viktor
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Havelund, Klaus; Majumdar, Rupak; Palsberg, Jens
Springer
2008
Pehmeäkantinen kirja
Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Esparza, Javier; Majumdar, Rupak
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems - 16th International Conference, TACAS 2010, Held as Part of t
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bartocci, Ezio; Majumdar, Rupak
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Runtime Verification - 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Georgiou, Chryssis; Majumdar, Rupak
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Raskin, Jean-François; Chatterjee, Krishnendu; Doyen, Laurent; Majumdar, Rupak
Springer
2022
Pehmeäkantinen kirja
Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
91,00 €