【中商原版】Opinion Analysis In Interactions 概率论与数理统计ChloeClavel
¥505.00
明星店铺 中华商务进口图书旗舰店
【预售 按需印刷】A Contrastive Study of Feedback 北京发货,付款后10天内发货
¥766.00
【预订】Cyrus Et Milto Ou La Republique (1796) 9781165925421 美国库房发货,通常付款后3-5周到货!
¥250.00
【预订】The History and Progress of the Electric Telegraph: With 美国库房发货,通常付款后3-5周到货!
¥220.00
【预订】de M.T. Cicerone Gr]corum Interprete: Accedunt Etiam Loc 美国库房发货,通常付款后3-5周到货!
¥259.00
【预订】Knowledge and Rural Development: Dialogue at the Heart o 美国库房发货,通常付款后3-5周到货!
¥983.00
【预售 按需印刷】Cyrus Et Milto Ou La Republique (1796)
¥191.25
【预订】Les Principes Au Xixe Siecle 9781149109366 美国库房发货,通常付款后3-5周到货!
¥158.00
【预订】Droit Musulman: Des Successions 9781145022966 美国库房发货,通常付款后3-5周到货!
¥283.00
海外直订Knowledge and Rural Development: Dialogue at the Heart o
¥1033
明星店铺 中华商务进口图书旗舰店
【预订】Les Races Humaines Et Leur Part Dans La Civilisation 978 美国库房发货,通常付款后3-5周到货!
¥267.00
海外直订A Contrastive Study of Feedback 反馈的对比研究
¥552.00
明星店铺 中华商务进口图书旗舰店
预订 Knowledge and Rural Development 9789401791236 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9789401791236 作者: Dani?le Clavel 装帧: 精装 页数: 67页 出版社: Editions Qu 尺寸: 0.9 x 0.6 x 0.0 cm 出版日期: 2014-07-07 重量: 1g 语种: 其它(含多语) 内容简介 Successive food, economic and environmental crises have prompted the world Agricult
¥1549
【预订】Opinion Analysis In Interactions - From Data Mining To H 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781786304193 Author 作者 Chloe Clavel Format 版本 精装 Pages Number 页数 162页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2019-08-23 Language 语种 英语
¥1632
预订 Trait? Pratique Et Exp?rimental de Botaniqu... 9782013745 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9782013745536 作者: Clavel-L-A 装帧: 平装-胶订 页数: 460页 出版社: Hachette Livre - BNF 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2018-02-28 重量: 454g 语种: 法语 内容简介 Traite pratique et experimental de botanique: histoire naturelle des plantes, arb
¥295.00
按需印刷Centered Peace 预订,预计下单后2-3周左右发货!
¥232.00
【预订】A Contrastive Study of Feedback 美国库房发货,通常付款后3-5周到货!
¥685.00
【预订】Knowledge and Rural Development 9789401791236 美国库房发货,通常付款后3-5周到货!
¥1040
按需印刷A Contrastive Study of Feedback 预订,预计下单后2-3周左右发货!
¥766.00
按需印刷Opinion Analysis in Interactions:From Data Mining to Hum 预订,下单后3-4周发货!
¥1805
【预订】All About Maude - A High-Performance Logical Framework 9 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540719403 Author 作者 Manuel Clavel Format 版本 平装-胶订 Pages Number 页数 802页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-07-20 Language 语种 英语 Book Contents 内容简介 This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaudemoduledenesaprecisemathematicalmodel.Thismeans that Maude and its formal tool environment can be used in three, mutually reinforcing ways: ? as a declarative programming language; ? as an executable formal speci?cation language; and ? as a formal veri?cation system. Maude’s rew
¥937.00
¥197.20
预订Five Acres and Independence 预订,预计下单后2-3周左右发货!
¥281.00