【预订】Study Reading: A Course in Reading Skills for 美国库房发货,通常付款后3-5周到货!
¥397.00
【预订】Computational Principles of Mobile Robotics 美国库房发货,通常付款后3-5周到货!
¥608.00
【预订】Bryophyte Biology 美国库房发货,通常付款后3-5周到货!
¥632.00
【预订】Basic Physical Chemistry for the Atmospheric Y9780521780 美国库房发货,通常付款后3-5周到货!
¥1170
【预订】Internet Law 美国库房发货,通常付款后3-5周到货!
¥538.00
Product Details 基本信息 ISBN-13 书号 9780521779111 Author 作者 A. S. Troelstra,Helmut Schwichtenberg,C. J. Van Rijsbergen,S. Abramsky,P.H. Aczel,J.W.De Bakker,Y. Gurevich,J.V. Tucker Format 版本 平装 Pages Number 页数 432页 Publisher 出版社 Cambridge University Press; 2nd Revised edition Publication Date 出版日期 2000年7月27日 Product Dimensions 商品尺寸 15.2 x 2.4 x 22.8 cm Shipping Weight 商品重量 630 g Language 语种 英语 Book Description 内容简介 This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; li
¥447.00
【预订】Education, Economic Change and Society in England 美国库房发货,通常付款后3-5周到货!
¥269.00
【预订】Studies in the Language of Homer 美国库房发货,通常付款后3-5周到货!
¥538.00
【预订】Poet's Prose: The Crisis in American Verse 美国库房发货,通常付款后3-5周到货!
¥374.00
【预订】MRI from Picture to Proton 美国库房发货,通常付款后3-5周到货!
¥1143
【预订】Modern British Drama: The Twentieth Century Y97805210167 美国库房发货,通常付款后3-5周到货!
¥585.00
【预订】Hamlet, Prince of Denmark Y9780521532525 美国库房发货,通常付款后3-5周到货!
¥229.00
【预订】The Depressed Child and Adolescent 美国库房发货,通常付款后3-5周到货!
¥1161
【预订】Physiology by Numbers: An Encouragement to 美国库房发货,通常付款后3-5周到货!
¥981.00
【预订】Anaesthesia OSCE 美国库房发货,通常付款后3-5周到货!
¥829.00
【预订】Modern French Drama 1940 1990 美国库房发货,通常付款后3-5周到货!
¥433.00
【预订】Reproduction in Mammals: Volume 4, Reproductive 美国库房发货,通常付款后3-5周到货!
¥480.00
【预订】The Treatment of Anxiety Disorders: Clinician Guides 美国库房发货,通常付款后3-5周到货!
¥1299
【预订】The Cambridge Ancient History Y9780521234467 美国库房发货,通常付款后3-5周到货!
¥2937
【预订】The Cambridge Companion to Harold Pinter Y9780521886093 美国库房发货,通常付款后3-5周到货!
¥772.00
【预订】Italy: A Short History Y9780521806138 美国库房发货,通常付款后3-5周到货!
¥772.00
【预订】The Cambridge Companion to Dante Y9780521844307 美国库房发货,通常付款后3-5周到货!
¥851.00
【预订】The Theatre of Tom Stoppard 美国库房发货,通常付款后3-5周到货!
¥304.00
【预订】The Cambridge Companion to James Joyce 美国库房发货,通常付款后3-5周到货!
¥887.00
【预订】Jane Austen: A Family Record Y9780521534178 美国库房发货,通常付款后3-5周到货!
¥363.00
【预订】ML for the Working Programmer 美国库房发货,通常付款后3-5周到货!
¥667.00
【预订】The Cambridge Companion to English Renaissance Y97805218 美国库房发货,通常付款后3-5周到货!
¥959.00
【预订】Supplying War: Logistics from Wallenstein to Patton 美国库房发货,通常付款后3-5周到货!
¥374.00
【预订】Leaf Protein: And Its By-Products in Human and 美国库房发货,通常付款后3-5周到货!
¥1114
【预订】A History of Egypt: From the Arab Conquest to the 美国库房发货,通常付款后3-5周到货!
¥292.00
【预订】Psychobiology of Personality 美国库房发货,通常付款后3-5周到货!
¥1322
【预订】Human-Machine Reconfigurations: Plans and Situated Y9780 美国库房发货,通常付款后3-5周到货!
¥398.00
【预订】The Cambridge Companion to Jung Y9780521685009 美国库房发货,通常付款后3-5周到货!
¥327.00
【预订】Arguing and Thinking: A Rhetorical Approach to 美国库房发货,通常付款后3-5周到货!
¥456.00
【预订】The British Overseas, Part 1, Making of the Empire: 美国库房发货,通常付款后3-5周到货!
¥456.00
【预订】A Short History of Finland 美国库房发货,通常付款后3-5周到货!
¥714.00
【预订】The Birth of the Palestinian Refugee Problem 美国库房发货,通常付款后3-5周到货!
¥550.00
【预订】The Decline and Fall of the Romantic Ideal 美国库房发货,通常付款后3-5周到货!
¥327.00
【预订】Astronomicon: Volume 4, Liber Quartus 美国库房发货,通常付款后3-5周到货!
¥210.00
【预订】Paleobotany and the Evolution of Plants Y9780521382946 美国库房发货,通常付款后3-5周到货!
¥807.00
【预订】An Introduction to Crystal Chemistry 美国库房发货,通常付款后3-5周到货!
¥433.00
【预订】Handbook of Ethological Methods Y9780521554053 美国库房发货,通常付款后3-5周到货!
¥1053
【预订】Physiological Approach to the Lower Animals 美国库房发货,通常付款后3-5周到货!
¥363.00
【预订】Organic Reactions and Orbital Symmetry 美国库房发货,通常付款后3-5周到货!
¥678.00
【预订】Human-Machine Reconfigurations: Plans and Situated 美国库房发货,通常付款后3-5周到货!
¥819.00
【预订】Geochemistry: An Introduction 美国库房发货,通常付款后3-5周到货!
¥655.00
【预订】Discrete Choice Methods with Simulation 美国库房发货,通常付款后3-5周到货!
¥1240
【预订】The Cambridge Companion to Hume Y9780521677349 美国库房发货,通常付款后3-5周到货!
¥374.00
【预订】The Solid Earth: An Introduction to Global 美国库房发货,通常付款后3-5周到货!
¥620.00
Numerical Recipes in FORTRAN 77
Product Details 基本信息 ISBN-13 书号 9780521430647 Author 作者 WilliamH.Press Pages Number 页数 1010页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 19930201 Product Dimensions 商品尺寸 0 x 0 x 0 cm Shipping Weight 商品重量 1790 Book Description 内容简介 This is the revised and expanded second edition of the hugely popular Numerical Recipes: the Art of Scientific Computing. The product of a unique collaboration among four leading scientists in academic research and industry, Numerical Recipes is a complete text and reference book on scientific computing.
¥737.00
【预订】Galaxies in the Universe: An Introduction 美国库房发货,通常付款后3-5周到货!
¥608.00
The Geometry of Moduli Spaces of Sheaves
¥418.00
【预订】Egypt and the Egyptians 美国库房发货,通常付款后3-5周到货!
¥421.00
【预订】Introduction to Seismology Y9780521708425 美国库房发货,通常付款后3-5周到货!
¥815.00
【预订】An Introduction to Plant Structure and Development: 美国库房发货,通常付款后3-5周到货!
¥718.00
【预订】The Logic of Real Arguments 美国库房发货,通常付款后3-5周到货!
¥363.00
【预订】English for Business Communication Teacher's Book 美国库房发货,通常付款后3-5周到货!
¥392.00
【预订】Introduction to Finite Element Vibration Analysis 美国库房发货,通常付款后3-5周到货!
¥1398
【预订】Cosmology: The Science of the Universe 美国库房发货,通常付款后3-5周到货!
¥994.00
【预订】Markov Chains and Stochastic Stability Y9780521731829 美国库房发货,通常付款后3-5周到货!
¥842.00