Sriram Sankaranarayanan – författare
Visar alla böcker från författaren Sriram Sankaranarayanan. Handla med fri frakt och snabb leverans.
14 produkter
Tools and Algorithms for the Construction and Analysis of Systems
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II
Av Sriram Sankaranarayanan, Natasha Sharygina
Häftad, 2023
453 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, …
Tools and Algorithms for the Construction and Analysis of Systems
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I
Av Sriram Sankaranarayanan, Natasha Sharygina
Häftad, 2023
453 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, …
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
Av S. Akshay, Aina Niemetz m. fl.
Häftad, 2025
1460 kr
Lägg i varukorg
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.The 24 full papers presented in this volume were carefully reviewed and selected …
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
Av Sriram Sankaranarayanan, Aina Niemetz m. fl.
E-bok, 2025
1798 kr
Lägg i varukorg
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and …
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
Av S. Akshay, Aina Niemetz m. fl.
Häftad, 2025
1692 kr
Lägg i varukorg
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.The 24 full papers presented in this volume were carefully reviewed and selected …
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
Av Sriram Sankaranarayanan, Aina Niemetz m. fl.
E-bok, 2025
2105 kr
Lägg i varukorg
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and …
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
Av Krishna Shankaranarayanan, Sriram Sankaranarayanan m. fl.
Häftad, 2025
736 kr
Lägg i varukorg
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full …
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
Av Ashutosh Trivedi, Sriram Sankaranarayanan m. fl.
E-bok, 2025
903 kr
Lägg i varukorg
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025. The 20 full papers together with 2 accepted tool papers and 18 full …
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
Av Krishna Shankaranarayanan, Sriram Sankaranarayanan m. fl.
Häftad, 2025
736 kr
Lägg i varukorg
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full …
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
Av Ashutosh Trivedi, Sriram Sankaranarayanan m. fl.
E-bok, 2025
903 kr
Lägg i varukorg
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025. The 20 full papers together with 2 accepted tool papers and 18 full …
Formal Modeling and Analysis of Timed Systems
13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Av Sriram Sankaranarayanan, Enrico Vicario
Häftad, 2015
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas …
Formal Modeling and Analysis of Timed Systems
13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Av Enrico Vicario, Sriram Sankaranarayanan
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas …
