马艳芳著2017 年出版132 页ISBN：9787312041020
本书基于进程代数理论中的通信系统演算（CCS）模型对软件的近似正确性进行了形式化描述和度量。从接受和拒绝环境角度，以参数化互模拟和三分之二互模拟为基础，建立了参数化互模拟和三分之二互模拟的无限演化理论...
高凯，王俊社，仇晶编著2012 年出版279 页ISBN：9787118080155
本书内容包括Java与XML基础；Eclipse及插件的应用；Android简介；Android应用程序开发平台搭建；Android应用程序结构；Android中的资源；常用Android组件及编程；文件操作与数据存储；组件之间的信使Intent；Android Service...
Software testing principles and practice = 软件测试 原理与实践（英文版）
Stephen Brown ; Joe Timoney ; Tom Lysaght ; Deshi (叶德仕) Ye2012 年出版194 页ISBN：7111388630
张弛编著2006 年出版252 页ISBN：7030168593
本书4部分，包括：简谱乐理、电脑简谱制作软件、五线谱乐理、电脑五线谱制作软件等4个方面。
（美）施密特，（德）斯托尔，（德）罗纳特著2013 年出版416 页ISBN：9787115332141
本书这一卷是介绍构建面向对象联网与并发中间件的开山之作，揭开了构建中间件的神秘面纱。本书以4位大师的经验为导向，逻辑严密，仔细解释了常见的设计问题、驱动因素、成功的解决方案以及使用效果。本卷介绍的...
刘运林，陆吉明主编；吴学辉，冯传清，常光明副主编2013 年出版164 页ISBN：9787307119451
《土木工程计算机软件应用》共分6章，包括绪论、AutoCAD及其在土木工程中的应用、PKPM软件在土木工程中的应用、SATWE数据文件参数详解、JCCAD在土木工程中的应用；MIDAS Building软件在土木工程中的应用。本书...
孙晶，杨波主编；赵会群主审2015 年出版294 页ISBN：9787121273377
本书从软件测试的基本理论出发，围绕TTCN-3核心语言国际测试标准，并结合大量的实际测试案例，对软件测试的相关方法与技术进行了详细的介绍，使读者能够更贴近实际的去了解软件测试。全书共分为10章，主要内容包括：软...
张建宏主编；施莹，申情，邵斌副主编2015 年出版132 页ISBN：9787121275944
本书是《办公软件高级应用》教材的配套实验与习题指导书，以Office 2010为平台，选择了办公自动最常用的Word、Excel、PowerPoint三款软件，根据浙江省计算机二级办公软件高级应用考试大纲要点、全国计算机二级Ms...
杨文元编著2005 年出版275 页ISBN：756152384X
本书为高职高专计算机专业系列教材之一。全书分为四部分：第一部分是传统软件工程的基本知识；第二部分是面向对象内容，有面向对象的分析设计和实现、统一开发过程和统一建模语言UML以及用UML构建Web应用等内容；...
颜新宁编著；陈金伟，郭沃辉参编；杨晖，王猛，葛金印主审2010 年出版298 页ISBN：9787121097065
本书采用项目式教学法，从精选的多个实例出发，介绍Mastercam软件X2版的CAD/CAM应用技术，让初学者通过每一个实用的例子，掌握有关的绘图思路和方法，绘制2D/3D模型，进行加工工艺分析，编制加工刀具路径，进行后处理，产生C...
