关注微信公众号查券更方便
【预售】Typed Lambda Calculi and Applications: 6th
【预售】Typed Lambda Calculi and Applications: 10th
【预订】Typed Lambda Calculi and Applications
【预订】Typed Lambda Calculi and Application...
【预售】Typed Lambda Calculi and Applications
【预售】Rewriting and Typed Lambda Calculi: Joint Inte...
【预售】Typed Lambda Calculi and Applications: 7th
【预订】Semantics, Logics, and Calculi
【预订】Logic of Programming and Calculi of ...
【预订】Theory Reasoning in Connection Calculi
【预订】Urinary Tract Infections, Calculi an...
【预售】Abstract General Algebraic Logic: Applications to sequent calculi
【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744854
【预售】Domains and Lambda-Calculi
【预售】Mobility in Process Calculi and Natural Computing
【预订】Mobility in Process Calculi and Natu...
【预订】Program Design Calculi
【预订】Lambda Calculi
【预售】Existence Families, Functional Calculi and Evolution
【预售】The Calculi of Lambda Conversion. (Am-6)
【预售 按需印刷】Performance Analysis of Soc Architectures Based on Network Calculi
【预售】Proof Theory: Sequent Calculi and Related Formali
【预售】Functional Calculi
【预订】Institutiones Calculi Integralis 1st Part
【预订】Institutiones Calculi Integralis 2nd...
【预售】Observational Calculi and Association Rules
【预订】Unification of Fractional Calculi with Applications 9783030869199
【预售】Theory of Logical Calculi: Basic Theory of
【预订】Observational Calculi and Associatio...
【预售】Fundamentals of Uncertainty Calculi with
【预订】Unification of Fractional Calculi with Applications 9783030869229
【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744885
预订 Gentzen Calculi for Modal Propositional Logic
[预订]The Microscopic Structure & Mode of Formation of Urinary Calculi 9781021702517
【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: 9th International Conference, TLCA 2009, Brasilia, Br... [9783642022722]
【4周达】Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held... [9783319089171]
【4周达】Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783764369095]
【4周达】Logic of Programming and Calculi of Discrete Design : International Summer School directed b... [9783642873768]
【4周达】Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calcul... [9783540626886]
【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周达】Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calcu... [9783540590484]
【4周达】Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, Ita... [9783540657637]
【预售 按需印刷】Considerationes Secundae Circa Calculi Differentialis Principia
【预售 按需印刷】An Introduction to Lambda Calculi for Computer Scientists
预售 按需印刷Calculi Differentialis Et Integralis Institutio (1768)
【4周达】Theory of Logical Calculi: Basic Theory of Consequence Operations [9789401569446]
【4周达】Systems, Patterns and Data Engineering with Geometric Calculi [9783030744854]
【4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems [9781849969512]
【4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
海外直订Mobility in Process Calculi and Natural Computing 过程演算与自然计算中的移动性
海外直订Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlc 重写和键入Lambd
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9789048150502]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9789048150519]
【4周达】Program Design Calculi [9783642081644]
【预售】An Introduction to Lambda Calculi for Computer
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9780792351290]
【4周达】Algorithimic Languages and Calculi [9780412820502]
【4周达】Program Design Calculi [9783540569435]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9780792351306]
【4周达】Observational Calculi and Association Rules [9783642445330]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9789048150526]
【4周达】Theory of Logical Calculi : Basic Theory of Consequence Operations [9789027727855]
【4周达】Functional Calculi [9789814415972]
【4周达】Observational Calculi and Association Rules [9783642117367]
【4周达】Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9789048144778]
【4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Vo... [9780792351313]
【4周达】Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9780792331759]
现货 英文原版 Typed Lambda Calculi and Applications:5th International Conference, TLCA 2001 Kra 9783540419600
【4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems [9781852338954]
【4周达】Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi [9789027709295]
海外直订Domains and Lambda-Calculi 域与Lambda计算
【4周达】Institutiones Calculi Integralis 2nd Part: Adiecta Sunt Laurentii Mascheronii Adnotationes A... [9783764314118]
【4周达】Institutiones Calculi Integralis 3rd Part [9783764314125]
海外直订Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, 类型化Lambda微
海外直订Typed Lambda Calculi and Applications: 7th International Conference, Tlca 2005, 打字Lambda Calcul
海外直订Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, 打字Lambda Calcul
海外直订Typed Lambda Calculi and Applications: Third International Conference on Typed L 类型化Lambda
海外直订Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 K 类型化Lambda结
海外直订Theory Reasoning in Connection Calculi 联系结石的理论推理
海外直订Typed Lambda Calculi and Applications: International Conference on Typed Lambda 类型化Lambda Calcu
海外直订Typed Lambda Calculi and Applications: Second International Conference on Typed 类型化Lambda
海外直订医药图书Urinary Tract Infections, Calculi and Tubular Disorders 尿路感染、结石和肾小管疾病
海外直订Logic of Programming and Calculi of Discrete Design: International Summer School 《程序设计逻辑和离散设计微
【4周达】Institutiones Calculi Differentialis [9783764314095]
【4周达】Domains and Lambda-Calculi: - Domains and Lambda-Calculi [9780521622776]
【4周达】Systems, Patterns and Data Engineering with Geometric Calculi [9783030744885]
【4周达】Unification of Fractional Calculi with Applications [9783030869199]
【4周达】Gentzen Calculi for Modal Propositional Logic [9789400734425]
【4周达】Unification of Fractional Calculi with Applications [9783030869229]
【4周达】Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783034896412]
海外直订Existence Families, Functional Calculi and Evolution Equations 存在族、泛函计算与演化方程
海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何运算的系统、模式和数据工程
![【4周达】Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan... [9783540255932]](/Public/skin2/static/tqkpc/images/grey.gif)
