Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
Computer systems architecture a networking approach (Seond Edition)= 计算机系统结构 （英文版·第2版）
Rob Williams2007 年出版732 页ISBN：7111204174
本书介绍了计算机系统体系结构的基本概念及内容，包含了对ARMt Itanium处理器的扩展描述以及对数据通信领域的延伸介绍等最新内容，并以大量实例强调了完全理解通过硬件软件交互来使计算机达到最佳性能的重要性...
Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I
ISSS 20032004 年出版345 页ISBN：354023635X
NETWORK TOPOLOGY OPTIMIZATION The Art and Science of Network Design
2222 年出版349 页ISBN：0442238193
The Illustrated Network How TCP/IP Works in a Modern Network
Walter Goralski2017 年出版900 页ISBN：0128110270
The illustrated network : how TCP/IP works in a modern network
Walter Goralski2009 年出版797 页ISBN：0123745411
