软件开发的形式化方法 【工业技术】

形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...

谁在鱼肉中国股市 【经济】

本书对中国股市的过去、现在、未来作全方位分析。

谁在逼近我们 【文学】

本丛书是一部包含了12个单册的文学丛书。本册是一部散文集。

让孩子在玩中学 【文化科学教育体育】

我在深圳做保姆 【文学】

本书是散文集。讲述打工妹阿娇的故事。

野妹子 抗日烽火中的青春故事 【文学】

本书是一部抗战题材的少年冒险小说。

在地下 【文学】

本书为传记文学，年届九旬的老作家、老革命马识途，用他生动的笔触记录了他在白区从事地下工作近二十年的经历。其内容曲折、惊险，动人真实。...

老子故里在涡阳论证文选 【哲学宗教】

走在路上 【文学】

本书是王石行走世界各地的随笔，作者将做企业喻为行走，只有在不断行走中才能发现不同的需要风景，字里行间，蕴含深刻哲理。

中国外交官在非洲 【政治法律】