Majumdar, Rupak
Articles populaires de Majumdar, Rupak
Afficher toutes les offres-
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Prix des articles à partir de
Afficher les 14 offresEUR 57,66
-
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Prix des articles à partir de
Afficher les 17 offresEUR 57,66
-
Tools and Algorithms for the Construction and Analysis of Systems
Prix des articles à partir de
Afficher les 15 offresEUR 55,70
-
Networked Systems: 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings
Prix des articles à partir de
Afficher les 18 offresEUR 46,22
-
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Prix des articles à partir de
Afficher les 12 offresEUR 46,22
Rechercher également
Neuf -
-
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Prix des articles à partir de
Afficher les 20 offresEUR 61,04
