Hakutulokset: Madhavan Mukund
yhteensä 7 hakutulosta
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under …
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under …
Perspectives in Concurrency
Concurrency theory is an important research area within theoretical computer science, with applications in parallel and distributed computing. This book provides an overview of …
Automated Technology for Verification and Analysis
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at …
Automated Technology for Verification and Analysis
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at …
Formal Models, Languages And Applications
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 …
Formal Models, Languages And Applications
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 …