关注微信公众号查券更方便
按需印刷不退不换FUNCTIONAL CALCULI[9789814415972]
【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744854
【预售】Domains and Lambda-Calculi
【预订】Unification of Fractional Calculi with Applications 9783030869199
【预订】Unification of Fractional Calculi with Applications 9783030869229
【预订】Observational Calculi and Associatio...
海外直订Program Design Calculi 程序设计结石
海外直订Algorithimic Languages and Calculi 算法语言与结石
【预售】Proof Theory: Sequent Calculi and Related Formali
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础,第一
【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744885
海外直订Domains and Lambda-Calculi 域与Lambda结石
海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何计算的系统、模式和数据工程
预订 Logical and Logico-mathematical Calculi II 9780821830215
海外直订Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurre 并发理论:Calculi一种用
海外直订Observational Calculi and Association Rules 观察性演算与关联规则
海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算的基本原理及其在模糊推
海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算基础及其在模糊推理中的应用
海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论:后继计算及相关形式
海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何运算的系统、模式和数据工程
【预订】Lambda Calculi
预订 String Diagrams for Lambda Calculi and Functional Computation 面向λ演算与函数式计算的弦图 9781009719971
海外直订Functional Calculi 功能性结石
【预售】The Calculi of Lambda Conversion. (Am-6)
【预订】Semantics, Logics, and Calculi
【3-4周达】精装 Theory of Logical Calculi : Basic Theory of Consequence Operations [9789027727855]
【3-4周达】Theory of Logical Calculi: Basic Theory of Consequence Operations [9789401569446]
【3-4周达】精装 Algorithimic Languages and Calculi [9780412820502]
【3-4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods ... [9789048150502]
海外直订Lambda Calculi Lambda结石
海外直订Domains and Lambda-Calculi 域与Lambda计算
海外直订Typed Lambda Calculi and Applications 类型化Lambda算法及其应用
海外直订Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, 打字Lambda Calcul
海外直订Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlc 重写和键入Lambd
海外直订Typed Lambda Calculi and Applications: Third International Conference on Typed L 类型化Lambda
海外直订Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, 类型化Lambda微
海外直订Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, 类型化Lambda
海外直订Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 K 类型化Lambda结
海外直订Typed Lambda Calculi and Applications: 7th International Conference, Tlca 2005, 打字Lambda Calcul
海外直订Theory Reasoning in Connection Calculi 联系结石的理论推理
海外直订Typed Lambda Calculi and Applications: Second International Conference on Typed 类型化Lambda
海外直订Typed Lambda Calculi and Applications: International Conference on Typed Lambda 类型化Lambda Calcu
海外直订Logic of Programming and Calculi of Discrete Design: International Summer School 《程序设计逻辑和离散设计微
海外直订医药图书Urinary Tract Infections, Calculi and Tubular Disorders 尿路感染、结石和肾小管疾病
海外直订Typed Lambda Calculi and Applications: 11th International Conference, Tlca 2013, 类型化Lambda结
【3-4周达】精装 Program Design Calculi [9783540569435]
【3-4周达】精装 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Met... [9780792351290]
【3-4周达】精装 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Met... [9780792351306]
【3-4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods ... [9789048150519]
【3-4周达】Program Design Calculi [9783642081644]
【3-4周达】精装 Lectures on Mathematical Logic, Volume II: - Calculi for Derivations and Deductions [9789056992675]
【3-4周达】精装 Systems, Patterns and Data Engineering with Geometric Calculi [9783030744854]
【3-4周达】精装 Domains and Lambda-Calculi: - Domains and Lambda-Calculi [9780521622776]
【3-4周达】精装 Unification of Fractional Calculi with Applications [9783030869199]
【3-4周达】Unification of Fractional Calculi with Applications [9783030869229]
【3-4周达】精装 Discrete Mathematics Its Applications: Proof Theory: Sequent Calculi and Related Form... [9781466564664]
【3-4周达】精装 Institutiones calculi integralis 3rd part [9783764314125]
【3-4周达】精装 Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent S... [9781852338954]
【3-4周达】Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent System... [9781849969512]
【3-4周达】精装 Observational Calculi and Association Rules [9783642117367]
【3-4周达】Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9789048144778]
【3-4周达】精装 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Met... [9780792351313]
【3-4周达】精装 Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference [9780792331759]
【3-4周达】Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods ... [9789048150526]
【3-4周达】Observational Calculi and Association Rules [9783642445330]
【3-4周达】精装 Gentzen Calculi for Modal Propositional Logic [9789048196692]
【3-4周达】Gentzen Calculi for Modal Propositional Logic [9789400734425]
【3-4周达】Systems, Patterns and Data Engineering with Geometric Calculi [9783030744885]
按需印刷不退不换An Introduction to Lambada Calculi for Computer Scientists[9780954300654]
【3-4周达】Performance Analysis of Soc Architectures Based on Network Calculi [9783843351102]
海外直订Existence Families, Functional Calculi and Evolution Equations 存在族、泛函计算与演化方程
【3-4周达】精装 Mobility in Process Calculi and Natural Computing [9783642248665]
【3-4周达】精装 Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi [9789027709295]
【3-4周达】Mobility in Process Calculi and Natural Computing [9783642437113]
现货 英文原版 Typed Lambda Calculi and Applications:5th International Conference, TLCA 2001 Kra 9783540419600
海外直订Institutiones Calculi Integralis; Volume 4 机构积分法;卷4
预订 String Diagrams for Lambda Calculi and Functional Computation 面向λ演算与函数式计算的弦图 9781009719995
【3-4周达】Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi [9789048183531]
【3-4周达】Logical and Logico-mathematical Calculi II [9780821830215]
海外直订The Microscopic Structure & Mode of Formation of Urinary Calculi 尿路结石的显微结构与形成模式
海外直订Institutiones Calculi Integralis; Volume 1 机构积分法;卷1
【3-4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
海外直订An Introduction to Lambda Calculi for Computer Scientists 计算机科学家lambda计算导论
预订 精装 Generalized Galois Logics – Relational Semantics of Nonclassical Logical Calculi [9781575865737]
【3-4周达】Domains and Lambda-Calculi: - Domains and Lambda-Calculi [9780521062923]
预订 精装 Functional Calculi [9789814415972]
【3-4周达】Lambda Calculi: A Guide for Computer Scientists [9780198538400]
【3-4周达】Gentzen's Logical Calculi: (the theory pamphlet) [9783031919985]
【3-4周达】Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, He... [9783319089171]
【3-4周达】Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Jap... [9783540255932]
【3-4周达】Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, ... [9783642022722]
【3-4周达】精装 Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783764369095]
【3-4周达】Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Pol... [9783540419600]
【3-4周达】Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi an... [9783540565178]