Rupak Majumdar – författare

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

8 produkter

1. 

   Networked Systems

   8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings

   Av Chryssis Georgiou, Rupak Majumdar

   Häftad, 2021

   729 kr

   Lägg i varukorg

2. 

   Principles of Systems Design

   Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

   Av Jean-François Raskin, Krishnendu Chatterjee m. fl.

   Häftad, 2022

   1309 kr

   Lägg i varukorg

3. 

   Runtime Verification

   6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

   Av Ezio Bartocci, Rupak Majumdar

   Häftad, 2015

   729 kr

   Lägg i varukorg

4. 

   Computer Aided Verification

   29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

   Av Rupak Majumdar, Viktor Kunčak

   Häftad, 2017

   729 kr

   Lägg i varukorg

5. 

   Computer Aided Verification

   29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

   Av Rupak Majumdar, Viktor Kunčak

   Häftad, 2017

   729 kr

   Lägg i varukorg

6. 

   Model Checking Software

   15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

   Av Klaus Havelund, Rupak Majumdar m. fl.

   Häftad, 2008

   729 kr

   Lägg i varukorg

7. 

   Hybrid Systems: Computation and Control

   12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings

   Av Rupak Majumdar, Paulo Tabuada

   Häftad, 2009

   729 kr

   Lägg i varukorg

8. 

   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

   Av Javier Esparza, Rupak Majumdar

   Häftad, 2010

   729 kr

   Lägg i varukorg