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

Theory 9789401569446 Consequence Operations

预订 Theory of Logical Calculi: Basic Theory of Consequence Operations: 9789401569446

￥4,545 券后￥4,695 0人已购买
优惠券￥ 150  领券购买 
预售 Computing Mobility Natural

【预售】Mobility in Process Calculi and Natural Computing

￥1,147 券后￥1,217 0人已购买
优惠券￥ 70  领券购买 
Applications 预订 Calculi Lambda

【预订】Typed Lambda Calculi and Applications

￥520 券后￥560 0人已购买
优惠券￥ 40  领券购买 
类型化 Lambda Applications 算法

海外直订Typed Lambda Calculi and Applications 类型化Lambda算法及其应用

￥629 券后￥639 0人已购买
优惠券￥ 10  领券购买 
Applications Foundations Deduction Automated

海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基

￥2,057 券后￥2,067 0人已购买
优惠券￥ 10  领券购买 
Lambda 结石 Calculi 海外

海外直订Lambda Calculi Lambda结石

￥779 券后￥789 0人已购买
优惠券￥ 10  领券购买 
功能性结石 Functional Calculi

海外直订Functional Calculi 功能性结石

￥884 券后￥894 0人已购买
优惠券￥ 10  领券购买 
扣除 Applications Foundations Deduction

海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一

￥1,540 券后￥1,550 0人已购买
优惠券￥ 10  领券购买 
理论 Theory 运算 Consequence

海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑计算理论：结果运算的基本理论

￥3,091 券后￥3,101 0人已购买
优惠券￥ 10  领券购买 
类型化 Lambda International Applications

海外直订Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, 类型化Lambda

￥629 券后￥639 0人已购买
优惠券￥ 10  领券购买 
不确定性 Applications Fundamentals Uncertainty

海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算的基本原理及其在模糊推

￥1,540 券后￥1,550 0人已购买
优惠券￥ 10  领券购买 
后继 Formalisms 证明形式

海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论：后继计算及相关形式

￥1,159 券后￥1,169 0人已购买
优惠券￥ 10  领券购买 
演算 Observational Association 关联

海外直订Observational Calculi and Association Rules 观察性演算与关联规则

￥1,540 券后￥1,550 0人已购买
优惠券￥ 10  领券购买 
几何 Engineering Geometric Patterns

海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何计算的系统、模式和数据工程

￥1,639 券后￥1,649 0人已购买
优惠券￥ 10  领券购买 
英文 9783540419600 International Applications

现货英文原版 Typed Lambda Calculi and Applications:5th International Conference, TLCA 2001 Kra 9783540419600

￥474 券后￥484 0人已购买
优惠券￥ 10  领券购买 
理论 Theory 演算推论

海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑演算理论:推论运算的基本理论

￥3,091 券后￥3,101 0人已购买
优惠券￥ 10  领券购买 
扣除 Applications Foundations Deduction

海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一

￥1,540 券后￥1,550 0人已购买
优惠券￥ 10  领券购买 
运算几何 Engineering Geometric

海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何运算的系统、模式和数据工程

￥1,144 券后￥1,154 0人已购买
优惠券￥ 10  领券购买 
Lambda 结石 Calculi Domains

海外直订Domains and Lambda-Calculi 域与Lambda结石

￥1,639 券后￥1,649 0人已购买
优惠券￥ 10  领券购买 
Calculi 并发 Concurrency Modelling

海外直订Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurre 并发理论：Calculi一种用

￥1,540 券后￥1,550 0人已购买
优惠券￥ 10  领券购买 
结石程序设计 Calculi Program

海外直订Program Design Calculi 程序设计结石

￥2,376 券后￥2,386 0人已购买
优惠券￥ 10  领券购买 
结石 Algorithimic 算法 Languages

海外直订Algorithimic Languages and Calculi 算法语言与结石

￥2,057 券后￥2,067 0人已购买
优惠券￥ 10  领券购买 
结石程序设计 Calculi Program

海外直订Program Design Calculi 程序设计结石

￥2,057 券后￥2,067 0人已购买
优惠券￥ 10  领券购买 
不确定性 Applications Fundamentals Uncertainty

海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算基础及其在模糊推理中的应用

￥1,540 券后￥1,550 0人已购买
优惠券￥ 10  领券购买 
扣除 Applications Foundations Deduction

海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础，第一

￥2,057 券后￥2,067 0人已购买
优惠券￥ 10  领券购买 
Calculi 并发 Concurrency Modelling

海外直订Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurre 并发理论：Calculi一种用

￥1,779 券后￥1,789 0人已购买
优惠券￥ 10  领券购买 
移动性演算 Computing Mobility

海外直订Mobility in Process Calculi and Natural Computing 过程演算与自然计算中的移动性

￥1,023 券后￥1,033 0人已购买
优惠券￥ 10  领券购买 
Lambda Domains Calculi 海外

海外直订Domains and Lambda-Calculi 域与Lambda计算

￥714 券后￥724 0人已购买
优惠券￥ 10  领券购买 
Theory 预售 Calculi Logical

【预售】Theory of Logical Calculi: Basic Theory of

￥3,500 券后￥3,650 0人已购买
优惠券￥ 150  领券购买 
预售 Applications Calculi Lambda

【预售】Typed Lambda Calculi and Applications: 7th

￥568 券后￥608 0人已购买
优惠券￥ 40  领券购买 
预售 Related Formali Calculi

【预售】Proof Theory: Sequent Calculi and Related Formali

￥1,437 券后￥1,507 0人已购买
优惠券￥ 70  领券购买 
预售 Applications Calculi Lambda

【预售】Typed Lambda Calculi and Applications: 6th

￥568 券后￥608 0人已购买
优惠券￥ 40  领券购买 
预售 Conversion Calculi Lambda

【预售】The Calculi of Lambda Conversion. (Am-6)

￥516 券后￥556 0人已购买
优惠券￥ 40  领券购买 
预售 Functional Existence Evolution

【预售】Existence Families, Functional Calculi and Evolution

￥507 券后￥547 0人已购买
优惠券￥ 40  领券购买 
预售 Applications Calculi Lambda

【预售】Typed Lambda Calculi and Applications: 10th

￥568 券后￥608 0人已购买
优惠券￥ 40  领券购买 
预售 Fundamentals Uncertainty Calculi

【预售】Fundamentals of Uncertainty Calculi with

￥1,755 券后￥1,825 0人已购买
优惠券￥ 70  领券购买 
预售 Functional Calculi

【预售】Functional Calculi

￥892 券后￥932 0人已购买
优惠券￥ 40  领券购买 
预售 Rewriting Calculi Lambda

【预售】Rewriting and Typed Lambda Calculi: Joint Inte...

￥568 券后￥608 0人已购买
优惠券￥ 40  领券购买 
预售 Observational Association Calculi

【预售】Observational Calculi and Association Rules

￥1,755 券后￥1,825 0人已购买
优惠券￥ 70  领券购买 
Semantics 预订 Calculi Logics

【预订】Semantics, Logics, and Calculi

￥568 券后￥608 0人已购买
优惠券￥ 40  领券购买 