{"product_id":"lecture-notes-in-computer-science-9783032111760","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24–28, 2025.The 21 full papers, 2 short papers and 1 tool paper presented in this book were carefully reviewed and selected from 64 submissions. The papers were categorized into the following topical sections: Invited Papers; Tutorial; Verification and Synthesis; Session Types; Logic and Theorem Provers; Probabilistic Systems; Automata; Cryptography and Choreography; Algorithms and Complexity; and Tool and Short Papers.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":53580009373975,"sku":null,"price":8145.85,"currency_code":"INR","in_stock":true}],"url":"https:\/\/payment.letskitaboo.com\/products\/lecture-notes-in-computer-science-9783032111760","provider":"Kitaboo One eStore","version":"1.0","type":"link"}