Calculi什么牌子好,Calculi哪里有卖? - 第1页

英文 International 9783540419600 Applications
现货英文原版 Typed Lambda Calculi and Applications:5th International Conference, TLCA 2001 Kra 9783540419600
￥474券后￥4840人已购买
优惠券￥10 领券购买 
扣除 Applications Foundations Automated
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
￥1,888券后￥1,9880人已购买
优惠券￥100 领券购买 
Applications Foundations Automated Deduction
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基
￥2,551券后￥2,6510人已购买
优惠券￥100 领券购买 
演算 Observational Association 关联
海外直订Observational Calculi and Association Rules 观察性演算与关联规则
￥1,888券后￥1,9880人已购买
优惠券￥100 领券购买 
后继 Formalisms 证明形式
海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论：后继计算及相关形式
￥1,734券后￥1,8340人已购买
优惠券￥100 领券购买 
理论 Theory 运算 Consequence
海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑计算理论：结果运算的基本理论
￥3,876券后￥3,9760人已购买
优惠券￥100 领券购买 
演化方程 Functional Existence
海外直订Existence Families, Functional Calculi and Evolution Equations 存在族、泛函计算与演化方程
￥546券后￥5960人已购买
优惠券￥50 领券购买 
类型化 Lambda Typed International
海外直订Typed Lambda Calculi and Applications: Third International Conference on Typed L 类型化Lambda
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Lambda International Applications Conference
海外直订Typed Lambda Calculi and Applications: 7th International Conference, Tlca 2005, 打字Lambda Calcul
￥612券后￥6620人已购买
优惠券￥50 领券购买 
功能性结石 Functional Calculi
海外直订Functional Calculi 功能性结石
￥1,032券后￥1,1320人已购买
优惠券￥100 领券购买 
不确定性 Fundamentals Applications Uncertainty
海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算的基本原理及其在模糊推
￥1,888券后￥1,9880人已购买
优惠券￥100 领券购买 
Lambda 结石 Calculi 海外
海外直订Lambda Calculi Lambda结石
￥913券后￥9630人已购买
优惠券￥50 领券购买 
类型化 Lambda International Applications
海外直订Typed Lambda Calculi and Applications: 11th International Conference, Tlca 2013, 类型化Lambda结
￥559券后￥6090人已购买
优惠券￥50 领券购买 
几何 Engineering Geometric Patterns
海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何计算的系统、模式和数据工程
￥1,996券后￥2,0960人已购买
优惠券￥100 领券购买 
类型化 Lambda Applications 算法
海外直订Typed Lambda Calculi and Applications 类型化Lambda算法及其应用
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Lambda International Applications Conference
海外直订Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, 打字Lambda Calcul
￥612券后￥6620人已购买
优惠券￥50 领券购买 
重写键入 International Conferences
海外直订Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlc 重写和键入Lambd
￥612券后￥6620人已购买
优惠券￥50 领券购买 
类型化 Lambda International Applications
海外直订Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, 类型化Lambda微
￥612券后￥6620人已购买
优惠券￥50 领券购买 
类型化 Lambda International Applications
海外直订Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 K 类型化Lambda结
￥612券后￥6620人已购买
优惠券￥50 领券购买 
理论 Theory 演算推论
海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑演算理论:推论运算的基本理论
￥3,876券后￥3,9760人已购买
优惠券￥100 领券购买 
类型化 Lambda International Applications
海外直订Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, 类型化Lambda
￥612券后￥6620人已购买
优惠券￥50 领券购买 
结石推理 Connection Reasoning
海外直订Theory Reasoning in Connection Calculi 联系结石的理论推理
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Lambda 导论 Introduction Scientists
海外直订An Introduction to Lambda Calculi for Computer Scientists 计算机科学家lambda计算导论
￥282券后￥3120人已购买
优惠券￥30 领券购买 
Calculi 并发 Concurrency Modelling
海外直订Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurre 并发理论：Calculi一种用
￥1,888券后￥1,9880人已购买
优惠券￥100 领券购买 
扣除 Applications Foundations Automated
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
￥1,888券后￥1,9880人已购买
优惠券￥100 领券购买 
Lambda 类型化 Typed International
海外直订Typed Lambda Calculi and Applications: International Conference on Typed Lambda 类型化Lambda Calcu
￥612券后￥6620人已购买
优惠券￥50 领券购买 
运算几何 Engineering Geometric
海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何运算的系统、模式和数据工程
￥1,380券后￥1,4800人已购买
优惠券￥100 领券购买 
类型化 Lambda Typed International
海外直订Typed Lambda Calculi and Applications: Second International Conference on Typed 类型化Lambda
￥612券后￥6620人已购买
优惠券￥50 领券购买 
结石 Algorithimic 算法 Languages
海外直订Algorithimic Languages and Calculi 算法语言与结石
￥2,551券后￥2,6510人已购买
优惠券￥100 领券购买 
结石程序设计 Program Calculi
海外直订Program Design Calculi 程序设计结石
￥2,551券后￥2,6510人已购买
优惠券￥100 领券购买 
Institutiones Integralis 积分 Calculi
海外直订Institutiones Calculi Integralis; Volume 4 机构积分法；卷4
￥520券后￥5700人已购买
优惠券￥50 领券购买 
尿液沉积物医药图书结石
海外直订医药图书Illustrations of the Constituents of Urine, Urinary Deposits, and Calculi 尿液、尿液沉积物和结石成
￥270券后￥2850人已购买
优惠券￥15 领券购买 
Lambda Domains Calculi 海外
海外直订Domains and Lambda-Calculi 域与Lambda计算
￥852券后￥9020人已购买
优惠券￥50 领券购买 
肾小管医药图书结石 Infections
海外直订医药图书Urinary Tract Infections, Calculi and Tubular Disorders 尿路感染、结石和肾小管疾病
￥612券后￥6620人已购买
优惠券￥50 领券购买 
结石程序设计 Program Calculi
海外直订Program Design Calculi 程序设计结石
￥2,551券后￥2,6510人已购买
优惠券￥100 领券购买 
不确定性 Fundamentals Applications Uncertainty
海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算基础及其在模糊推理中的应用
￥1,888券后￥1,9880人已购买
优惠券￥100 领券购买 
扣除 Applications Foundations Automated
海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一
￥2,551券后￥2,6510人已购买
优惠券￥100 领券购买 
离散 International 程序设计 Programming
海外直订Logic of Programming and Calculi of Discrete Design: International Summer School 《程序设计逻辑和离散设计微
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Calculi 并发 Concurrency Modelling
海外直订Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurre 并发理论：Calculi一种用
￥1,888券后￥1,9880人已购买
优惠券￥100 领券购买 
Lambda 结石 Domains Calculi
海外直订Domains and Lambda-Calculi 域与Lambda结石
￥2,541券后￥2,6410人已购买
优惠券￥100 领券购买 