Rupak Majumdar – författare
Visar alla böcker från författaren Rupak Majumdar. Handla med fri frakt och snabb leverans.
16 produkter
Networked Systems
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings
Av Chryssis Georgiou, Rupak Majumdar
Häftad, 2021
566 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.*The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 …
Networked Systems
8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings
Av Rupak Majumdar, Chryssis Georgiou
E-bok, 2021
755 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.* The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 …
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
1014 kr
Lägg i varukorg
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his …
Principles of Systems Design
Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Av Rupak Majumdar, Laurent Doyen m. fl.
E-bok, 2022
1306 kr
Lägg i varukorg
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his …
Runtime Verification
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Av Ezio Bartocci, Rupak Majumdar
Häftad, 2015
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition …
Runtime Verification
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Av Rupak Majumdar, Ezio Bartocci
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition …
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
566 kr
Lägg i varukorg
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the …
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Av Viktor Kuncak, Rupak Majumdar
E-bok, 2017
755 kr
Lägg i varukorg
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the …
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
566 kr
Lägg i varukorg
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the …
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Av Viktor Kuncak, Rupak Majumdar
E-bok, 2017
755 kr
Lägg i varukorg
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the …
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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from …
Model Checking Software
15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
Av Jens Palsberg, Rupak Majumdar m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from …
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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from …
Hybrid Systems: Computation and Control
12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings
Av Paulo Tabuada, Rupak Majumdar
E-bok, 2009
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from …
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
566 kr
Lägg i varukorg
ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryandPracticeofSoftware. ETAPSisanannualfederatedconferencethatwas establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual?vesisterconferences(CC,ESOP,FASE,FOSSACS, TACAS), 19 satellite …
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 Rupak Majumdar, Javier Esparza
E-bok, 2010
739 kr
Lägg i varukorg
