软件测试

《软件测试》(原书第2版)全面地介绍了软件测试的基础知识和方法。通过问题、图表和案例研究，对软件测试数学问题和技术进行了深入的研究，并在例子中以更加通用的伪代码取代了过时的Pascal代码，从而使内容独立于具

从规范出发的程序设计

本书详细论述了有关规范程序设计的内容，包括：程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等，最后几章还包含了大量的实例研究和一些更高级的程序设计技术。本书提倡一种严格的程序开发方法，分析问题

现代体系结构的优化编译器

现代体系结构的优化编译器，ISBN：9787111141228，作者：（美）Randy Allen，（美）Ken Kennedy著；张兆庆等译；张兆庆译

高级用例建模(卷1) (平装)

Oricle8i Web开发指南

本书用实际通用的策略，阐明了怎样

Intel系列微处理器体系结构、编程与接口

本书是讲述Intel微处理器的国外经典教材，已经多次再版，经过长期教学使用，吐故纳新，不断完善，内容丰富，体系完整。第6版中包含了微处理器领域的最新技术发展，涵盖了Pentium 4的内容。本书结合实例讲解工作原理

学习bash

bash是自由软件基金会发布的“Bourne Again Shell”的缩写。它是流行的UNIX Bourne shell的免费可用替代产品，供全球Linux用户选用。《学习bash》正是bash的权威指南。 无论你是对bash的用户界面感兴趣，还是对其强大

Linux集群体系结构

本书对Linux集群体系结构的硬件环境组建与其软件开发作了深入细致的介绍。通过阅读本书，可以对Linux集群体系结构有深入的认识，掌握并了解如何设计和构造集群计算机。本书使你了解到开发项目可能遇到的问题，并掌握

可编程序控制器

可编程序控制器（PLC）是本世纪60年代发展起来的被国外称为 “先进国家三大支柱”之首的工业自动化理想控制装置，现已广泛应用于 自动化的各个领域。本书以日本松下电工FP1系列PLC 为例，系统地介 绍了PLC的结构、工作

中级刨、插工技术

本书是根据《职业技鉴定规范（考核大纲）》中级蚀、插工的知识要求和技能要求编写的。主要内容包括：刨插床夹具，强力刨削与特种材料的刨削，薄形工件和镶条、斜齿条、摇臂钻床工作台、卧式镗床工作台、龙门刨床工作

MFC技术内幕

利用MFC开发Ｗindows程序

价值投资

本书向投资人展示了如何使用被私人公司管理层投资人所广泛应用的评估技术，它完全取代了那种分析公司时过度关注价格的本末倒置的方法。由马丁J.怀特曼这样的资深投资家写出的这本书，给风险和挑战并存的投资业提供了

铸铁质量及其控制技术

前路未卜(美国总统布什的历史秘辛)

前路未卜：美国总统布什的历史秘辛，ISBN：9787111115281，作者：（美）法兰克·布鲁尼（Frank Bruni）著；高飞译；高飞译

圆锥破碎机

本书主要介绍国内外圆锥破碎机的构造原理与性能、结 构分析比较、细碎机发展评述；圆锥破碎机参数计算、运动 学与动力学、破碎腔设计、主要零件设计计算、破碎机润滑； 圆锥破碎机的使用与维修等内容。 本书可供从事