【预订】Medusa 9781148200606 美国库房发货,通常付款后3-5周到货!
¥220.00
【预订】Tools and Algorithms for the Construction and Analysis o 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540672821 Author 作者 Graf Format 版本 平装-胶订 Pages Number 页数 552页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-03-15 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.The 33 revised full papers presented together with one invited paper and two short tool deions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and ver
¥1040
按需印刷What to Do? Thoughts Evoked By the Census of Moscow 预订,预计下单后2-3周左右发货!
¥313.00
海外直订Snuggles, Kisses & Hugs: Have A Party 依偎,亲吻和拥抱:开个派对
¥124.00
明星店铺 中华商务进口图书旗舰店
按需印刷DEG Mythos in mythenloser Gesellschaft 预订,预计下单后3-6周左右发货!
¥1138
海外直订Converter and Filter Circuits 转换器和滤波器电路
¥674.00
明星店铺 中华商务进口图书旗舰店
海外直订Glacier National Park: Going to the Sun 冰川国家公园:走向太阳
¥128.80
明星店铺 中华商务进口图书旗舰店
【预订】Dauerversuche Mit Nietverbindungen 9783709197448 美国库房发货,通常付款后3-5周到货!
¥743.00
【预订】Statistische Methoden Bei Textilen Untersuchungen 978366 美国库房发货,通常付款后3-5周到货!
¥535.00
【预订】Implantable Cardiac Devices Technology 9781461469063 美国库房发货,通常付款后3-5周到货!
¥1022
【预订】Bayesian Framework for Probabilistic Modelling of Typhoo 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783838136516 Author 作者 Graf Mathias(作者) Format 版本 平装-胶订 Pages Number 页数 300页 Publisher 出版社 Südwestdeutscher Verlag für Hochschulschriften Publication Date 出版日期 2013-06-06 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.67 Shipping Weight 商品重量 0.97 Language 语种 其它(含多语) Book Contents 内容简介 Probabilistic models for natural hazards generally aim at describing the probabilistic characteristics of the underlying physical phenomena associated with the natural hazard events. Thereby, the degree of the detail and requirements to the probabilistic models should be associated with their applications, i.e. types of risk management and more generally decision situations. Seen in this light, most of the existing typhoon models seem to be developed for assessing wind hazards for the purpose to facilitate structural desig
¥915.00
【预订】Nervose Belastung Bei Industrieller Arbeit Unter Zeitdru 美国库房发货,通常付款后3-5周到货!
¥511.00
海外直订Handbook AIXM5.1: Using the Data Exchange Model in All T
¥199.00
明星店铺 中华商务进口图书旗舰店
【预订】Foundations of Quantization for Probability Distribution 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥897.62
按需印刷On the Significance of Science and Art 预订,预计下单后2-3周左右发货!
¥247.00
【预订】Versuche Und Feststellungen Zur Entwicklung Der Geschwei 美国库房发货,通常付款后3-5周到货!
¥467.00
按需印刷Opera for the People 预订,预计下单后2-3周左右发货!
¥846.00
【预订】Pop-Up & Build: National Parks 9781645170495 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781645170495 Author 作者 Graf Format 版本 精装 Pages Number 页数 32页 Publisher 出版社 Thunder Bay Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.1 x 10 x 1 cm Shipping Weight 商品重量 2350g Language 语种 英语
¥249.00
海外直订CMOS Hotplate Chemical Microsensors CMOS热板化学微传感器
¥1033
明星店铺 中华商务进口图书旗舰店
【预订】Klassenklima in Der Reflexion Von Gemeinsam Geschaffenen 美国库房发货,通常付款后3-5周到货!
¥271.00
海外直订The Itty Bitty Fitty Committee Itty Bitty Fitty委员会
¥232.00
明星店铺 中华商务进口图书旗舰店
海外直订Roots, Branches and Buzz Saws: More Stories of August Ki
¥148.00
明星店铺 中华商务进口图书旗舰店
¥230.00
明星店铺 中华商务进口图书旗舰店
按需印刷DEG Eleusis Und Die Orphische Dichtung Athens in Vorhell 预订,预计下单后3-6周左右发货!
¥1448
预订 Roger Federer:Phenomenon. Enthusiast. Philanthropist. 预订,预计下单后3-4周左右发货!
¥218.00
海外直订Business Basics BootCamp: The Ultimate Crash Course 商业基础
¥136.00
明星店铺 中华商务进口图书旗舰店
海外直订A Rose by Any Other Name: Beyond Fairytales 玫瑰:超越童话
¥97.60
明星店铺 中华商务进口图书旗舰店
【预订】Formeln Und Tabellen Der Mathematischen Statistik 978364 美国库房发货,通常付款后3-5周到货!
¥535.00
海外直订Drosophila Genetics: A Practical Course 果蝇遗传学:一门实用课程
¥1110
明星店铺 中华商务进口图书旗舰店
【预订】Magic in the Ancient World 9780674541535 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780674541535 Author 作者 Graf Format 版本 平装-胶订 Pages Number 页数 320页 Publisher 出版社 Harvard University Press Publication Date 出版日期 1999-10-15 Product Dimensions 商品尺寸 8.37 x 5.40 x 0.84 Shipping Weight 商品重量 0.64 Language 语种 其它(含多语) Book Contents 内容简介 Ancient Greeks and Romans often turned to magic to achieve personal goals. Magical rites were seen as a route for direct access to the gods, for material gains as well as for spiritual satisfaction. In this fascinating survey of magical beliefs and practices from the sixth century B.C.E. through late antiquity, Fritz Graf sheds new light on ancient religion.
¥327.00
海外直订Grand Canyon National Park: Tail of the Scorpion 大峡谷国家公园
¥148.80
明星店铺 中华商务进口图书旗舰店
【预订】International marketing in times of sustainability and d 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783110772227 Author 作者 Graf Format 版本 平装-胶订 Pages Number 页数 275页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 2023-03-20 Language 语种 其它(含多语) Book Contents 内容简介 Given today’s challenges, companies are confronted with pressing questions: Are marketing and sustainability a contradiction How can digitalization support marketers beyond digital advertising? These questions must be addressed in an international context since, for most companies, international business is more a reality than just a strategic option as it was just a few decades ago. This book provides insights into the fundamentals of international marketing with a focus on these topics because they are commonplace in today’s international marketing. It presents theories and concepts of international marketing in a concise form along with many real-world exa
¥363.00
海外直订Joomla! Development - A Beginner's Guide 乔姆拉!开发-初学者指南
¥141.00
明星店铺 中华商务进口图书旗舰店
海外直订Automated Technology for Verification and Analysis: 4th
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Greek Mythology: An Introduction 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥444.51
【预订】Homers Ilias Gesamtkommentar (Basler Kommentar/ Bk) Prol 美国库房发货,通常付款后3-5周到货!
¥1235
【预订】Encyclopedia of Electronic Circuits, Volume 7 预订商品,需要1-3个月发货,非质量问题不接受退换货。
¥585.65
【预订】Methoden Und Modelle Der Lieferantenauswahl Im Rahmen De 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥666.38
预售 英文预定 PID Control: Ziegler-Nichols Tuning 海外预定商品预计1-3个月发货,海外购非质量问题不接受退货。
¥133.15
预订 高被引Aeromonas [ISBN:9781908230560] 【全球购】进口原版图书,约5-8周到达国内后发出
¥2978
海外直订医药图书Hip Sonography: Diagnosis and Management of Infant H
¥865.00
明星店铺 中华商务进口图书旗舰店
【预订】Intelligent and Adaptive Learning Systems: Technology En 美国库房发货,通常付款后3-5周到货!
¥1624
预订Oil and Sovereignty:Petro-Knowledge and Energy Policy in t 预订,预计下单后2-3周左右发货!
¥1411
海外直订Christmas in the 'Burg 柏林的圣诞节
¥200.80
明星店铺 中华商务进口图书旗舰店
【预订】Treasure in the Trunk: A Wordless Picture Book 978194248 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781942483687 Author 作者 Graf Format 版本 精装 Pages Number 页数 34页 Publisher 出版社 Crisscross Applesauce Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 8.5 x 8.5 x 0.2 cm Shipping Weight 商品重量 700g Language 语种 英语
¥153.00
海外直订Tools and Algorithms for the Construction and Analysis o
¥1033
明星店铺 中华商务进口图书旗舰店
海外直订Bee the Investor: Makes Lots of Honey and Enriches Other
¥141.00
明星店铺 中华商务进口图书旗舰店
【预订】Automated Technology for Verification and Analysis 97835 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540472377 Author 作者 Graf Format 版本 平装-胶订 Pages Number 页数 546页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-10-10 Language 语种 英语 Book Contents 内容简介 The Automated Technology for Verication and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2006, the fourth of the ATVA series, was held in Beijing, China, October 23-26, 2006. The main topics of the symposium include th- ries useful for providing designers with automated support for o
¥520.00
【预订】Enseigner la sauvegarde 9782889155057 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9782889155057 Author 作者 Graf Format 版本 平装-胶订 Pages Number 页数 414页 Publisher 出版社 Presses polytechniques et universitaires romandes Publication Date 出版日期 2023-01-01 Language 语种 其它(含多语)
¥703.00
海外直订Christmas in the 'Burg 柏林的圣诞节
¥271.00
明星店铺 中华商务进口图书旗舰店
【预订】Foundations of Quantization for Probability Distribution 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540673941 Author 作者 Graf Format 版本 平装-胶订 Pages Number 页数 230页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-05-16 Language 语种 英语 Book Contents 内容简介 Due to the rapidly increasing need for methods of data compression, quantization has become a flourishing field in signal and image processing and information theory. The same techniques are also used in statistics (cluster analysis), pattern recognition, and operations research (optimal location of service centers). The book gives the first mathematically rigorous account of the fundamental theory underlying these applications. The emphasis is on the asymptotics of quantization errors for absolutely continuous and special classes of singular probabilities (surface measures, self-similar measures) presenting some new results for the first time. Written for researchers a
¥572.00
预订Applying Binary Volume Models to Naval Applications [ISBN: 【全球购】进口原版图书,约5-8周到达国内后发出
¥837.00
【预订】Tafelwerk Zur Pflanzensystematik: Einfuhrung in Das Natu 美国库房发货,通常付款后3-5周到货!
¥788.00
海外直订Quasimodo: A Prequel 卡西莫多:前传
¥98.00
明星店铺 中华商务进口图书旗舰店
海外直订Applying Binary Volume Models to Naval Applications 二元体积
¥665.00
明星店铺 中华商务进口图书旗舰店
【预订】Maschinelle Handwerkzeuge 9783709152317 美国库房发货,通常付款后3-5周到货!
¥511.00
【预订】Applied Laplace Transforms and Z-Transforms for Scientis 美国库房发货,通常付款后3-5周到货!
¥520.00
【预订】Weichteildistorsionen Der Oberen Halswirbelsaule: Anatom 美国库房发货,通常付款后3-5周到货!
¥778.00
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Moby's First Day of Kindergarten 白鲸上幼儿园的第一天
¥211.00
明星店铺 中华商务进口图书旗舰店