Sökt på: deepak d'souza
totalt 10 träffar
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October …
Verification, Model Checking, and Abstract Interpretation
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, …
Model checking trace-based information flow properties
Modern Applications Of Automata Theory
Automata theory has come into prominence in recent years with a plethora of applications in fields ranging from verification to XML processing and file compression. In fact, the …
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October …
Verification, Model Checking, and Abstract Interpretation
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, …
Modern Applications Of Automata Theory
Automata theory has come into prominence in recent years with a plethora of applications in fields ranging from verification to XML processing and file compression. In fact, the …
The British Empire and the Natural World
This volume provides multi-layered analysis of the environmental impacts under the colonial rule. Presenting detailed case studies from across the Indian subcontinent, it discusses …
Marijuana and Madness
The second edition of this critically acclaimed and award-winning text provides a comprehensive overview of the psychiatry and neuroscience of Cannabis sativa (marijuana). It …
Marijuana and Madness
The second edition of this critically acclaimed and award-winning text provides a comprehensive overview of the psychiatry and neuroscience of Cannabis sativa (marijuana). It …