Madhavan Mukund – författare
Visar alla böcker från författaren Madhavan Mukund. Handla med fri frakt och snabb leverans.
8 produkter
Networked Systems
13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings
Av Salem Lahlou, Madhavan Mukund
Häftad, 2025
1690 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025.The 16 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 45 submissions. They are …
Networked Systems
13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings
Av Madhavan Mukund, Salem Lahlou
E-bok, 2025
2105 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025.The 16 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 45 submissions. They are …
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
21st Conference, Bangalore, India, December 13-15, 2001, Proceedings
Av Ramesh Hariharan, Madhavan Mukund m. fl.
Häftad, 2001
568 kr
Lägg i varukorg
This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). This year’s conference attracted 73 …
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
21st Conference, Bangalore, India, December 13-15, 2001, Proceedings
Av V. Vinay, Madhavan Mukund m. fl.
E-bok, 2003
739 kr
Lägg i varukorg
This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). This year’s conference attracted 73 …
Automated Technology for Verification and Analysis
10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Av Madhavan Mukund, Supratik Chakraborty
Häftad, 2012
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were …
Automated Technology for Verification and Analysis
10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Av Supratik Chakraborty, Madhavan Mukund
E-bok, 2012
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were …
Perspectives in Concurrency
Av Kamal Lodaya, Madhavan Mukund
Inbunden, 2009
1022 kr
Tillfälligt slut
Concurrency theory is an important research area within theoretical computer science, with applications in parallel and distributed computing. This book provides an overview of current research in concurrency through state-of-the-art contributions from worldwide experts. Covering contemporary …
FORMAL MODELS, LANGUAGES AND APPLICATIONS
Av SUBRAMANIAN K G, K G Subramanian m. fl.
Inbunden, 2006
2648 kr
Tillfälligt slut
A collection of articles by leading experts in theoretical computer science, this volume commemorates the 75th birthday of Professor Rani Siromoney, one of the pioneers in the field in India. The articles span the vast range of areas that Professor Siromoney has worked in or influenced, including …
