Parosh Aziz Abdulla – författare
Visar alla böcker från författaren Parosh Aziz Abdulla. Handla med fri frakt och snabb leverans.
7 produkter
Foundations of Software Science and Computation Structures
28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings
Av Parosh Aziz Abdulla, Delia Kesner
Häftad, 2025
441 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of …
Networked Systems
4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers
Av Parosh Aziz Abdulla, Carole Delporte-Gallet
Häftad, 2016
566 kr
Lägg i varukorg
This book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco, in May 2016.The 22 full papers and 11 short papers presented together with 19 poster abstracts were carefully reviewed and selected from 121 …
Networked Systems
4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers
Av Carole Delporte-Gallet, Parosh Aziz Abdulla
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco, in May 2016. The 22 full papers and 11 short papers presented together with 19 poster abstracts were carefully reviewed and selected from 121 …
Tools and Algorithms for the Construction and Analysis of Systems
17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Av Parosh Aziz Abdulla, K. Rustan M. Leino
Häftad, 2011
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of …
Tools and Algorithms for the Construction and Analysis of Systems
17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Av K. Rustan M. Leino, Parosh Aziz Abdulla
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of …
Reachability Problems
7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings
Av Parosh Aziz Abdulla, Igor Potapov
Häftad, 2013
522 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were …
Reachability Problems
7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings
Av Igor Potapov, Parosh Aziz Abdulla
E-bok, 2013
672 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were …
