豆瓣图书标签: 计算理论

综合排序  /  按出版日期排序  /  按评价排序
  • 计算的本质 : 深入剖析程序和计算机

    [英] Tom Stuart / 张伟 / 人民邮电出版社 / 2014-11 / 69.00元
    8.7 (158人评价)

    《计算的本质:深入剖析程序和计算机》借助Ruby全面介绍计算理论和编程语言的设计。作者注重实用性,不仅尽量抛开复杂难懂的数学符号,而且特别选用简单快捷的编程...

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

    迈克尔·西普塞 (Michael Sipser) / 段磊、唐常杰、等 / 机械工业出版社 / 2015-8-1 / CNY 69.00
    9.1 (19人评价)

    《计算理论导引(原书第3版)》由计算理论领域的知名权威 Michael Sipser 所撰写。他以独特的视角,系统地介绍了计算理论的三个主要内容:自动机与语...

  • 计算理论导引 : 第2版

    [美]Michael Sipser / 唐常杰、陈鹏、向勇、刘齐宏 / 机械工业出版社 / 2006-7 / 36.00元
    9.3 (209人评价)

    本书是计算理论领域的经典著作,被国外多所大学选用为教材。本书以注重思路、深入引导为特色,系统地介绍计算理论的三大主要内容:自动机与语言、可计算性理论和计算复...

  • Understanding Computation : From Simple Machines to Impossible Programs

    Tom Stuart / O'Reilly Media / 2013-6-3 / USD 39.99
    9.1 (27人评价)

    Finally, you can learn computation theory and programming language design in a...

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

    John E. Hopcroft、Rajeev Motwani、Jeffrey D. Ullman / 机械工业 / 2007-9 / 59.00元
    9.2 (70人评价)

    本书是关于形式语言、自动机理论和计算复杂性方面的经典教材,是三位理论计算大师的巅峰之作,现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的...

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

    Charles Petzold / 杨卫东 / 人民邮电出版社 / 2012-11 / 69.00元
    8.8 (399人评价)

    图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型,本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论...

  • 谱方法的数值分析

    向新民 / 科学出版社 / 2000-04-01 / 21.0
    (少于10人评价)

    谱方法是70年代发展起来的一种数值求解偏微分方程的方法,它具有“无穷阶”收敛性,可采用快速算法,现已被广泛用于气象、物理、力学等诸多领域,成为继差分法和有限...

  • 永恒的图灵:20位科学家对图灵思想的解构与超越 : 20位科学家对图灵思想的解构与超越

    [美]S. 巴里·库珀(S. Barry Cooper) 安德鲁·霍奇斯 / 堵丁柱、高晓沨、徐秋亮、李廉、徐雯、吕再新、孙晓明、蔡志鹏 / 机械工业出版社 / 2018-4-1 / 119.00元
    (10人评价)
  • Matrix Analysis

    Roger A. Horn、Charles R. Johnson / Cambridge University Press / 1990-2-23 / GBP 35.99
    9.0 (19人评价)

    In this book the authors present classical and recent results for matrix analy...

  • 计算几何中的几何偏微分方程方法

    徐国良 / 2008-10 / 58.00元
    (少于10人评价)

    《计算几何中的几何偏微分方程方法》的主要内容包括几何偏微分方程的构造方法、各种微分几何算子的离散化方法及其离散格式的收敛性、几何偏微分方程数值求解的有限差分...

  • Introduction to Automata Theory, Languages, and Computation

    John E. Hopcroft、Rajeev Motwani、Jeffrey D. Ullman / Addison Wesley / 2006-7-15 / USD 151.00
    8.7 (33人评价)

    This classic book on formal languages, automata theory, and computational comp...

  • 形式语言与自动机理论 : 形式语言与自动机理论

    蒋宗杞 / 清华大学出版社 / 2012-7 / 29.00元
    7.1 (39人评价)

    《普通高等教育"十一五"国家级规划教材•21世纪大学本科计算机专业系列教材:形式语言与自动机理论(第2版)》是作者结合其20余年来在大学讲授该门课程的经验和...

  • 数理逻辑 : (英文版 · 第2版)

    (美)Herbert B. Enderton 著 / 人民邮电出版社 / 2006-01-01 / 39.00
    9.1 (42人评价)

    本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一...

  • 自动机理论语言和计算导论(第2版影印版)

    Rajeev Motwani、John E.Hopcroft、Jeffrey D.Ullman / 清华大学出版社 / 2002-6-1 / 47.00
    9.5 (28人评价)

    本书是一本有关自动机理论、形式语言和计算复杂性的经典著作,主要供研究生教学使用,适合作计算机科学相关专业高年级教学用书。

  • 算法分析导论

    (美)Robert Sedgewick、(法)Philippe Flajolet / 冯舜玺、李学武、裴伟东、等其他 / 机械工业出版社 / 2006-4 / 38.00元
    (13人评价)

    本书阐述了用于算法数学分析的主要方法,所涉及的材料来自经典数学课题,包括离散数学、初等实分析、组合数学,以及来自经典的计算机科学课题,包括算法和数据结构,本...

  • 代数特征值问题

    J.H.威尔金森 / 科学出版社 / 2006-12 / 45.00元
    9.0 (14人评价)

    《代数特征值问题》是一本计算数学名著。作者用摄动理论和向后误差分析方法系统地论述代数特征值问题以及有关的线性代数方程组、多项式零点的各种解法,并对方法的性质...

  • 计算理论基础

    Harry R. Lewis、Christos H. Papadimitriou / 清华大学出版社 / 2006-7 / 29.00元
    8.7 (39人评价)

    计算理论是计算机科学的理论基础。《计算理论基础》(第2版)介绍了计算理论最核心、最基本的内容,包括形式语言与自动机、可计算性和计算复杂性三大部分。全书共分七...

  • 计算理论基础

    Martin Davis、Ron Sigal、ELAINE J. WEYUKER / 人民邮电出版社 / 2009 / 79.00元
    9.1 (18人评价)

    本书是理论计算机科学领域的名作,是计算机科学核心主题的导论性教材。全书分为可计算性、文法与自动机、逻辑学、复杂性及语义学5个部分,分别讲述了可计算性理论、形...

  • Elements of the Theory of Computation

    Harry Lewis、Christos H. Papadimitriou / Prentice-Hall / 1997-8-17 / USD 174.20
    7.8 (13人评价)

    Appropriate for senior and graduate level courses in Computer Science Theory, ...

  • Computability and Unsolvability

    Martin Davis / Dover Publications / 1985-12-01 / USD 14.95
    (少于10人评价)

    Classic text considers general theory of computability, computable functions, ...

<前页 1 2 后页>

相关的标签  · · · · · ·



> 浏览全部图书标签