Verlag: Cambridge University Press, 2011
ISBN 10: 1107000211 ISBN 13: 9781107000216
Sprache: Englisch
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
EUR 14,39
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.63.
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2017, 2017
ISBN 10: 3319681664 ISBN 13: 9783319681665
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. 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
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. 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
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. 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
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. 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: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 59,11
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 61,27
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 61,27
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Cambridge University Press, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 69,86
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbZustand: 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: Cambridge University Press, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Sprache: Englisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 67,55
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Cambridge University Press Jun 2023, 2023
ISBN 10: 1009305433 ISBN 13: 9781009305433
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 71,60
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. 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'--.
EUR 62,89
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 3rd edition. 256 pages. 9.65x7.40x0.71 inches. In Stock.
EUR 68,24
Währung umrechnenAnzahl: 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 82,58
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2015 edition. 484 pages. 9.30x6.20x1.20 inches. In Stock.
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319681664 ISBN 13: 9783319681665
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,83
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 504 pages. 9.25x6.10x1.14 inches. In Stock.
EUR 92,63
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 3rd edition. 256 pages. 9.65x7.40x0.71 inches. In Stock.