古天龙著2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
唐英章主编2004 年出版212 页ISBN：7506636352
本书包括减肥类保健食品及其技术分析、降血脂类保健食品及其技术分析、降血糖类保健食品及其技术分析、抗疲劳类保健食品及其技术分析、植物雌激素类保健食品及其技术分析、蜂产品素类保健食品及其技术分析...
本书编写组编著2005 年出版169 页ISBN：7010048177
本书为胡锦涛同志《在新时期保持共产党员先进性专题报告会上的讲话》学习读本。
朱自清原著；张健主编；张健，谷海慧撰稿2005 年出版224 页ISBN：7806736670
本书为“青少年图书馆丛书”〈修订版〉之一。这是一套名家视角丛书。由21世纪中国著名学府和研究机构的专家学者解读20世纪中国经典名著。
（日）星新一著；郭富光，于雷主编1999 年出版396 页ISBN：7531320754
人间社会没有信任，以至靠肩上的鹦鹉饶舌；有感情的电视机，一旦线路失灵，则在该哭时哈哈大笑，可笑时却号啕大哭；一名广播员信口讲了几句揭露官员贪赃的真话，人们却惧之如虎，连老婆也避而不见，因为人人有私，怕......
（日）中谷彰宏著；王艳华译2005 年出版168 页ISBN：7801703774
本书从一个非常新颖的角度论述了遭人白眼的意义，讲述了正确的遭人白眼的方法，说明了遭人白眼的人将改变这个时代，遭人白眼的人会成功，并将实现自己的梦想。...
纪建悦，韩广智著2003 年出版232 页ISBN：780147905X
本书从组织管理的角度对组织的执行力进行了阐述。组织实现组织目标的能力称为执行力。
周宇辰，刘昕鹏，王夕宁等编著2010 年出版328 页ISBN：9787121098932
面向服务的计算（Service Oriented Computing,SOC）是当前工业界与学术界备受关注的主题。面向服务计算其重点之一就是以标准的方式支持系统的开放性，进而使相关技术与系统具有长久的生命力。本书较为全面、系统...
优图生活编著2010 年出版262 页ISBN：9787807538592
蔬菜和水果可以提供人体所需的各种维生素和矿物质，而果蔬汁更是一种能随时补充营养的草本乳汁。本书全面介绍了各种功能不同的果蔬汁的营养价值及其制作、保存和饮用的方法，带领读者走进五彩缤纷的果蔬汁世界...
郑杰著2010 年出版214 页ISBN：9787501974382
本书是一位教育实践者的思索，他在教育中行走，并体味其中的千滋百味。全书共划分了六个讨论领域，包括《关于我》《关于教师》《关于校长》《关于学校》《关于教育》《关于常识》，每一板块下围绕基础教育提出了若...
