百度移动用户体验部（简称百度MUX）自2009年成立以来，汇聚了一批有梦想、执着专注的年轻设计师，我们见证...
2017.1
本书基于进程代数理论中的通信系统演算（CCS）模型对软件的近似正确性进行了形式化描述和度量。从接受和拒...
2016.11
为了适应应用型人才培养，强化学生工程实践能力培养，提高人才培养质量，满足软件技术类及相关课程的教学所...
2017.1
Facebook的开源框架React.js，基于Virtual DOM重新定义了用户界面的开发方式，彻底革新了大家对前端框架的...
2016.11
本教材从网络安全基本概念出发，讲述SOCKET编程，网络安全编程基础、基于网络安全开发包（CryptoAPI,OpenSS...
2016.
本课程用一个贯穿全书的例子：李明所在的公司接到一个软件外包项目，而李明在项目组中担任用户界面设计，由...
2016.
函数式编程可以说是非常古老的编程范式，但是近年来函数式编程却越来越受到关注。新的函数式编程语言也越来...
2016.10
软件详细设计细化了高层的体系结构设计，将软件结构中的主要部件划分为能独立编码、编译和测试的软件单元，...
2016.8
本书是为“程序设计(C)”课程编写的习题指导用书。全书以中国石油大学计算机基础教学平台——知码开门为基础，...
2016.8
本书以大量实例的形式，以C#语言为基础，以C#语言程序设计和数据结构相结合的计算机专业基础课程。严格按照...
2016.8