Sökt på: Deepak D'Souza
totalt 11 träffar
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 …
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, …
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 …
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 …
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 …
Marijuana and Madness
An updated third edition of this award-winning book provides a comprehensive overview of the complex associations between cannabis and mental illness. Organised into easy to …
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
An updated third edition of this award-winning book provides a comprehensive overview of the complex associations between cannabis and mental illness. Organised into easy to …
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 …