预订 Rewriting Techniques and Applications: 14th International 【全球购】进口原版图书,约5-8周到达国内后发出
¥571.00
海外直订医药图书In Vivo Immunology: Histophysiology of the Lymphoid
¥1550
明星店铺 中华商务进口图书旗舰店
【预售 按需印刷】The Global Automotive Industry
¥1301.35
按需印刷The triple bind of single-parent families 预订,预计下单后3-6周左右发货!
¥1730
【预订】de Normale Arbeidsdag: Historisch-Ekonomisch Studie 9781 美国库房发货,通常付款后3-5周到货!
¥235.00
【预订】Rewriting Techniques and Applications 9783540402541 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540402541 Author 作者 Nieuwenhuis Format 版本 平装-胶订 Pages Number 页数 518页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-05-27 Language 语种 英语
¥520.00
海外直订Automated Deduction - Cade-20: 20th International Confer
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Rewriting Techniques and Applications: 14th Internationa
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Teamwork in Neurology 美国库房发货,通常付款后3-5周到货!
¥501.00
【预订】In Vivo Immunology: Histophysiology of the Lymphoid Syst 美国库房发货,通常付款后3-5周到货!
¥1515
海外直订Statistical Methods for Business and Economics 商业和经济统计方法
¥737.00
明星店铺 中华商务进口图书旗舰店
预订 Logic for Programming, Artificial Intelligence, and Reaso 【全球购】进口原版图书,约5-8周到达国内后发出
¥981.00
【预订】Automated Deduction – CADE-20 9783540280057 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540280057 Author 作者 Nieuwenhuis Format 版本 平装-胶订 Pages Number 页数 466页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-07-14 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 papers and 5 system deions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed.
¥520.00
【预订】The Automotive Industry and the Environment 美国库房发货,通常付款后3-5周到货!
¥2208
【预订】The Lifetime of a Landslide 9789061911876 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789061911876 Author 作者 J.D. Nieuwenhuis Format 版本 精装 Pages Number 页数 160页 Publication Date 出版日期 1991-01-01 Shipping Weight 商品重量 430g Language 语种 英语 Book Contents 内容简介 .
¥2462
预订 Intelligent Distributed Computing V: Proceedings of the 5 【全球购】进口原版图书,约5-8周到达国内后发出
¥1928
海外直订医药图书Logic for Programming, Artificial Intelligence, and
¥1033
明星店铺 中华商务进口图书旗舰店
预订 Automated Deduction - Cade-20: 20th International Confere 【全球购】进口原版图书,约5-8周到达国内后发出
¥474.00
预订 Automated Deduction - Cade-20 9783540280057 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540280057 作者: Robert Nieuwenhuis 装帧: 平装-胶订 页数: 466页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2005-07-14 重量: 454g 语种: 其它(含多语) 内容简介 This volume contains the proceedings of the 20th International Confere
¥1265
【预订】Logic for Programming, Artificial Intelligence, and Reas 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540429579 Author 作者 Nieuwenhuis Format 版本 平装-胶订 Pages Number 页数 741页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-11-21 Language 语种 英语 Book Contents 内容简介 This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Articial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second International Workshop on Implementation of Logics. There were 112 submissions, of which 19 belonged to the special subm- sion category of experimental papers, intended to describe implementations or comparisons of systems, or experiments with systems. Each submission was - viewed by at least three program committee members and an electronic program committee meeting was held via the Internet. The high number of submission
¥1040
预售 按需印刷 Quer durch Borneo德语ger
¥1245.25
预售 按需印刷Das Sparen, Ein Okonomischer Und Socialer Grundsatz德语
¥147.90
Logic for Programming, Artificial Intelligence, and Reasonin
¥269.90
Automated Deduction CADE-20 自动化演绎-CADE-20/2005年国际会议录
¥596.60