Sriram Sankaranarayanan – författare

Visar alla böcker från författaren Sriram Sankaranarayanan.

7 produkter

Kategorier

7 produkter

Del 13994
Del 13994 - Lecture Notes in Computer Science
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
AvSriram Sankaranarayanan,Natasha Sharygina
Häftad, Engelska, 2023
599 kr
Skickas inom 5-8 vardagar
Del 13993
Del 13993 - Lecture Notes in Computer Science
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
AvSriram Sankaranarayanan,Natasha Sharygina
Häftad, Engelska, 2023
599 kr
Skickas inom 5-8 vardagar
Del 15054
Del 15054 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
AvS. Akshay,Aina Niemetzm. fl.
Häftad, Engelska, 2025
1 919 kr
Skickas inom 5-8 vardagar
Del 15055
Del 15055 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
AvS. Akshay,Aina Niemetzm. fl.
Häftad, Engelska, 2025
2 219 kr
Skickas inom 10-15 vardagar
Del 15529
Del 15529 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
AvKrishna Shankaranarayanan,Sriram Sankaranarayananm. fl.
Häftad, Engelska, 2025
969 kr
Skickas inom 10-15 vardagar
Del 15530
Del 15530 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
AvKrishna Shankaranarayanan,Sriram Sankaranarayananm. fl.
Häftad, Engelska, 2025
969 kr
Skickas inom 10-15 vardagar
Del 9268
Del 9268 - Lecture Notes in Computer Science
Formal Modeling and Analysis of Timed Systems
13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
AvSriram Sankaranarayanan,Enrico Vicario
Häftad, Engelska, 2015
749 kr
Skickas inom 10-15 vardagar