郑宇军，石海鹤，陈胜勇编著2012 年出版232 页ISBN：9787115274359
本书包括算法概述、基本数据结构、蛮力法、递归和分治法、动态规划法、贪心法、分支限界和回溯、变治法、NP完全理论、近似算法和参数化算法、现代优化算法。...
郑宇军，石海鹤，王卫红编著2014 年出版347 页ISBN：9787302360476
本书是关于C#语言程序设计的基础教科书，深入讲解了C#的语法和类型系统、面向对象程序设计（包括对象、接口、继承和多态性）、泛型程序设计（包括泛型类型、可空类型、泛型方法和匿名方法），以及商业应用开发的基础.....
石海鹤著2017 年出版147 页ISBN：9787030522139
本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...
石海鹤著2014 年出版82 页ISBN：9787549324231
本书包含引言、形式化软件开发方法概述、Apla->Java自动程序转换系统介绍、对原有系统的重构及改进、泛型机制在Apla->Java自动程序转换系统中的实现、结束语等章节。本书选取Java语言作为程序自动转换系统...
