（美）Jason Andrews著；周立功等译2006 年出版178 页ISBN：7810777521
本书是一本硬件/软件协同验证技术相关信息的书。传统的潜入式系统设计已经发展成为单个芯片的设计。在这个SoC设计的时代，芯片现在已经把微处理器包含在内，而且，还要求软件在硬件装配好之前就能开发出来。本书...
（以）佩莱得著2012 年出版199 页ISBN：9787111365532
本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。紧紧围绕逻辑和自动机理论这条主线，书中比较了这些方法的不同之处，并讨论了它们...
张锡华，詹文英主编2012 年出版232 页ISBN：9787113140663
本书是为高等院校传统的“计算机基础”课程编写的旨在提高与深化的后续教材，也是高起点的“计算机基础”课程的新教材。全书基于案例实验为主线开展教学，通过一系列在网络环境下学习和实践的实验练习，把计算机...
（美）Douglas Schmidt等著；张志祥等译2003 年出版402 页ISBN：7111116860
本书主要讲述了面向模式的软件体系结构。
张幼廉编著2003 年出版286 页ISBN：7508415779
本书收集了电脑用户经常使用的经典软件的使用方法和技巧，并针对用户在软件使用过程中遇到的各种常见问题给出了解决方案。为了让电脑用户能更快的理解和掌握这些内容，本书采用了“提出问题、解决问题”的方式...
深圳市斯维尔科技有限公司编著2009 年出版195 页ISBN：9787112115877
本书包括项目管理基本知识、投标工具箱软件应用、运用投标工具箱软件编制一个完整招投标的工程实例教程三部分，随书光盘提供了可供读者实际操作的投标工具箱软件三个评估版，并收录了运用三个软件完成该工程招...
李晓波，周峰编著2012 年出版296 页ISBN：9787113135157
本书讲解三大流行炒股软件（同花顺、钱龙、大智慧）在炒股实战中的应用技术和技巧，具有很强的实用性与可操作性。全书共16章：第1～8章详细讲解同花顺炒股软件的下载、安装、登录、工作界面、盘口分析技巧、技术分析...
冷卫东，彭晓霞主审；曾宪涛，何明武主编；高卫，张薇，沈正海，李胜副主编；陈文，高卫，耿培亮等编；张超学术秘书2014 年出版249 页ISBN：9787516304686
诊断性试验在临床上应用广泛，可涉及病原学诊断、病因诊断、病理诊断、治疗效果评价指标、疾病预后判断指标等方面，临床医生需正确地选择和评价诊断性试验。本书介绍了诊断准确性试验相关知识和多种方法的应用...
杨小牛，楼才义，徐建良编著2010 年出版567 页ISBN：9787564029647
软件无线电作为无线电工程的现代方法，不仅在无线通信领域获得了广泛应用，在其他无线电工程领域也显示出广阔的应用背景。本书全面系统地介绍了无线电的基本概念、基本理论、实现技术、软件算法及其在无线电工...
