【预订】Kritische Vergleichung Der Elektrischen Kraftubertragung
美国库房发货,通常付款后3-5周到货!
/ 2012-05-21
/ 暂无出版社信息
¥511.00
预订 Interactive Theorem Proving 9783642323461
海外仓库发货,通常付款后4-9周到货!
/ 2012-07-06
/ Springer
图书信息 书号: 9783642323461 作者: Lennart Beringer 装帧: 平装-胶订 页数: 419页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-07-06 重量: 1g 语种: 其它(含多语)
¥936.00
【预订】Fifty Years' Experience of Pianoforte Teaching and Playi
美国库房发货,通常付款后3-5周到货!
/ 2010-09-10
¥158.00
【预订】Interactive Theorem Proving 9783642323461
国外库房发货,通常付款后3-5周到货!
/ 2012-07-06
Product Details 基本信息 ISBN-13 书号 9783642323461 Author 作者 Beringer Format 版本 平装-胶订 Pages Number 页数 419页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-07-06 Shipping Weight 商品重量 650g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure an
¥520.00
【预订】Discursus Historico-Politicus in Tres Sectiones Distribu
美国库房发货,通常付款后3-5周到货!
/ 2010-09-10
¥158.00
【预订】Design studies towards a 4 MW 170 GHz coaxial-cavity gyr
国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783866446632 Author 作者 Beringer Format 版本 平装-胶订 Pages Number 页数 222页 Publisher 出版社 Karlsruher Institut Fur Technologie Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 8.27 x 5.83 x 0.47 Shipping Weight 商品重量 0.59磅 Language 语种 其它(含多语)
¥853.00
【预订】Geschichte Der Mannheimer Zeichnungsakademie 97811437961
美国库房发货,通常付款后3-5周到货!
/ 2010-02-04
¥142.00
【预订】Discursus Historico-Politicus in Tres Sectiones Distribu
美国库房发货,通常付款后3-5周到货!
/ 2009-09-24
¥196.00
【预订】Long-Throated Flumes and Broad-Crested Weirs 97894009622
美国库房发货,通常付款后3-5周到货!
/ 2011-10-13
/ 暂无出版社信息
¥983.00
【预订】Winter’s Basic Clinical Pharmacokinetics 9781496346421
美国库房发货,通常付款后3-5周到货!
/ Lww
Product Details 基本信息 ISBN-13 书号 9781496346421 Author 作者 Beringer, Paul Format 版本 平装-胶订 Publisher 出版社 Lww Publication Date 出版日期 1800-01-01 Language 语种 英语 Book Contents 内容简介 Winter's Basic Clinical Pharmacokinetics helps readers apply pharmacokinetics and therapeutic drug monitoring to patient care. An easy-to-read, case-study format has made this text a favorite among students and clinicians. Divided into two parts, Part I reviews basic pharmacokinetic principles, and Part II illustrates the clinical application of these principles to common problems.Extensive explanations emphasize major concepts and accompany complex equations.Figures help visualize conceptsNEW chapters include drug dosing in renal disease, pediatric considerations, and pharmacogenomics, as well as antifungals and expansion of the cytotoxic and immunosuppressant therapiesIncludes cases that address pediatric considerations and pharmaco
¥919.00
【预订】Winter’s Basic Clinical Pharmacokinetics 9781975195243
国外库房发货,通常付款后3-5周到货!
/ LWW
Product Details 基本信息 ISBN-13 书号 9781975195243 Author 作者 Beringer Format 版本 平装-胶订 Pages Number 页数 704页 Publisher 出版社 LWW Publication Date 出版日期 1800-01-01 Language 语种 其它(含多语)
¥830.00
【预订】Kritische Vergleichung Der Elektrischen Kraftubertragung
美国库房发货,通常付款后3-5周到货!
/ 2010-01-01
¥142.00
预订 Kritische Vergleichung Der Elektrischen Kraft??... 978551
海外仓库发货,通常付款后4-9周到货!
/ 2015-01-21
图书信息 书号: 9785519250870 作者: A Beringer 装帧: 平装-胶订 页数: 112页 出版社: Yoyo Media 尺寸: 0.8 x 0.6 x 0.0 cm 出版日期: 2015-01-21 语种: 德语 内容简介 Kritische Vergleichung der elektrischen Kraft?bertragung. This book, "Kritische Vergleichung der Elektrischen Kraft?bertragung," by A. Beringer, is a replic
¥582.00