Search Results: 'Mitra'

Search

×
×
×
×
58 results for "Mitra"
Unbreaking the Rainbow, Voices of Protest from New South Africa By Amitabh Mitra
eBook (ePub): $8.99
Download immediately.
Protest Poetry from New South Africa What lies within these pages is difficult to fathom; desperation invents sheer acuity in countering untruths, the conscious nerve screams to be told. As humans... More > devoid of borders, each of us is related to the silence that joins us, its heady aroma reminding us that suffering is not crystalline in velvet lined boxes; it remains as innumerable tiny pieces pricking our conscience at all odd moments.< Less
Thesis By Mitra Purandare
eBook (PDF): $0.99
Download immediately.
Model checking is an algorithmic method for ascertaining correct behavior of a model by checking if the model adheres to its formal properties. This dissertation addresses two important sanity checks... More > for increasing confidence in the outcome of model checking, viz.: coverage analysis (``Is the set of properties adequate to certify correctness of the model?'') and vacuity detection (``Does the model satisfy the properties for the right reasons?''). This dissertation proposes a novel and fast algorithm to compute coverage of properties and detect vacuity of properties. This dissertation also shows that vacuous properties enable computation of coarser approximate images. In particular, it shows that vacuous properties induce weaker interpolants. In addition. this dissertation relates the semantic notions of vacuity and notions of coverage proving that vacuity is stronger than coverage.< Less
Thesis By Mitra Purandare
Paperback: $10.86
Ships in 3-5 business days
Model checking is an algorithmic method for ascertaining correct behavior of a model by checking if the model adheres to its formal properties. This dissertation addresses two important sanity checks... More > for increasing confidence in the outcome of model checking, viz.: coverage analysis (``Is the set of properties adequate to certify correctness of the model?'') and vacuity detection (``Does the model satisfy the properties for the right reasons?''). This dissertation proposes a novel and fast algorithm to compute coverage of properties and detect vacuity of properties. This dissertation also shows that vacuous properties enable computation of coarser approximate images. In particular, it shows that vacuous properties induce weaker interpolants. In addition. this dissertation relates the semantic notions of vacuity and notions of coverage proving that vacuity is stronger than coverage.< Less
Self Publishing on Lulu By Dona Mitra
eBook (PDF): $0.00
Download immediately.
This book describes how you can use Lulu to publish your own books
Learno - The French Connection By Dona Mitra
eBook (PDF): $6.25
Download immediately.
(5 Ratings)
This book teaches French by way of a story
Learno - The French Connection By Dona Mitra
Paperback: $18.53
Ships in 3-5 business days
(5 Ratings)
This book teaches French by way of a story
Self Publishing on Lulu By Dona Mitra
Paperback: $6.24
Ships in 3-5 business days
This book describes how you can use Lulu to publish your own books
Children's Magazine (Volume1 Issue1) VidyapeethIndia By Rudrarup Mitra
eBook (PDF): $2.00
Download immediately.
Children's monthly magazine Volume 1 Issue 1
Children's Magazine from VidyapeethIndia (May) By Rudrarup Mitra
eBook (PDF): $2.00
Download immediately.
VidyapeethIndia is proud to publish its new issue for May. It has games activities, puzzles and many more fun stuff for children
Love Addiction By Bhaskar Mitra
eBook (PDF): $0.00
Download immediately.
(1 Ratings)
A collection of pages scribbled by a hopeless romantic in honor of his first love. An album of imageries drawn elegantly with words and photographs.