Verlag: Oxford University Press, Incorporated, 2011
ISBN 10: 0198069707 ISBN 13: 9780198069706
Sprache: Englisch
Anbieter: Better World Books: West, Reno, NV, USA
Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Verlag: Cambridge University Press, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 59,63
Anzahl: 3 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Verlag: Cambridge University Press, 2012
ISBN 10: 1107000211 ISBN 13: 9781107000216
Sprache: Englisch
Anbieter: Zardoz Books, Westbury, WILTS, Vereinigtes Königreich
EUR 46,71
Anzahl: 1 verfügbar
In den WarenkorbSecond 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.
EUR 60,98
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 3rd edition. 256 pages. 9.65x7.40x0.71 inches. In Stock.
Verlag: Cambridge University Press, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 72,10
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
EUR 66,17
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2nd reprint edition. 252 pages. 9.75x7.50x0.50 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 81,59
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2015 edition. 484 pages. 9.30x6.20x1.20 inches. In Stock.
Verlag: Cambridge University Press, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Sprache: Englisch
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 2023. 3rd Edition. Paperback. . . . . . Books ship from the US and Ireland.
Verlag: Cambridge University Press, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Sprache: Englisch
Anbieter: Speedyhen, London, Vereinigtes Königreich
EUR 55,84
Anzahl: 3 verfügbar
In den WarenkorbZustand: NEW.
EUR 91,52
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 3rd edition. 256 pages. 9.65x7.40x0.71 inches. In Stock.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2017, 2017
ISBN 10: 3319681664 ISBN 13: 9783319681665
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 2015, 2015
ISBN 10: 3662460807 ISBN 13: 9783662460801
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319681664 ISBN 13: 9783319681665
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.
Verlag: Springer Berlin Heidelberg, 2015
ISBN 10: 3662460807 ISBN 13: 9783662460801
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.
Verlag: Cambridge University Press, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
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.
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319681664 ISBN 13: 9783319681665
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 81,85
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 504 pages. 9.25x6.10x1.14 inches. In Stock.
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 Berlin | EAN 9783662460801 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Verlag: Springer Nature Switzerland, 2017
ISBN 10: 3319681664 ISBN 13: 9783319681665
Sprache: Englisch
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Automated Technology for Verification and Analysis | 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings | K. Narayan Kumar (u. a.) | Taschenbuch | xix | Englisch | 2017 | Springer Nature Switzerland | EAN 9783319681665 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Verlag: Cambridge University Press Jun 2023, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - 'A fully updated third edition covering the current research and clinical aspects on the interactions between cannabis and mental illness. Extensively expanded to include new chapters on prenatal cannabis exposure, addiction genetics, cannabis withdrawal, and cannabis and sleep. Essential reading for all members of the mental health team'--.
Verlag: World Scientific Pub Co Inc, 2012
ISBN 10: 9814271047 ISBN 13: 9789814271042
Sprache: Englisch
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
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.
Verlag: Cambridge University Press, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Sprache: Englisch
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Marijuana and Madness | Deepak Cyril D'Souza (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2023 | Cambridge University Press | EAN 9781009305433 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.
Verlag: World Scientific Publishing Company, Incorporated, 2012
ISBN 10: 9814271047 ISBN 13: 9789814271042
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 202,35
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 672.