邵秀丽，王孝喜编著2005 年出版346 页ISBN：7030146492
本书作为离散数学的基本教材，把握关键问题并通过精选的大量实例介绍了数理逻辑、集合论、图论、代数结构和布尔代数和、网络模型、组合数学的前沿课题。...
蒋焕孙主编；邵竹林，陶国芬，王珏编剧；邵竹林改编2009 年出版179 页ISBN：9787534255243
本书根据同名国产原创动画片改编出版。主要内容为我国古代具有突出成就的科学家的故事。表现了他们坚韧不拔、克己创新的科学精神。此书含有华佗等科学家的故事。...
邵秀丽，刘璟编1999 年出版228 页ISBN：7310013336
Windows2000将Windows9x与WindowsNT融为一体，本书介绍了Windows2000的安装、文件管理、磁盘管理、附件功能、控制面板、网络、通讯以及Internet漫游等各种操作具体步骤。...
刁成嘉，邵秀丽，马广慧，刁奕等编著2006 年出版311 页ISBN：7310025830
本书对软件工程的传统方法进行介绍，重点对国内外最新的软件工程方法进行讲解，包括第一章软件模型、二章统一建模语言UML，三章过程模型，第四、五章需求分析和文档，第六、七章软件项目管理和构件端口技术，第八章软....
