Rupak Majumdar – författare

Visar alla böcker från författaren Rupak Majumdar.

8 produkter

Kategorier

8 produkter

Del 12129
Del 12129 - Lecture Notes in Computer Science
Networked Systems
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings
AvChryssis Georgiou,Rupak Majumdar
Häftad, Engelska, 2021
739 kr
Skickas inom 10-15 vardagar
Del 13660
Del 13660 - Lecture Notes in Computer Science
Principles of Systems Design
Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
AvJean-François Raskin,Krishnendu Chatterjeem. fl.
Häftad, Engelska, 2022
1 329 kr
Skickas inom 10-15 vardagar
Del 9333
Del 9333 - Lecture Notes in Computer Science
Runtime Verification
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
AvEzio Bartocci,Rupak Majumdar
Häftad, Engelska, 2015
739 kr
Skickas inom 10-15 vardagar
Del 10426
Del 10426 - Lecture Notes in Computer Science
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
AvRupak Majumdar,Viktor Kunčak
Häftad, Engelska, 2017
739 kr
Skickas inom 10-15 vardagar
Del 10427
Del 10427 - Lecture Notes in Computer Science
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
AvRupak Majumdar,Viktor Kunčak
Häftad, Engelska, 2017
739 kr
Skickas inom 10-15 vardagar
Model Checking Software
15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
AvKlaus Havelund,Rupak Majumdarm. fl.
Häftad, Engelska, 2008
739 kr
Skickas inom 10-15 vardagar
Hybrid Systems: Computation and Control
12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings
AvRupak Majumdar,Paulo Tabuada
Häftad, Engelska, 2009
739 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
AvJavier Esparza,Rupak Majumdar
Häftad, Engelska, 2010
739 kr
Skickas inom 10-15 vardagar