游双著2013 年出版346 页ISBN：9787111425199
本书分为三篇：第一篇（第1～4章）介绍TCP/IP协议族及各种重要的网络协议。只有很好地理解了底层TCP/IP通信的过程，才能编写出高质量的网络应用程序，毕竟，坚实的基础设施造就稳固的上层建筑。第二篇（第5～15章）细致地......
（美）费希尔（Fisher，J.A.）等著2006 年出版671 页ISBN：7111197712
本书将技术深度和实践经验完美结合，清晰阐述了通用计算系统和嵌入式计算系统在硬件、软件、工具和操作系统层面上的不同，内容全面，实例丰富，非常适合实践工程师（芯片设计师和嵌入式系统设计师）和专业技术人员使.....
颉茂华，岳洪波，王春明主编；吕春红，李锋，陈关亭等副主编1998 年出版2106 页ISBN：7500537425
本书分三部分:第1部分
张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
