- 授权协议: LGPL
- 开发语言: C# .NET
- 操作系统: Windows
- 软件首页: https://gitee.com/loamen/Kalman.Studio
- 软件文档: http://www.cnblogs.com/lingyun_k/p/3143361.html
软件介绍
开发辅助工具,内置基于T4的代码生成器。
1、基于T4的代码生成工具,根据数据库元数据信息生成代码,支持多数据库,支持批量代码生成; 2、支持根据PowerDesigner物理模型文件来生成代码; 3、内置了一个简单的文本编辑器,支持代码高亮显示; 4、数据库元数据信息浏览工具; 5、数据库文档生成工具,支持输出word及pdf文件格式; 6、IIS日志解析器,小网站可以用用; 7、其他工具,字符串相关操作等。
码云:https://gitee.com/loamen/Kalman.Studio
可计算性和计算复杂性
朱一清 / 国防工业出版社 / 2006-4 / 18.0
本书深入浅出地介绍了研究可计算性的四个主要模型以及四个模型彼此之间的关系:介绍了计算复杂性的基本概念和重要的研究方法与一些研究成果。内容涉及递归函数、图灵机、λ演算、马尔可夫算法、计算复杂度的分类、NP完全理论、非一致复杂性等。分述于十章,书中附有习题。 本书可作为广大有志于突破计算复杂性研究僵局——“P=NP?”的科技工作者,计算机科学和元计算机科学工作者,数学和元数学工作者以及大......一起来看看 《可计算性和计算复杂性》 这本书的介绍吧!
