只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
形式语言与自动机导论 中文版 peter linz著
形式语言与自动机导论 中文版 peter linz著
上传者:
pathfinder2010
|
上传时间: 2019-12-21 20:26:01
|
文件大小: 12.14MB
|
文件类型: pdf
形式语言
自动机
机工出版社
中文版
本书精辟地阐述了计算课程的入门理论,简明地解释了复杂的思想并且提供了坚实的数学基础知识。作者提供了直观的证明,同时避免过多数学细节,这样学生就能够集中精力理解基本理论。许多精心选择的例子在几种上下文中重复出现,这样学生就能够通过对比式的研究加强理解。
文件下载
立即下载
评论信息
wlpscu1 :
很好,好的资源
2019-09-08
車輪の唄 :
不错, ,,,,,
2018-07-22
momo_2211 :
经典教材 难得有中文版
2016-02-02
c240011742 :
对于学习自动机入门很有帮助,很好的一本书
2015-10-03
m845989232 :
讲解很全面,是本好书,资源也比较清晰
2014-09-26
其他资源
企业员工管理系统(包含毕业论文)
基于视频的matlab光流法
基于C++和数据库SQL server开发的商品销售管理系统(含有源程序)
CIC-IDS-2017加拿大入侵检测数据集(.CSV)第一部分
mybatis-generator-config_1_0dtd网址已经链接不了,这里提供源文件
三维点云svd分解求取旋转矩阵
数据库课设 人事档案管理系统
捷联惯导matlab程序求解飞行器姿态
hadoop hbase 全jar包
data communications and networking 5e solution 英文答案
目标检测评价指标
基于JavaEE的多用户学生信息管理系统(MVC+JavaBean+servlet))
verilog交通灯控制
kernel-headers-2.6.32-220.13.1.el6.x86_64.rpm
boostdesc_bgm_hd.i
Medical-Data-Anonymization-DICOM-DCMTK.rar
DeviceSupport.zip
C#的一个B/S实例
windows 1.02 软盘镜像
SSH整合案例(个人博客)
ssh框架项目国家税务管理系统
Android USB摄像头源码
OpenGL实现的3D魔方
干扰对齐PPT
modern php
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
BP_PID控制仿真.rar
全国河流水文站坐标.xls
EEupdate_5.35.12.0 win10下修改intel网卡mac
大唐杯资料+题库(移动通信)
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
Alternative A2DP Driver 1.0.5.1 无限制版
王万良-人工智能导论(第五版)课件
ChinaMeteorologicalDataHandler.R
故障诊断数据集及实现代码
copula程序及算法.zip
pytorch实现RNN实验.rar
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
最新下载
GOCLOUD-K2P专用nat1升级包版5.0.18554.bin.zip
长安深蓝SL03 增程版 用户手册 使用说明书
SCAPS-1D太阳能电池仿真软件
戴尔(dell)服务器阵列卡型号为H310 和H710的 驱动
RNN循环神经网络PPT,涉及到LSTM,GRU、BRNN、BLSTM等等介绍,适合开会用,总共有50页,干货满满
3518-005_full_evb3561sv_w_65_m0-ota-20190117.zip
certbot-beta-installer-win32.exe
irb1600六自由度机器人运动学计算与simulink仿真源文件
《交互式定理证明与程序开发 Coq归纳构造演算的艺术》 高清 PDF
newgg.zip新佳佳中国象棋引擎最新版免费