Sprache: Englisch
Verlag: Cambridge University Press, 2011
ISBN 10: 1107000211 ISBN 13: 9781107000216
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Hardcover. Zustand: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Sprache: Englisch
Verlag: Cambridge University Press, 2012
ISBN 10: 1107000211 ISBN 13: 9781107000216
Anbieter: Zardoz Books, Westbury, WILTS, Vereinigtes Königreich
EUR 23,76
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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 66,12
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,34
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2015 edition. 484 pages. 9.30x6.20x1.20 inches. In Stock.
Sprache: Englisch
Verlag: Cambridge University Press, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 2023. 3rd Edition. Paperback. . . . . . Books ship from the US and Ireland.
EUR 93,87
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 3rd edition. 256 pages. 9.65x7.40x0.71 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319681664 ISBN 13: 9783319681665
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.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2015
ISBN 10: 3662460807 ISBN 13: 9783662460801
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.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319681664 ISBN 13: 9783319681665
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,58
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 | EAN 9783662460801 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
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 | 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.
Sprache: Englisch
Verlag: Cambridge University Press, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Anbieter: moluna, Greven, Deutschland
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.
Sprache: Englisch
Verlag: Cambridge University Press, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - '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'--.
Sprache: Englisch
Verlag: World Scientific Pub Co Inc, 2012
ISBN 10: 9814271047 ISBN 13: 9789814271042
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.
Sprache: Englisch
Verlag: World Scientific Publishing Company, Incorporated, 2012
ISBN 10: 9814271047 ISBN 13: 9789814271042
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 197,92
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 672.