Deepak dsouza (20 Ergebnisse)

Second Edition. Zustand: vg. vg 2nd edition Cambridge University Press 2012 edition hardcover edge of boards knocked but still in a better than good condition name written on 1st page In stock shipped from our UK warehouse.

paperback. Zustand: Very Good.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 3rd edition. 256 pages. 9.65x7.40x0.71 inches. In Stock.

Zustand: New.

Paperback. Zustand: Brand New. 2015 edition. 484 pages. 9.30x6.20x1.20 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.…

Zustand: New. 2023. 3rd Edition. Paperback. . . . . . Books ship from the US and Ireland.

Paperback. Zustand: Brand New. 3rd edition. 256 pages. 9.65x7.40x0.71 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 navigate sections, the book has been fully revised to feature eight entirely new chapters covering important novel aspects. Marijuana and Madness incorporates new research findings on the potential use of cannabinoids, and synthetic cannabinoids, in an array of mental illnesses, balanced against the potential adverse effects. The associations between cannabis and psychosis, developing putative models of 'cannabis induced' psychosis and pathways to schizophrenia are all covered. The book importantly discusses the impact of exposure to cannabis at various stages of neurodevelopment (in utero, in childhood, and during adolescence) and it thoroughly reviews the treatments for cannabis dependence and health policy implications of the availability of increasingly high potency cannabis. This book will quickly become an essential resource for all members of the mental health team.…

Taschenbuch. Zustand: Neu. Verification, Model Checking, and Abstract Interpretation | 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings | Deepak D'Souza (u. a.) | Taschenbuch | xviii | Englisch | 2015 | Springer | EAN 9783662460801 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Zustand: Brand New. 504 pages. 9.25x6.10x1.14 inches. In Stock.

Taschenbuch. Zustand: Neu. Automated Technology for Verification and Analysis | 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings | Deepak D'Souza (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2017 | Springer | EAN 9783319681665 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Kartoniert / Broschiert. Zustand: New. InhaltsverzeichnisPart I. Pharmacology of Cannabis and the Endocannabinoid System: 1. How cannabis works in the brain Ken Mackie 2. The function of the endocannabinoid system Nathan D. Winters and Sachin Patel 3. Synthetic cannabinoids.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: Used. pp. 672.

Zustand: Used. pp. 672.