韩少云，奚海蛟，谌利编著2012 年出版295 页ISBN：9787512407794
本书第一章主要是Linux的相关知识；第二章是构建嵌入式Linux开发环境，本书的嵌入式环境是基于Linux的，移植平台是TQ2440开发板；第三章是Bootloader的移植，其中介绍了Bootloader相关知识，以及移植方法及要注意的事...
王家林，王家俊，王家虎著2013 年出版419 页ISBN：9787121207891
本书共分4篇，首先对Android开发的工具集及命令做了详细的介绍，其次对Android中的基础UI和高级UI开发的技巧进行了全面、透彻的讲解，接着对NDK的各个知识点进行了深入的剖析，并结合源码对其原理进行深入的分析。...
田立勤著2011 年出版158 页ISBN：9787512107014
本书共十章，第一章主要讲述云计算等新型网络及其对用户行为安全可信需求。第二章主要讲述用户行为信任评估中有关行为证据的预处理问题。第三章主要讲述单次用户行为信任的评估问题。第四章主要讲述长期用户...
于本海著2014 年出版152 页ISBN：9787030409379
本书从软件开发的工程过程和管理过程入手，系统地分析可信软件过程构建的复杂性，定义了可信软件过程；为有效地实施可信软件过程管理模型，建立基于可信原则的可信软件过程改进模型；为正确评价可信软件水平，分别构.....
王建军，汤春文，韩子东等编著2008 年出版300 页ISBN：9787030224675
本书全面系统地介绍了各类交通安全设施的设计内容、方法及应用状况，并对国内外交通安全设施领域新产品进行了详细的介绍。
崔梦天，赵翠新，王玉红著2016 年出版149 页ISBN：9787030493002
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化...
张卫祥，刘文红，吴欣编著2015 年出版226 页ISBN：9787302405351
将软件可信性与软件评估技术相结合，探讨全软件开发生存周期的软件可信性度量与评估方法，是撰写本书的目的。本书以全生存周期的软件可信性定量评估方法为主线，有取舍地介绍了软件工程、软件质量评估和软件可信...
