Computability

达人签|手机版

排序：综合有券销量↓价格↑人气↓

价格：全部￥0 - 200 ￥200 - 500 ￥500以上

￥-

颜色：

按需印刷不退不换 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity

110 元券

￥1664; 0去看看
按需印刷不退不换 A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity

按需印刷不退不换Computability in Context[9781848162457]

110 元券

￥1531; 0去看看
按需印刷不退不换Computability in Context[9781848162457]

按需印刷不退不换Structure and Randomness in Computability and Set Theory[9789813228221]

110 元券

￥1495; 0去看看
按需印刷不退不换Structure and Randomness in Computability and Set Theory[9789813228221]

按需印刷不退不换Automata and Computability:A Programmer's Perspective[9781138552425]

110 元券

￥1467; 0去看看
按需印刷不退不换Automata and Computability:A Programmer's Perspective[9781138552425]

按需印刷不退不换Computability in Analysis and Physics[9781107168442]

110 元券

￥1086; 0去看看
按需印刷不退不换Computability in Analysis and Physics[9781107168442]

海外直订Handbook of Computability Theory 可计算性理论手册

50 元券

￥2437; 0去看看
海外直订Handbook of Computability Theory 可计算性理论手册

海外直订Computability and Randomness 可计算性与随机性

50 元券

￥2401; 0去看看
海外直订Computability and Randomness 可计算性与随机性

海外直订Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive 代数可计算性和枚举模型：递

50 元券

￥2090; 0去看看
海外直订Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive 代数可计算性和枚举模型：递

海外直订Higher-Order Computability 高阶可计算性

50 元券

￥2070; 0去看看
海外直订Higher-Order Computability 高阶可计算性

海外直订Computability Theory 可计算性理论

50 元券

￥2000; 0去看看
海外直订Computability Theory 可计算性理论

海外直订Computability in Context: Computation and Logic in the Real World 语境中的可计算性：现实世界中的计算与逻辑

50 元券

￥1885; 0去看看
海外直订Computability in Context: Computation and Logic in the Real World 语境中的可计算性：现实世界中的计算与逻辑

海外直订Computability, Forcing and Descriptive Set Theory 可计算性、强迫性与描述集合论

50 元券

￥1824; 0去看看
海外直订Computability, Forcing and Descriptive Set Theory 可计算性、强迫性与描述集合论

海外直订Higher-Order Computability 高阶可计算性

50 元券

￥1822; 0去看看
海外直订Higher-Order Computability 高阶可计算性

海外直订Computability in Analysis and Physics 分析和物理中的可计算性

50 元券

￥1799; 0去看看
海外直订Computability in Analysis and Physics 分析和物理中的可计算性

海外直订Computability and Logic 数理逻辑附练习题

50 元券

￥1789; 0去看看
海外直订Computability and Logic 数理逻辑附练习题

海外直订Martin Davis on Computability, Computational Logic, and Mathematical Foundations 马丁·戴维斯谈可计算性、计

50 元券

￥1555; 0去看看
海外直订Martin Davis on Computability, Computational Logic, and Mathematical Foundations 马丁·戴维斯谈可计算性、计

预售按需印刷 Automata and Computability

50 元券

￥970; 0去看看
预售按需印刷 Automata and Computability

预订 Programs as Diagrams: From Categorical Computability to Computable Categories 图表程序：从范畴可计算性到可计算范畴:

50 元券

￥608; 0去看看
预订 Programs as Diagrams: From Categorical Computability to Computable Categories 图表程序：从范畴可计算性到可计算范畴:

按需印刷不退不换Computability:Computable Functions, Logic, and the Foundations of Mathematics[9780981550725]

50 元券

￥450.3; 0去看看
按需印刷不退不换Computability:Computable Functions, Logic, and the Foundations of Mathematics[9780981550725]

海外直订Mathesis Universalis, Computability and Proof 通用数学，可计算性和证明

30 元券

￥1560; 0去看看
海外直订Mathesis Universalis, Computability and Proof 通用数学，可计算性和证明

海外直订Turing's Revolution: The Impact of His Ideas about Computability 图灵的革命：他的可计算性思想的影响

30 元券

￥1560; 0去看看
海外直订Turing's Revolution: The Impact of His Ideas about Computability 图灵的革命：他的可计算性思想的影响

海外直订Mathesis Universalis, Computability and Proof 通用数学，可计算性和证明

30 元券

￥1433; 0去看看
海外直订Mathesis Universalis, Computability and Proof 通用数学，可计算性和证明

海外直订Automata and Computability: A Programmer's Perspective 自动机和可计算性:一个程序员的视角

30 元券

￥1383; 0去看看
海外直订Automata and Computability: A Programmer's Perspective 自动机和可计算性:一个程序员的视角

Theory of Recursive Functions and Effective Computability 企鹅兰登

50 元券

￥326; 0去看看
Theory of Recursive Functions and Effective Computability 企鹅兰登

海外直订Computability in Combinatory Spaces: An Algebraic Generalization of Abstract Fir 组合空间中的可计算性:抽象

30 元券

￥1300; 0去看看
海外直订Computability in Combinatory Spaces: An Algebraic Generalization of Abstract Fir 组合空间中的可计算性:抽象

海外直订Combinatorics, Computability and Logic: Proceedings of the Third International C 组合数学、可计算性和逻辑：

30 元券

￥1295; 0去看看
海外直订Combinatorics, Computability and Logic: Proceedings of the Third International C 组合数学、可计算性和逻辑：

海外直订Logic and Theory of Algorithms: 4th Conference on Computability in Europe, Cie 2 逻辑与算法理论:第四届欧洲

30 元券

￥1295; 0去看看
海外直订Logic and Theory of Algorithms: 4th Conference on Computability in Europe, Cie 2 逻辑与算法理论:第四届欧洲

海外直订Computation and Logic in the Real World: Third Conference on Computability in Eu 真实世界中的计算和逻辑：第

30 元券

￥1295; 0去看看
海外直订Computation and Logic in the Real World: Third Conference on Computability in Eu 真实世界中的计算和逻辑：第

海外直订Logical Approaches to Computational Barriers: Second Conference on Computability 计算障碍的逻辑方法:第二届

30 元券

￥1295; 0去看看
海外直订Logical Approaches to Computational Barriers: Second Conference on Computability 计算障碍的逻辑方法:第二届

海外直订New Computational Paradigms: First Conference on Computability in Europe, Cie 20 新计算范式：第一届欧洲可计

30 元券

￥1295; 0去看看
海外直订New Computational Paradigms: First Conference on Computability in Europe, Cie 20 新计算范式：第一届欧洲可计

海外直订Martin Davis on Computability, Computational Logic, and Mathematical Foundations 马丁·戴维斯谈可计算性、计

30 元券

￥1295; 0去看看
海外直订Martin Davis on Computability, Computational Logic, and Mathematical Foundations 马丁·戴维斯谈可计算性、计

海外直订Computability Theory and Foundations of Mathematics - Proceedings of the 9th Int 可计算理论与数学基础:第9届

30 元券

￥1253; 0去看看
海外直订Computability Theory and Foundations of Mathematics - Proceedings of the 9th Int 可计算理论与数学基础:第9届

海外直订Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive 代数可计算性和枚举模型:递

30 元券

￥1231; 0去看看
海外直订Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive 代数可计算性和枚举模型:递

海外直订Foundations of Computability Theory 可计算性理论基础

30 元券

￥1203; 0去看看
海外直订Foundations of Computability Theory 可计算性理论基础

海外直订Computability, Complexity, and Languages: Fundamentals of Theoretical Computer S

30 元券

￥1156; 0去看看
海外直订Computability, Complexity, and Languages: Fundamentals of Theoretical Computer S

海外直订Computability 可计算性

30 元券

￥1080; 0去看看
海外直订Computability 可计算性

海外直订Programs as Diagrams: From Categorical Computability to Computable Categories 程序图:从范畴可计算到范畴可计

30 元券

￥1074; 0去看看
海外直订Programs as Diagrams: From Categorical Computability to Computable Categories 程序图:从范畴可计算到范畴可计

海外直订Turing's Revolution: The Impact of His Ideas about Computability 图灵的革命：他的可计算性思想的影响

30 元券

￥1026; 0去看看
海外直订Turing's Revolution: The Impact of His Ideas about Computability 图灵的革命：他的可计算性思想的影响

海外直订Computability: A Mathematical Sketchbook 可计算性：数学画册

30 元券

￥1018; 0去看看
海外直订Computability: A Mathematical Sketchbook 可计算性：数学画册

海外直订Computability and Complexity Theory 可计算性与复杂性理论

30 元券

￥973; 0去看看
海外直订Computability and Complexity Theory 可计算性与复杂性理论

海外直订Computability and Complexity Theory 可计算性与复杂性理论

30 元券

￥973; 0去看看
海外直订Computability and Complexity Theory 可计算性与复杂性理论

海外直订Automata and Computability 自动机与可计算性

30 元券

￥951; 0去看看
海外直订Automata and Computability 自动机与可计算性

海外直订Computability: An Introduction to Recursive Function Theory 可计算性:递归函数理论导论

30 元券

￥841; 0去看看
海外直订Computability: An Introduction to Recursive Function Theory 可计算性:递归函数理论导论

海外直订Theory of Recursive Functions and Effective Computability 递归函数理论与有效可计算性

30 元券

￥820; 0去看看
海外直订Theory of Recursive Functions and Effective Computability 递归函数理论与有效可计算性

海外直订Models and Computability 模型与可计算性

30 元券

￥810; 0去看看
海外直订Models and Computability 模型与可计算性

海外直订The Foundations of Computability Theory 可计算理论的基础

30 元券

￥772; 0去看看
海外直订The Foundations of Computability Theory 可计算理论的基础

海外直订Computability 可计算性

30 元券

￥771; 0去看看
海外直订Computability 可计算性

【预售按需印刷】递归函数理论与有效可计算性 Theory of Recursive Functions and Effective Computability 进口英文正版书籍

35 元券

￥515; 0去看看
【预售按需印刷】递归函数理论与有效可计算性 Theory of Recursive Functions and Effective Computability 进口英文正版书籍

海外直订Computability: A Mathematical Sketchbook 可计算性：数学速写本

30 元券

￥767; 0去看看
海外直订Computability: A Mathematical Sketchbook 可计算性：数学速写本

海外直订Computability, Enumerability, Unsolvability 可计算性、可枚举性、不可解性

30 元券

￥749; 0去看看
海外直订Computability, Enumerability, Unsolvability 可计算性、可枚举性、不可解性

海外直订Computability and Complexity: Foundations and Tools for Pursuing Scientific Appl Computabil

30 元券

￥710; 0去看看
海外直订Computability and Complexity: Foundations and Tools for Pursuing Scientific Appl Computabil

海外直订Revolutions and Revelations in Computability: 18th Conference on Computability i 可计算性的革命和启示:第18届

30 元券

￥705; 0去看看
海外直订Revolutions and Revelations in Computability: 18th Conference on Computability i 可计算性的革命和启示:第18届

海外直订Turing Computability: Theory and Applications 图灵可计算性：理论与应用

30 元券

￥701; 0去看看
海外直订Turing Computability: Theory and Applications 图灵可计算性：理论与应用

海外直订Theories of Computability 可计算性理论

30 元券

￥689; 0去看看
海外直订Theories of Computability 可计算性理论

海外直订Automata and Computability 自动机和可计算性

30 元券

￥669; 0去看看
海外直订Automata and Computability 自动机和可计算性

海外直订Computability: Computable Functions, Logic, and the Foundations of Mathematics 可计算性：可计算函数、逻辑和

30 元券

￥649; 0去看看
海外直订Computability: Computable Functions, Logic, and the Foundations of Mathematics 可计算性：可计算函数、逻辑和

海外直订Models of Computation in Context: 7th Conference on Computability in Europe, Cie 上下文中的计算模型:第7届欧

30 元券

￥632; 0去看看
海外直订Models of Computation in Context: 7th Conference on Computability in Europe, Cie 上下文中的计算模型:第7届欧

海外直订Computing with Foresight and Industry: 15th Conference on Computability in Europ 具有远见和行业的计算：第15

30 元券

￥632; 0去看看
海外直订Computing with Foresight and Industry: 15th Conference on Computability in Europ 具有远见和行业的计算：第15

海外直订Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasi 可计算性与复杂性：罗德尼·G

30 元券

￥632; 0去看看
海外直订Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasi 可计算性与复杂性：罗德尼·G

海外直订Pursuit of the Universal: 12th Conference on Computability in Europe, Cie 2016, 追求普适性：第12届欧洲可计

30 元券

￥632; 0去看看
海外直订Pursuit of the Universal: 12th Conference on Computability in Europe, Cie 2016, 追求普适性：第12届欧洲可计

首页 1 2 3 4 >末页