关注微信公众号查券更方便
【预售 按需印刷】Considerationes Secundae Circa Calculi Differentialis Principia
[预订]The Microscopic Structure & Mode of Formation of Urinary Calculi 9781021702517
预售 按需印刷Calculi Differentialis Et Integralis Institutio (1768)
按需印刷An Introduction to Lambada Calculi for Computer Scientists[9780954300654]
【4周达】An Introduction to Lambda Calculi for Computer Scientists [9780954300654]
【预售 按需印刷】An Introduction to Lambda Calculi for Computer Scientists
海外直订An Introduction to Lambda Calculi for Computer Scientists 计算机科学家lambda计算导论
【预售】An Introduction to Lambda Calculi for Computer
海外直订Institutiones Calculi Integralis; Volume 1 Institutiones Calculi Integralis; Volume 1
预订 Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi [9781575865744]
现货 Lambda 转换的演算 The Calculi of Lambda Conversion 英文原版 阿隆佐 丘奇 Alonzo Church 计算机之父【中商原版】
海外直订Institutiones Calculi Integralis; Volume 4 Institutiones Calculi Integralis; Volume 4
现货 英文原版 Typed Lambda Calculi and Applications:5th International Conference, TLCA 2001 Kra 9783540419600
【4周达】The Calculi of Lambda Conversion. (Am-6), Volume 6 [9780691083940]
【预售】Domains and Lambda-Calculi
海外直订Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlc 重写和键入Lambd
【4周达】Existence Families, Functional Calculi and Evolution Equations [9783540577034]
海外直订Domains and Lambda-Calculi 域与Lambda计算
【4周达】Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven,... [9783642389450]
【预售】Existence Families, Functional Calculi and Evolution
海外直订医药图书Urinary Tract Infections, Calculi and Tubular Disorders 尿路感染、结石和肾小管疾病
海外直订Typed Lambda Calculi and Applications: International Conference on Typed Lambda 类型化Lambda Calcu
海外直订Typed Lambda Calculi and Applications: 7th International Conference, Tlca 2005, 打字Lambda Calcul
海外直订Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, 打字Lambda Calcul
海外直订Logic of Programming and Calculi of Discrete Design: International Summer School 《程序设计逻辑和离散设计微
海外直订Typed Lambda Calculi and Applications: Second International Conference on Typed 类型化Lambda
海外直订Theory Reasoning in Connection Calculi 联系结石的理论推理
海外直订Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, 类型化Lambda微
海外直订Typed Lambda Calculi and Applications: Third International Conference on Typed L 类型化Lambda
海外直订Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 K 类型化Lambda结
【预售】The Calculi of Lambda Conversion. (Am-6)
【预订】Typed Lambda Calculi and Applications
【4周达】Urinary Tract Infections, Calculi and Tubular Disorders [9789400980778]
海外直订Existence Families, Functional Calculi and Evolution Equations 存在族、泛函计算与演化方程
【4周达】Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson... [9783319278094]
【4周达】Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, S... [9783540403326]
【4周达】Theory Reasoning in Connection Calculi [9783540655091]
【4周达】Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, ... [9783642216909]
海外直订Typed Lambda Calculi and Applications: 11th International Conference, Tlca 2013, 类型化Lambda结
【4周达】Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calcul... [9783540626886]
【4周达】Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calcu... [9783540590484]
【4周达】Logic of Programming and Calculi of Discrete Design : International Summer School directed b... [9783642873768]
【4周达】Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and ... [9783540565178]
【4周达】Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, Franc... [9783540732273]
【4周达】Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held... [9783319089171]
【4周达】Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Polan... [9783540419600]
【4周达】Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan... [9783540255932]
【4周达】Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, Ita... [9783540657637]
【4周达】Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783764369095]
【4周达】Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Br... [9783642022722]
【预售】Typed Lambda Calculi and Applications
【预售】Typed Lambda Calculi and Applications: 7th
【预售】Typed Lambda Calculi and Applications: 6th
【预售】Typed Lambda Calculi and Applications: 10th
【预售】Rewriting and Typed Lambda Calculi: Joint Inte...
【预订】Semantics, Logics, and Calculi
【预订】Logic of Programming and Calculi of ...
【预订】Urinary Tract Infections, Calculi an...
【预订】Typed Lambda Calculi and Application...
【预订】Theory Reasoning in Connection Calculi
海外直订Typed Lambda Calculi and Applications 类型化Lambda算法及其应用
海外直订Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, 类型化Lambda
【4周达】Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783034896412]
【4周达】Relative Complexities of First Order Calculi [9783528051228]
【预订】Lambda Calculi
【4周达】Domains and Lambda-Calculi: - Domains and Lambda-Calculi [9780521062923]
【4周达】Lambda Calculi: A Guide for Computer Scientists [9780198538400]
海外直订Lambda Calculi Lambda结石
预订 Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi [9781575865737]
预订Sequents and Trees:An Introduction to the Theory and Applications of Propositional Sequent Calculi
海外直订Functional Calculi 功能性结石
【4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
【预售】Functional Calculi
【4周达】Functional Calculi [9789814415972]
【预订】Institutiones Calculi Integralis 1st Part
【预订】Institutiones Calculi Integralis 2nd...
海外直订Mobility in Process Calculi and Natural Computing 过程演算与自然计算中的移动性
预订 Logical and Logico-mathematical Calculi II [9780821830215]
【4周达】Mobility in Process Calculi and Natural Computing [9783642437113]
【4周达】Mobility in Process Calculi and Natural Computing [9783642248665]
【预售 按需印刷】Performance Analysis of Soc Architectures Based on Network Calculi
【4周达】Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi [9789048183531]
海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何运算的系统、模式和数据工程
海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论：后继计算及相关形式
按需印刷FUNCTIONAL CALCULI[9789814415972]
【预售】Mobility in Process Calculi and Natural Computing
【预订】Mobility in Process Calculi and Natu...
【4周达】Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi [9789027709295]
【4周达】Systems, Patterns and Data Engineering with Geometric Calculi [9783030744885]
【4周达】Discrete Mathematics Its Applications: Proof Theory: Sequent Calculi and Related Formalisms [9781466564664]
【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744885
【4周达】Lectures on Mathematical Logic, Volume II: - Calculi for Derivations and Deductions [9789056992675]
【4周达】Gentzen Calculi for Modal Propositional Logic [9789048196692]
【预售】Proof Theory: Sequent Calculi and Related Formali
【4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems [9781849969512]
海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算的基本原理及其在模糊推
海外直订Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurre 并发理论：Calculi一种用
![【4周达】Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven,... [9783642389450]](/Public/skin2/static/tqkpc/images/grey.gif)
