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

类型化 Lambda Applications 算法

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

￥589 券后￥639 0人已购买
优惠券￥ 50  领券购买 
原版中商丘奇阿隆

现货 Lambda 转换的演算 The Calculi of Lambda Conversion 英文原版阿隆佐丘奇 Alonzo Church 计算机之父【中商原版】

￥408 券后￥438 0人已购买
优惠券￥ 30  领券购买 
Lambda 结石 Calculi 海外

海外直订Lambda Calculi Lambda结石

￥739 券后￥789 0人已购买
优惠券￥ 50  领券购买 
理论 Theory 运算 Consequence

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

￥3,001 券后￥3,101 0人已购买
优惠券￥ 100  领券购买 
重写键入 International Conferences

海外直订Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlc 重写和键入Lambd

￥484 券后￥534 0人已购买
优惠券￥ 50  领券购买 
类型化 Lambda International Applications

海外直订Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, 类型化Lambda微

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
扣除 Applications Foundations Deduction

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

￥1,450 券后￥1,550 0人已购买
优惠券￥ 100  领券购买 
不确定性 Applications Fundamentals Uncertainty

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

￥1,450 券后￥1,550 0人已购买
优惠券￥ 100  领券购买 
功能性结石 Functional Calculi

海外直订Functional Calculi 功能性结石

￥844 券后￥894 0人已购买
优惠券￥ 50  领券购买 
类型化 Lambda International Applications

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

￥589 券后￥639 0人已购买
优惠券￥ 50  领券购买 
后继 Formalisms 证明形式

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

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

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

￥1,450 券后￥1,550 0人已购买
优惠券￥ 100  领券购买 
类型化 Lambda International Applications

海外直订Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 K 类型化Lambda结

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
几何 Engineering Geometric Patterns

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

￥1,549 券后￥1,649 0人已购买
优惠券￥ 100  领券购买 
英文 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,001 券后￥3,101 0人已购买
优惠券￥ 100  领券购买 
扣除 Applications Foundations Deduction

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

￥1,450 券后￥1,550 0人已购买
优惠券￥ 100  领券购买 
Lambda 类型化 Typed International

海外直订Typed Lambda Calculi and Applications: International Conference on Typed Lambda 类型化Lambda Calcu

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
类型化 Lambda Typed International

海外直订Typed Lambda Calculi and Applications: Second International Conference on Typed 类型化Lambda

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
Calculi 并发 Concurrency Modelling

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

￥1,689 券后￥1,789 0人已购买
优惠券￥ 100  领券购买 
Calculi 并发 Concurrency Modelling

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

￥1,450 券后￥1,550 0人已购买
优惠券￥ 100  领券购买 
移动性演算 Computing Mobility

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

￥933 券后￥1,033 0人已购买
优惠券￥ 100  领券购买 
结石程序设计 Calculi Program

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

￥1,967 券后￥2,067 0人已购买
优惠券￥ 100  领券购买 
Institutiones Integralis 积分 Calculi

海外直订Institutiones Calculi Integralis; Volume 4 机构积分法；卷4

￥466 券后￥496 0人已购买
优惠券￥ 30  领券购买 
显微结石 Microscopic Formation

海外直订The Microscopic Structure & Mode of Formation of Urinary Calculi 尿路结石的显微结构与形成模式

￥324 券后￥354 0人已购买
优惠券￥ 30  领券购买 
Institutiones Integralis 积分 Calculi

海外直订Institutiones Calculi Integralis; Volume 1 机构积分法；卷1

￥288 券后￥318 0人已购买
优惠券￥ 30  领券购买 
预售 Applications Calculi Lambda

【预售】Typed Lambda Calculi and Applications

￥498 券后￥608 0人已购买
优惠券￥ 110  领券购买 
预订 Calculi Lambda

【预订】Lambda Calculi

￥632 券后￥742 0人已购买
优惠券￥ 110  领券购买 
演化方程 Functional Equations

海外直订Existence Families, Functional Calculi and Evolution Equations 存在族、泛函计算与演化方程

￥525 券后￥575 0人已购买
优惠券￥ 50  领券购买 
Institutiones Integralis 预订 Calculi

【预订】Institutiones Calculi Integralis 2nd...

￥926 券后￥1,056 0人已购买
优惠券￥ 130  领券购买 
Applications 预订 Calculi Lambda

【预订】Typed Lambda Calculi and Applications

￥498 券后￥608 0人已购买
优惠券￥ 110  领券购买 
预售 Computing Mobility Natural

【预售】Mobility in Process Calculi and Natural Computing

￥1,087 券后￥1,217 0人已购买
优惠券￥ 130  领券购买 
预售 Functional Existence Evolution

【预售】Existence Families, Functional Calculi and Evolution

￥457 券后￥547 0人已购买
优惠券￥ 90  领券购买 
Applications 预订 Calculi Lambda

【预订】Typed Lambda Calculi and Applications

￥498 券后￥608 0人已购买
优惠券￥ 110  领券购买 
Applications 预订 Calculi Lambda

【预订】Typed Lambda Calculi and Applications

￥498 券后￥608 0人已购买
优惠券￥ 110  领券购买 
9783030744854 Engineering Geometric 预订

【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744854

￥1,768 券后￥2,068 0人已购买
优惠券￥ 300  领券购买 
Propositional Applications Introduction 预订

预订Sequents and Trees:An Introduction to the Theory and Applications of Propositional Sequent Calculi

￥788 券后￥888 0人已购买
优惠券￥ 100  领券购买 
Theory 9789401569446 Consequence Operations

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

￥4,395 券后￥4,695 0人已购买
优惠券￥ 300  领券购买 
Applications 预订 Calculi Lambda

【预订】Typed Lambda Calculi and Applications

￥470 券后￥560 0人已购买
优惠券￥ 90  领券购买 
预售 Conversion Calculi Lambda

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

￥493 券后￥583 0人已购买
优惠券￥ 90  领券购买 