预订Little Wonder:Lottie Dod, the First Female Sports Supersta 预订,预计下单后3-6周左右发货!
¥153.80
预订 The House of Twenty Thousand Books 预订,预计下单后3-4周左右发货!
¥212.80
预订Little Wonder:Lottie Dod, the First Female Sports Supersta 预订,预计下单后2-3周左右发货!
¥230.80
预订Jumping at Shadows:The Triumph of Fear and the End of the 预订,预计下单后2-3周左右发货!
¥266.80
现货 Typed Lambda Calculi and Applications:5th International C 进口原版,现货速发
¥469.00
预订 Dependence Logic: Theory and Applications [ISBN:978331931 【全球购】进口原版图书,约5-8周到达国内后发出
¥479.00
Typed Lambda Calculi and Applications典型Lambda 微积分学及其应用
¥500.60
【预订】Dependence Logic 9783319318011 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319318011 Author 作者 Abramsky Format 版本 精装 Pages Number 页数 276页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2016-07-06 Shipping Weight 商品重量 602g Language 语种 英语 Book Contents 内容简介 In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal Netherlands Academy of Arts and Sciences (Mar
¥520.00
【预订】Prenatal Diagnosis 9780412553608 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780412553608 Author 作者 Lenore Abramsky Format 版本 平装-胶订 Pages Number 页数 228页 Publisher 出版社 Springer US Publication Date 出版日期 1994-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 760g Language 语种 英语 Book Contents 内容简介 This book evolved out of a conference which was held because of our conviction that prenatal screening and diagnostic techniques provide carers with a two-edged sword which can do both good and harm - often at the same time to the same person. The conference (’The Human Side of Prenatal Diagnosis’) dealt with emotional, ethical and legal issues in prenatal screening and diagnosis. It took place in March 1992 at the Institute of Obstetrics and Gynaecology in London and was attended by obstetricians, paediatricians, geneticists, midwives and ultrasonographers from the North We
¥520.00
【预订】Typed Lambda Calculi and Applications: 5th International 美国库房发货,通常付款后3-5周到货!
¥520.00
海外直订Tapsoft '91: Proceedings of the International Joint Conf
¥553.00
海外直订Tapsoft '91: Proceedings of the International Joint Conf
¥553.00
海外直订Prenatal Diagnosis: The Human Side 产前诊断:人性的一面
¥553.00
海外直订Typed Lambda Calculi and Applications: 5th International
¥553.00
海外直订Dependence Logic: Theory and Applications 依赖逻辑:理论与应用
¥553.00
海外直订Dependence Logic: Theory and Applications 依赖逻辑:理论与应用
¥553.00
预订 Dependence Logic: Theory and Applications [ISBN:978331981 【全球购】进口原版图书,约5-8周到达国内后发出
¥577.00
【预订】The Jews In Poland 美国库房发货,通常付款后3-5周到货!
¥587.00
【预订】Topology Via Logic 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥897.93
【预订】Automata, Languages and Programming 9783642141645 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642141645 Author 作者 Abramsky Format 版本 平装-胶订 Publication Date 出版日期 2010-06-15 Language 语种 英语
¥1040
预订 Automata, Languages and Programming: 37th International C 【全球购】进口原版图书,约5-8周到达国内后发出
¥1043
海外直订Automata, Languages and Programming: 37th International
¥1142
预订 Automata, Languages and Programming: 37th International C 【全球购】进口原版图书,约5-8周到达国内后发出
¥1159
【预订】Mathematical Foundations of Information Flow 97808218492 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780821849231 Author 作者 Samson Abramsky Format 版本 精装 Pages Number 页数 267页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2012-07-19 Language 语种 英语 Book Contents 内容简介 This volume is based on the 2008 Clifford Lectures on Information Flow in Physics, Geometry and Logic and Computation, held March 12-15, 2008, at Tulane University in New Orleans, Louisiana. The varying perspectives of the researchers are evident in the topics represented in the volume, including mathematics, computer science, quantum physics and classical and quantum information. A number of the articles address fundamental questions in quantum information and related topics in quantum physics, using abstract categorical and domain-theoretic models for quantum physics to reason about such systems and to model spacetime. Readers can expect to gain
¥1210
【预订】Handbook of Logic in Computer Science: Volume 4: 美国库房发货,通常付款后3-5周到货!
¥5458
【预订】Handbook of Logic in Computer Science: Volume 1. Backgro 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780198537359 Author 作者 Abramsky S. Format 版本 精装 Pages Number 页数 840页 Publisher 出版社 Oxford University Press Publication Date 出版日期 1992-12-10 Shipping Weight 商品重量 1253g Language 语种 英语 Book Contents 内容简介 A multi-volume work covering all major areas of application of logic to theoretical computer science. The authors are chosen on an international basis and are leaders in the fields covered.
¥5458
【预订】Handbook of Logic in Computer Science: Volume 3: 美国库房发货,通常付款后3-5周到货!
¥5458
预订 Handbook of Logic in Computer Science: Volume 5: Logic an 【全球购】进口原版图书,约5-8周到达国内后发出
¥5529
【预订】Handbook of Logic in Computer Science: Volume 2: 美国库房发货,通常付款后3-5周到货!
¥6017
【预订】Handbook of Logic in Computer Science: Volume 5: 美国库房发货,通常付款后3-5周到货!
¥6611