预订 New Atlas of the British and Irish Flora [ISBN:9780198510 【全球购】进口原版图书,约5-8周到达国内后发出
¥3462
预订Reverse Shoulder Arthroplasty: A Practical Approach [ISBN: 【全球购】进口原版图书,约5-8周到达国内后发出
¥2381
预订 Elbow Ulnar Collateral Ligament Injury: A Guide to Diagno 【全球购】进口原版图书,约5-8周到达国内后发出
¥1091
预订 Logics of Specification Languages [ISBN:9783540741060] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1617
预订 Tips and Techniques in Elbow Surgery: A Practical Approac 【全球购】进口原版图书,约5-8周到达国内后发出
¥905.00
海外直订Software Engineering 1: Abstraction and Modelling 软件工程1:
¥961.00
明星店铺 中华商务进口图书旗舰店
预订 Logics of Specification Languages 9783540741060 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540741060 作者: Dines Bj?rner 装帧: 精装 页数: 623页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2007-12-01 重量: 1362g 语种: 其它(含多语) 内容简介 This book presents comprehensive studies on nine specification languages and the
¥2449
按需印刷The Highest Common Factor Of A System Of Polynomials In 预订,预计下单后2-3周左右发货!
¥160.00
预订Super Self-Care:How to Find Lasting Freedom from Addiction 预订,预计下单后2-3周左右发货!
¥156.00
简捷图示场地施工细部手册 (美)尼古拉斯·T.丹斯(Nicholas. T.Dines),(美)凯尔·D.布朗(Kyle
¥28.00定价:¥28.00
海外直订Domain Science and Engineering: A Foundation for Softwar
¥1757
明星店铺 中华商务进口图书旗舰店
【预订】Software Engineering 1: Abstraction and Modelling Y97835 美国库房发货,通常付款后3-5周到货!
¥1040
【预订】Logics of Specification Languages 9783540741060 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540741060 Author 作者 Dines Bj?rner Holte Denmark Format 版本 精装 Pages Number 页数 624页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-12-07 Shipping Weight 商品重量 1136g Language 语种 英语 Book Contents 内容简介 By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom; the Event-B modell
¥1502
【预订】Time-Saver Standards Site Construction Details Manual 美国库房发货,通常付款后3-5周到货!
¥739.00
预订 Domain Science and Engineering: A Foundation for Software 【全球购】进口原版图书,约5-8周到达国内后发出
¥1495
【预订】Tips and Techniques in Elbow Surgery 9783031080791 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031080791 Author 作者 Dines Format 版本 精装 Pages Number 页数 437页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-08-20 Language 语种 其它(含多语) Book Contents 内容简介 Bringing together the top elbow surgeons from around the world, this contemporary, up-to-date text presents surgical tips and techniques for the most common elbow procedures. Because authorship will be limited to leaders in the field, the emphasis will be on practical tips and techniques that can readily be implemented in the clinical and surgical environment. This text covers approximately 50 of the most common elbow surgical procedures, which are further subdivided into the following five categories: Trauma, Degenerative, Arthroscopy, Sports, and Neurologic. The focus of each chapter is on describing the precise clinical and surgical techniques used by the e
¥1457
海外直订VDM '90. VDM and Z - Formal Methods in Software Developm
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Why Horses Do That: A Collection of Curious Equine Behav 预订商品,需要1-3个月发货,非质量问题不接受退换货。
¥126.35
预订Software Engineering 1: Abstraction and Modelling [ISBN:97 【全球购】进口原版图书,约5-8周到达国内后发出
¥779.00
【预订】A Hybrid Communications Network Simulation-Independent T 美国库房发货,通常付款后3-5周到货!
¥589.00
预订 Software Engineering 2 9783642059407 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642059407 作者: Dines Bj?rner 装帧: 平装-胶订 页数: 780页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.2 cm 出版日期: 2010-02-12 重量: 2g 语种: 其它(含多语) 内容简介 The art, craft, discipline, logic, practice and science of developing large-sc
¥1186
海外直订医药图书Reverse Shoulder Arthroplasty: A Practical Approach
¥1368
明星店铺 中华商务进口图书旗舰店
预订 Logics of Specification Languages [ISBN:9783642093456] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1916
按需印刷New Suburban Stories 预订,预计下单后2-3周左右发货!
¥534.00
海外直订Domain Science and Engineering: A Foundation for Softwar
¥1649
明星店铺 中华商务进口图书旗舰店
海外直订Logics of Specification Languages 规范语言的逻辑
¥1550
明星店铺 中华商务进口图书旗舰店
海外直订医药图书Perspectives of System Informatics: 4th Internationa
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Molecular Constants Mostly from Microwave, Molecular Bea 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783662491973 Author 作者 Christen, Dines Format 版本 精装 Pages Number 页数 398页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2017-04-15 Language 语种 英语 Book Contents 内容简介 High-resolution spectroscopic data of paramagnetic diatomic molecules are presented in data sheets. All relevant properties of a molecule and the corresponding parameters can be found concentrated under its sum formula: rotational and related constants, the dipole moments, barriers to internal rotation, hyperfine coupling parameters, or Zeeman data.
¥6775
预订 Elbow Ulnar Collateral Ligament Injury: A Guide to Diagno 【全球购】进口原版图书,约5-8周到达国内后发出
¥1227
预订Signs in Use:An Introduction to Semiotics 预订,预计下单后3-4周左右发货!
¥791.00
预订 Drug Addiction Recovery: The Mindful Way 预订,预计下单后3-4周左右发货!
¥114.00
¥1682
明星店铺 中华商务进口图书旗舰店
【预订】Perspectives of System Informatics: 4th 美国库房发货,通常付款后3-5周到货!
¥520.00
按需印刷The Lullaby 预订,预计下单后2-3周左右发货!
¥113.00
预订Software Engineering 3: Domains, Requirements, and Softwar 【全球购】进口原版图书,约5-8周到达国内后发出
¥1049
【预订】Time-Saver Standards Site Construction Details Manual 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥1124.4
【预订】Shoulder Surgery 9781626235168 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781626235168 Author 作者 Joshua Dines Format 版本 精装 Pages Number 页数 478页 Publisher 出版社 Thieme Medical Publishers Publication Date 出版日期 2019-07-10 Product Dimensions 商品尺寸 SON 21,5x28 Language 语种 其它(含多语) Book Contents 内容简介 The ultimate how-to resource on shoulder surgery from internationally renowned expertsShoulder problems related to degenerative conditions, sports injuries, or trauma comprise a significant percentage of orthopaedic surgery practice. Shoulder Surgery: Tricks of the Trade reflects collective expertise from Joshua Dines, David Dines and Lawrence Gulotta, renowned orthopaedic surgeons at the prestigious Hospital for Special Surgery in New York, and an impressive cadre of contributors.The unique resource features practical advice from recognized experts, presenting surgical essentials in an easy-to-learn and r
¥1632
预订 Software Engineering 2: Specification of Systems and Lang 【全球购】进口原版图书,约5-8周到达国内后发出
¥431.00
预订 Perspectives of System Informatics: 4th International And 【全球购】进口原版图书,约5-8周到达国内后发出
¥544.00
Perspectives of System Informatics系统信息学透视
¥242.00
海外直订Software Engineering 1: Abstraction and Modelling 软件工程1:
¥943.00
明星店铺 中华商务进口图书旗舰店
预订Software Engineering 2: Specification of Systems and Langu 【全球购】进口原版图书,约5-8周到达国内后发出
¥457.00
预订 Software Engineering 1: Abstraction and Modelling [ISBN:9 【全球购】进口原版图书,约5-8周到达国内后发出
¥837.00
【预订】Time-Saver Standards for Landscape Architecture 美国库房发货,通常付款后3-5周到货!
¥1637
【预订】Software Engineering 2: Specification of Systems and 美国库房发货,通常付款后3-5周到货!
¥520.00
按需印刷The Last Weekend 预订,预计下单后2-3周左右发货!
¥209.00
海外直订Look Where You Are Going Not Where You Have Been 看看你要去的地
¥191.00
明星店铺 中华商务进口图书旗舰店
预订 Software Engineering 3 9783642059414 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642059414 作者: Dines Bj?rner 装帧: 平装-胶订 页数: 768页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.2 cm 出版日期: 2010-02-12 重量: 2g 语种: 其它(含多语) 内容简介 The art, craft, discipline, logic, practice, and science of developing large-s
¥1387
预订 Software Engineering 3: Domains, Requirements, and Softwa 【全球购】进口原版图书,约5-8周到达国内后发出
¥837.00
【预订】Key Skills for Professionals: How to Succeed in Professi 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥523.67
【预订】Dines Road 美国库房发货,通常付款后3-5周到货!
¥116.00
海外直订Software Engineering 3: Domains, Requirements, and Softw
¥961.00
明星店铺 中华商务进口图书旗舰店
【预订】Elbow Ulnar Collateral Ligament Injury: A Guide to Diagn 美国库房发货,通常付款后3-5周到货!
¥895.00
【预订】Health Promotion - Concepts And Practice 美国库房发货,通常付款后3-5周到货!
¥550.00
海外直订Time-Saver Standards Site Construction Details Manual 节约
¥882.00
明星店铺 中华商务进口图书旗舰店
海外直订Formal Methods in Programming and Their Applications: In
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Elbow Ulnar Collateral Ligament Injury 9781489975393 美国库房发货,通常付款后3-5周到货!
¥1033
海外直订Software Engineering 2: Specification of Systems and Lan
¥630.00
明星店铺 中华商务进口图书旗舰店
【预订】Signs in Use 9780415262033 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780415262033 Author 作者 J?rgen Dines Johansen and Svend Erik Larsen Format 版本 精装 Pages Number 页数 256页 Publisher 出版社 Routledge Publication Date 出版日期 2002-06-13 Shipping Weight 商品重量 521g Language 语种 英语 Book Contents 内容简介 This book cuts across different semiotic schools to introduce six basic concepts which present semiotics as a theory and a set of analytical tools: code, sign, discourse, action, text, and culture.
¥1560
预订 Molecular Constants Mostly from Microwave, Molecular Beam 【全球购】进口原版图书,约5-8周到达国内后发出
¥33326