Suchergebnisse - Majumdar, Rupak
-
1Networked systems: 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedingsVeröffentlicht 2021Weitere beteiligte Personen: “… Majumdar, Rupak …”
Online lesen
Elektronisch Tagungsbericht E-Book -
2Computer aided verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings : part IIVeröffentlicht 2017Weitere beteiligte Personen: “… Majumdar, Rupak …”
Online lesen
Elektronisch Tagungsbericht E-Book -
3Computer aided verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings : part IVeröffentlicht 2017Weitere beteiligte Personen: “… Majumdar, Rupak …”
Online lesen
Elektronisch Tagungsbericht E-Book -
435th International Conference on Concurrency Theory: CONCUR 2024, September 9–13, 2024, Calgary, CanadaVeröffentlicht 2024Weitere beteiligte Personen: “… Majumdar, Rupak …”
Online lesen (frei zugänglich)
Elektronisch Tagungsbericht E-Book -
5Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th BirthdayVeröffentlicht 2022Weitere beteiligte Personen: “… Majumdar, Rupak …”
Online lesen
Elektronisch E-Book -
6POPL'16: proceedings of the 43rd annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 20-22, 2016, St. Petersburg, FL, USAVeröffentlicht 2016Weitere beteiligte Personen: “… Majumdar, Rupak …”
Tagungsbericht Buch -
7Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedingsBand 1 - partVeröffentlicht 2017Weitere beteiligte Personen: “… Majumdar, Rupak …”
Tagungsbericht Buch -
8Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedingsVeröffentlicht 2017Weitere beteiligte Personen: “… Majumdar, Rupak …”
Tagungsbericht Buch -
9Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedingsBand 2 - partVeröffentlicht 2017Weitere beteiligte Personen: “… Majumdar, Rupak …”
Tagungsbericht Buch -
10Principles of systems design: essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthdayVeröffentlicht 2022Weitere beteiligte Personen: “… Majumdar, Rupak …”
Buch