券后 ¥1,110
¥1,190按需印刷FUNCTIONAL CALCULI[9789814415972]
已售0
优惠券
¥80
去领券
去看看券后 ¥848
¥888预订Sequents and Trees:An Introduction to the Theory and Applications of Propositional Sequent Calculi
已售0
优惠券
¥40
去领券
去看看券后 ¥214
¥224按需印刷An Introduction to Lambada Calculi for Computer Scientists[9780954300654]
已售0
优惠券
¥10
去领券
去看看券后 ¥538
¥608【预订】Typed Lambda Calculi and Applications
已售0
优惠券
¥70
去领券
去看看券后 ¥670
¥720海外直订Lambda Calculi Lambda结石
已售0
优惠券
¥50
去领券
去看看券后 ¥589
¥639海外直订Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, 类型化Lambda
已售0
优惠券
¥50
去领券
去看看券后 ¥1,715
¥1,825【预订】Unification of Fractional Calculi with Applications 9783030869199
已售0
优惠券
¥110
去领券
去看看券后 ¥620
¥700【预订】Lambda Calculi
已售0
优惠券
¥80
去领券
去看看券后 ¥408
¥438现货 Lambda 转换的演算 The Calculi of Lambda Conversion 英文原版 阿隆佐 丘奇 Alonzo Church 计算机之父【中商原版】
已售0
优惠券
¥30
去领券
去看看券后 ¥538
¥608【预订】Typed Lambda Calculi and Applications
已售0
优惠券
¥70
去领券
去看看券后 ¥1,450
¥1,550海外直订Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 不确定性计算的基本原理及其在模糊推
已售0
优惠券
¥100
去领券
去看看券后 ¥538
¥588海外直订Typed Lambda Calculi and Applications: 11th International Conference, Tlca 2013, 类型化Lambda结
已售0
优惠券
¥50
去领券
去看看券后 ¥3,001
¥3,101海外直订Theory of Logical Calculi: Basic Theory of Consequence Operations 逻辑计算理论:结果运算的基本理论
已售0
优惠券
¥100
去领券
去看看券后 ¥1,715
¥1,825【预订】Unification of Fractional Calculi with Applications 9783030869229
已售0
优惠券
¥110
去领券
去看看券后 ¥589
¥639海外直订Typed Lambda Calculi and Applications 类型化Lambda算法及其应用
已售0
优惠券
¥50
去领券
去看看券后 ¥470
¥520海外直订Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlc 重写和键入Lambd
已售0
优惠券
¥50
去领券
去看看券后 ¥190
¥220[预订]The Microscopic Structure & Mode of Formation of Urinary Calculi 9781021702517
已售0
优惠券
¥30
去领券
去看看券后 ¥538
¥608【预订】Typed Lambda Calculi and Applications
已售0
优惠券
¥70
去领券
去看看券后 ¥844
¥894海外直订Functional Calculi 功能性结石
已售0
优惠券
¥50
去领券
去看看券后 ¥1,450
¥1,550海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动扣除-应用的基础,第一
已售0
优惠券
¥100
去领券
去看看券后 ¥1,967
¥2,067海外直订Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an 自动演绎-应用基础第一卷基
已售0
优惠券
¥100
去领券
去看看券后 ¥503
¥553海外直订Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, 类型化Lambda微
已售0
优惠券
¥50
去领券
去看看券后 ¥1,848
¥2,068【预订】Systems, Patterns and Data Engineering with Geometric Calculi 9783030744854
已售0
优惠券
¥220
去领券
去看看券后 ¥503
¥553海外直订Typed Lambda Calculi and Applications: 7th International Conference, Tlca 2005, 打字Lambda Calcul
已售0
优惠券
¥50
去领券
去看看券后 ¥1,947
¥2,167【预售】Abstract General Algebraic Logic: Applications to sequent calculi
已售0
优惠券
¥220
去领券
去看看券后 ¥525
¥575海外直订Existence Families, Functional Calculi and Evolution Equations 存在族、泛函计算与演化方程
已售0
优惠券
¥50
去领券
去看看券后 ¥1,069
¥1,169海外直订Proof Theory: Sequent Calculi and Related Formalisms 证明论:后继计算及相关形式
已售0
优惠券
¥100
去领券
去看看券后 ¥147.9
¥174【预售 按需印刷】Considerationes Secundae Circa Calculi Differentialis Principia
已售0
优惠券
¥26.1
去领券
去看看¥1,703
¥1,703【4周达】Unification of Fractional Calculi with Applications [9783030869199]
已售0
去看看券后 ¥1,450
¥1,550海外直订Observational Calculi and Association Rules 观察性演算与关联规则
已售0
优惠券
¥100
去领券
去看看券后 ¥503
¥553海外直订Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, 打字Lambda Calcul
已售0
优惠券
¥50
去领券
去看看券后 ¥503
¥553海外直订Typed Lambda Calculi and Applications: Third International Conference on Typed L 类型化Lambda
已售0
优惠券
¥50
去领券
去看看¥1,404
¥1,404【4周达】Discrete Mathematics Its Applications: Proof Theory: Sequent Calculi and Related Formalisms [9781466564664]
已售0
去看看券后 ¥503
¥553海外直订Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 K 类型化Lambda结
已售0
优惠券
¥50
去领券
去看看¥1,467
¥1,467【4周达】Lectures on Mathematical Logic, Volume II: - Calculi for Derivations and Deductions [9789056992675]
已售0
去看看券后 ¥459.8
¥484现货 英文原版 Typed Lambda Calculi and Applications:5th International Conference, TLCA 2001 Kra 9783540419600
已售0
优惠券
¥24.2
去领券
去看看¥580
¥580【4周达】Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, S... [9783540403326]
已售0
去看看¥580
¥580【4周达】Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, ... [9783642216909]
已售0
去看看¥1,110
¥1,110【4周达】Mobility in Process Calculi and Natural Computing [9783642248665]
已售0
去看看¥600
¥600【4周达】Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan... [9783540255932]
已售0
去看看¥1,581
¥1,581【4周达】Observational Calculi and Association Rules [9783642445330]
已售0
去看看券后 ¥1,549
¥1,649海外直订Systems, Patterns and Data Engineering with Geometric Calculi 具有几何计算的系统、模式和数据工程
已售0
优惠券
¥100
去领券
去看看¥600
¥600【4周达】Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Br... [9783642022722]
已售0
去看看¥1,642
¥1,642【4周达】Institutiones Calculi Integralis 2nd Part: Adiecta Sunt Laurentii Mascheronii Adnotationes A... [9783764314118]
已售0
去看看¥709
¥709【4周达】Lambda Calculi: A Guide for Computer Scientists [9780198538400]
已售0
去看看¥600
¥600【4周达】Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi [9783764369095]
已售0
去看看¥600
¥600【4周达】Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, Franc... [9783540732273]
已售0
去看看¥533
¥533【4周达】Existence Families, Functional Calculi and Evolution Equations [9783540577034]
已售0
去看看¥3,164
¥3,164【4周达】Theory of Logical Calculi : Basic Theory of Consequence Operations [9789027727855]
已售0
去看看¥600
¥600【4周达】Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Polan... [9783540419600]
已售0
去看看