阎少宏，冯立超，李丽红编著2016 年出版299 页ISBN：9787302448389
本课程面向数学类专业低年级研究生和高年级本科生，以各种数学理论为基本出发点，把数学知识、数学思维与软件设计、软件编程有机结合，重点介绍MATLAB、R语言、LINGO等各种数学类软件的使用方法和典型数学问题的...
（美）Sarwar，（美）Al-Saqabi著；英宇，姚锋译2004 年出版254 页ISBN：7302074046
本书内容分为二部分，第一部分是有效地使用LINUX和UNIX，第二部分是LINUX/UNIX平台上的程序开发。
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
可信软件基础研究项目组编2018 年出版94 页ISBN：9787308188715
本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控...
张朝昆，施丽娜编著2005 年出版310 页ISBN：7115137358
本书介绍了使用VB开发Access和SQL Server数据库应用程序所必备的知识。
蔡娥，许跃敏编著2008 年出版304 页ISBN：9787308062053
本书主要面向工科类学生从事工程应用软件方面开发工作所应具备的计算机技术知识，包括数据结构，C，C++，数据库，软件开发技术（结构化开发技术，面向对象开发技术），并附许多工程应用实例。...
冯萍，朱明，孙庆芸等编著2011 年出版224 页ISBN：9787121136214
本教材是西工大公共基础精品课《软件技术》的主教材，在原西工大优秀教材《计算机软件技术及应用基础》（清华出版）的基础上修订而成。本教材是大学计算机基础和程序设计课程的深化和拓展，教材介绍了计算机软件开...
杨宪立，苏静等编著2007 年出版380 页ISBN：7302145474
本书介绍Office2003办公软件中各组件的应用。
左向荣，郝斌，刘群主编；黄利红，左国才，曾琴，杨爱武，危孟君副主编；符开耀，王雷主审2016 年出版336 页ISBN：9787561249987
本书通过具体企业项目真实案例以试题的形式，以Java、C#两种语言为基础，介绍了桌面应用程序的各种形式下的开发。本书先介绍了Java、C#两种语言的基础知识，然后介绍了其开发和应用。本书可作为高校教材，也可供有...
