Martel matthieu (15 Ergebnisse)

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Très bon état. Paris. 19 cm x 25 cm. 1973. Broché. 20 pages. Paris Cheval d'Attaque 1973 e. o. numérotée. Agrafé 19 cm x 25 cm 20 pages (non paginé). Directeur : Didier Paschal-Lejeune textes et poèmes de Alain Bogaerts Michel Bulteau Jean Chaudier André Martel Matthieu Messager.Très bon état. Très bon état.…

Paperback. Zustand: Brand New. 224 pages. 9.25x6.10x0.47 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed joint proceedings of the International Workshop on Point-of-Care Ultrasound, POCUS 2018,the International Workshop on Bio-Imaging and Visualization for Patient-Customized Simulations, BIVPCS 2017, the International Workshop on Correction of Brainshift with Intra-Operative Ultrasound, CuRIOUS 2018, and the International Workshop on Computational Precision Medicine, CPM 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in September 2018.The 10 full papers presented at POCUS 2018, the 4 full papers presented at BIVPCS 2018, the 8 full papers presented at CuRIOUS 2018, and the 2 full papers presented at CPM 2018 were carefully reviewed and selected. The papers feature researchfrom complementary fields such asultrasound image systems applications as well as signal and image processing, mechanics, computational vision, mathematics, physics, informatics, computer graphics, bio-medical-practice, psychology and industry. They discuss intra-operative ultrasound-guided brain tumor resection as well as pancreatic cancer survival prediction. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.…

Kartoniert / Broschiert. Zustand: New. Up to date resultsFast conference proceedingsState-of-the-art reportStatic analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programmi.

Paperback. Zustand: Brand New. 116 pages. 9.25x6.10x0.27 inches. In Stock.

Taschenbuch. Zustand: Neu. Simulation, Image Processing, and Ultrasound Systems for Assisted Diagnosis and Navigation | International Workshops, POCUS 2018, BIVPCS 2018, CuRIOUS 2018, and CPM 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedings | Danail Stoyanov (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2018 | Springer | EAN 9783030010447 | 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. Numerical Software Verification | 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers | Sergiy Bogomolov (u. a.) | Taschenbuch | vii | Englisch | 2017 | Springer | EAN 9783319542911 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 471 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.