首页 登录/注册 编程语言 计算机基础 互联网 云计算&大数据 人工智能 设计 职场办公

注重体验与质量的电子书资源下载网站

logo
标签名: 计算理论
计算理论导论
出版日期: 2002-01

计算理论导论

评分: 9.5
Computability and Logic
出版日期: 2007-01

Computability and Logic

评分: 9.4
Computational Complexity: A Modern Approach
出版日期: 2009-01

Computational Complexity: A Modern Approach

评分: 9.4
计算理论导引: 第2版
出版日期: 2006-01

计算理论导引: 第2版

评分: 9.3
自动机理论、语言和计算导论(英文版.第3版)
出版日期: 2008-01

自动机理论、语言和计算导论(英文版.第3版)

评分: 9.2
计算理论基础
出版日期: 2009-01

计算理论基础

评分: 9.1
Understanding Computation: From Simple Machines to Impossible Programs
出版日期: 2013-01

Understanding Computation: From Simple Machines to Impossible Programs

评分: 9.1
图灵的秘密: 他的生平、思想及论文解读
出版日期: 2012-01

图灵的秘密: 他的生平、思想及论文解读

评分: 8.8
Computability: An Introduction to Recursive Function Theory
出版日期: 1980-01

Computability: An Introduction to Recursive Function Theory

评分: 8.8
语言与机器: 计算机科学理论导论
出版日期: 2008-01

语言与机器: 计算机科学理论导论

评分: 8.8
Introduction to Automata Theory, Languages, and Computation
出版日期: 2006-01

Introduction to Automata Theory, Languages, and Computation

评分: 8.7
计算的本质: 深入剖析程序和计算机
出版日期: 2014-01

计算的本质: 深入剖析程序和计算机

评分: 8.6
计算理论导引: 原书第3版
出版日期: 2015-01

计算理论导引: 原书第3版

评分: 8.6
自动机理论、语言和计算导论
出版日期: 2008-01

自动机理论、语言和计算导论

评分: 8.4
论可计算数: 图灵与现代计算的诞生
出版日期: 2016-01

论可计算数: 图灵与现代计算的诞生

评分: 8.3
算法分析导论
出版日期: 2006-01

算法分析导论

评分: 8.2
形式语言与自动机导论
出版日期: 2005-01

形式语言与自动机导论

评分: 8.0
信息论-本质·多样性·统一
出版日期: 2015-01

信息论-本质·多样性·统一

评分: 7.9
计算机科学基础: 从数据操纵到计算理论
出版日期: 2004-01

计算机科学基础: 从数据操纵到计算理论

评分: 7.4
Computability and Complexity: From a Programming Perspective
出版日期: 1997-01

Computability and Complexity: From a Programming Perspective

评分: 0.0
Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties
出版日期: 2003-01

Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties

评分: 0.0
Proofs and Algorithms: An Introduction to Logic and Computability
出版日期: 2011-01

Proofs and Algorithms: An Introduction to Logic and Computability

评分: 0.0
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
出版日期: 0000-01

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

评分: 0.0
可计算性与不可解性
出版日期: 0000-01

可计算性与不可解性

评分: 0.0