当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0221秒)
为您推荐: 基于环境承载力的环渤海经济活动影响监测与调控技术研究 地理信息系统的理论与实践 研究生培养模式创新的理论与实践研究 贵州省环境预测与对策研究课题组 基于3s和4d的城市规划设计集成技术研究 中国科学院管理 决策与信息系统开放研究实验室
-
-
-
-
-
-
可计算性与计算复杂性导引
张立昂编著1996 年出版299 页ISBN:7301032293本书是学习理论计算机科学基础的教材和参考书,内容包括三部分:可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性,函数、谓词和语言的可计算性等基本概念,形式语言及其对应的自动机...
-
-
-
-
