Meenakshi D´Souza – författare
Visar alla böcker från författaren Meenakshi D´Souza. Handla med fri frakt och snabb leverans.
6 produkter
Distributed Computing and Internet Technology
16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings
Av Dang Van Hung, Meenakshi D´Souza
Häftad, 2019
906 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2020. The 20 full and 3 short papers presented in this volume were carefully reviewed and selected from 110 submissions. …
Distributed Computing and Internet Technology
16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings
Av Meenakshi D'Souza, Dang Van Hung
E-bok, 2020
1175 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2020. The 20 full and 3 short papers presented in this volume were carefully reviewed and selected from 110 submissions. …
Automated Technology for Verification and Analysis
23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings
Av Meenakshi D´Souza, Raghavan Komondoor m. fl.
Häftad, 2025
924 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27–31, 2025.The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and …
Automated Technology for Verification and Analysis
23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings
Av B. Srivathsan, Raghavan Komondoor m. fl.
E-bok, 2025
1150 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27–31, 2025.The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and …
Theoretical Aspects of Computing - ICTAC 2012
9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings
Av Abhik Roychoudhury, Meenakshi D´Souza
Häftad, 2012
523 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and …
Theoretical Aspects of Computing - ICTAC 2012
9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings
Av Meenakshi D'Souza, Abhik Roychoudhury
E-bok, 2012
690 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and …
