【预订】Poisonous Plants of all Countries. With the Active, Chem 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781015800229 Author 作者 Bernhard-Smith Format 版本 平装-胶订 Pages Number 页数 110页 Publisher 出版社 Legare Street Press Publication Date 出版日期 2022-10-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.23 Shipping Weight 商品重量 0.36磅 Language 语种 其它(含多语)
¥248.00
海外直订Rocks classified and described: A Treatise on Lithology
¥447.00
明星店铺 中华商务进口图书旗舰店
The Reader 英文原版 朗读者 英文版 进口英语原版书籍
¥80.00
明星店铺 华研外语旗舰店
¥223.00
【预订】Darber Spricht Man(n) Nicht ... ! 美国库房发货,通常付款后3-5周到货!
¥258.00
【预订】Agile Modellierung Mit UML: Codegenerierung 美国库房发货,通常付款后3-5周到货!
¥535.00
【预订】Mappings in the Web of Data 美国库房发货,通常付款后3-5周到货!
¥1230
【预订】Communicate or Die: Mit Effektiver Kommunikation Au?erge 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥690.38
按需印刷Curiosity 预订,预计下单后2-3周左右发货!
¥156.00
按需印刷Consciousness 预订,预计下单后2-3周左右发货!
¥278.00
按需印刷De Cressy 预订,预计下单后2-3周左右发货!
¥223.00
【预订】Analytical Methods for Heat Transfer and Fluid Flow 美国库房发货,通常付款后3-5周到货!
¥1288
【预订】Qmf Fur Einsteiger: Unter MVS/TSO 美国库房发货,通常付款后3-5周到货!
¥728.00
【预订】Software Configuration Management: Icse Workshops 美国库房发货,通常付款后3-5周到货!
¥520.00
【预售 按需印刷】Novissima 北京发货,付款后10天内发货
¥375.00
预订 Management and Minimisation of Uncertainties an... 978364 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642361845 作者: Bernhard Eisfeld 装帧: 精装 页数: 338页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2013-02-10 重量: 1g 语种: 其它(含多语) 内容简介 This book reviews a 5-year effort to develop methods and procedures for reducing un
¥2427
【预售 按需印刷】 Lesebuch des r?mischen Rechts 北京直发,付款后10日内发货
¥968.00
【预售 按需印刷】 Natural Phonology 北京直发,付款后10日内发货
¥1320
海外直订Evil in Joint Action: The Ethics of Hate and the Sociolo
¥1503
明星店铺 中华商务进口图书旗舰店
【预售 按需印刷】 Rekognitionen in Rufins übersetzung 北京直发,付款后10日内发货
¥1407
预订 Kaspers/K?fner Messen -- Steuern -- Regeln 9783834800060 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783834800060 作者: Bernhard Berling 装帧: 平装-胶订 页数: 334页 出版社: Vieweg+teubner Verlag 尺寸: 1.0 x 0.7 x 0.1 cm 出版日期: 2009-08-13 重量: 1g 语种: 德语 内容简介 Dieses Lehr- und ?bungsbuch bietet allen technisch orientierten und interessie
¥453.00
海外直订Advanced Wireless Communications and Networks 先进的无线通信和网络
¥1010
明星店铺 中华商务进口图书旗舰店
【预售 按需印刷】A System Of The Science Of Music And Prac 北京发货,付款后10天内发货
¥257.00
海外直订Visions in Psychotherapy Research and Practice: Reflecti
¥1763
明星店铺 中华商务进口图书旗舰店
【预订】Mobile Radio Networks - Networking, Protocols And 美国库房发货,通常付款后3-5周到货!
¥2697
【预订】Freshwater Pond Coloring Book 美国库房发货,通常付款后3-5周到货!
¥43.00
预订 Bernardi Siegfried Albini Tabulae Sceleti Et Musculorum C 【全球购】进口原版图书,约5-8周到达国内后发出
¥238.00
【预订】Mathematical Morphology and Its Applications to Signal a 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030208660 Author 作者 Bernhard Burgeth Format 版本 平装-胶订 Pages Number 页数 19页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-05-31 Language 语种 英语 Book Contents 内容简介 This book contains the refereed proceedings of the 14th International Symposium on Mathematical Morphology, ISMM 2019, held in Saarbrücken, Germany, in July 2019.The 40 revised full papers presented together with one invited talk were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections on Theory, Discrete Topology and Tomography, Trees and Hierarchies, Multivariate Morphology, Computational Morphology, Machine Learning, Segmentation, Applications in Engineering, and Applications in (Bio)medical Imaging.
¥520.00
海外直订Gnss - Global Navigation Satellite Systems: Gps, Glonass
¥1635
明星店铺 中华商务进口图书旗舰店
海外直订Advances in Wireless Engineering: Volume II 无线工程进展:第2卷
¥1252
明星店铺 中华商务进口图书旗舰店
按需印刷The birds of Celebes and the neighbouring islands 预订,预计下单后2-3周左右发货!
¥568.00
【预订】Manu*s and Libraries in the Age of Charlemagne 美国库房发货,通常付款后3-5周到货!
¥281.00
【预订】Advances in Microbial Ecology, Volume 16 美国库房发货,通常付款后3-5周到货!
¥1022
【预订】Biology and Pathology of Astrocyte-Neuron 美国库房发货,通常付款后3-5周到货!
¥2029
预订 Synchronization and Localization in Wireless Networks [IS 【全球购】进口原版图书,约5-8周到达国内后发出
¥658.00
海外直订医药图书Minimally Invasive Neurosurgery II 微创神经外科II
¥553.00
明星店铺 中华商务进口图书旗舰店
预订 Leveraging Applications of Formal Methods, Verification a 【全球购】进口原版图书,约5-8周到达国内后发出
¥461.00
预订 Development of a Community-Based Energy Webgis Portal [IS 【全球购】进口原版图书,约5-8周到达国内后发出
¥532.00
预订 Low-Pressure Synthetic Diamond 9783642719943 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642719943 作者: Bernhard Dischler 装帧: 平装-胶订 页数: 384页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2013-11-13 重量: 1g 语种: 其它(含多语) 内容简介 A comprehensive presentation of the complete spectrum of methods for CVD-di
¥1174
预售 按需印刷 Applications of SEM Automated Mineralogy 北京发货,付款后10天内发货
¥698.00
预订Karin Ferrari: Rooftop Temples of New York City [ISBN:9783 【全球购】进口原版图书,约5-8周到达国内后发出
¥235.00
正版 黎曼全集 第二卷第2卷 中文首译本 [德]黎曼 李培廉 数学大师丘成桐及其弟子季理真教授攒写了长篇序言 高等教育出
¥141.85定价:¥141.85
¥1033
明星店铺 中华商务进口图书旗舰店
按需印刷From Files to Siles 预订,预计下单后2-3周左右发货!
¥1527
预订Manuscripts and Libraries in the Age of Charlemagne 预订,预计下单后2-3周左右发货!
¥436.00
预订Synthetic Biodegradable Polymers (2012) [ISBN:978364243687 【全球购】进口原版图书,约5-8周到达国内后发出
¥2722
预订 Sofsem 2017: Theory and Practice of Computer Science: 43r 【全球购】进口原版图书,约5-8周到达国内后发出
¥457.00
预订Radiation Trapping in Atomic Vapours 预订,预计下单后3-4周左右发货!
¥3667
按需印刷DEG Korrelate im Deutschen 预订,预计下单后3-6周左右发货!
¥1138
按需印刷DEG Register der Beitr?ger Mitteiler 预订,预计下单后3-6周左右发货!
¥2897
海外直订Explosives Detection via Stand-off Raman Spectroscopy
¥927.00
明星店铺 中华商务进口图书旗舰店
海外直订Art-Of-Living: A Concept to Enhance Happiness 生活艺术:提升幸福感
¥553.00
明星店铺 中华商务进口图书旗舰店
¥1221
明星店铺 中华商务进口图书旗舰店
Emil Nolde: The Artist During the Third Reich
¥510.00
按需印刷DEG Einführung in die Rechtswissenschaft 预订,预计下单后3-6周左右发货!
¥1138
预订 Communication from the dog's point of view: the silent do 预订商品
¥349.00
【预售 按需印刷】 Der deutsche ?Macer? (Vulgatfassung) – Mit 北京直发,付款后10日内发货
¥1927
按需印刷Five centuries of the English language and literature 预订,预计下单后2-3周左右发货!
¥434.00
海外直订Strathmore Vol. 1: A Romance by Ouida Strathmore第一卷
¥374.00
明星店铺 中华商务进口图书旗舰店
【预订】Verification of Object-Oriented Software. The KeY Approa 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540689775 Author 作者 Bernhard Beckert Universit?t Koblenz-Landau Institut für In Format 版本 平装-胶订 Pages Number 页数 658页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-01-03 Language 语种 英语 Book Contents 内容简介 Long gone are the days when program verication was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages we employ in these prog
¥1040