World debt tables 1991-92 external debt of developing countries; volume 1 analysis and summary table
1991 年出版194 页ISBN:082131971X
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
Geometric partial differential equation methods in computational geometry = 计算几何中的几何偏微分方程方法
Guoliang Xu ; Qin Zhang2013 年出版374 页ISBN:7030367648
HANDBOOK OF EXPERIMENTAL IMMUNOLOGY IN FOUR VOLUMES VOLUME 4:APPLICATIONS OF UMMUNOLOGICAL METHODS I
D.M.WEIR MD1986 年出版550 页ISBN:0632013818
CHINA'S WESTERN DEVELOPMENT:THE ROLE OF THE STATE IN HISTORICAL AND REGIONAL PERSPECTIVE
YUE-MAN YEUNG XIAOJIAN LI2222 年出版35 页ISBN:9624418101
Linux kernel development (Second Edition) = Linux内核设计与实现 (英文版·第2版)
Robert Love2006 年出版402 页ISBN:7111175751
本书内容涉及Linux 2.6内核,包含许多新特性,如O(1)调度程序、块I/0层、I/0调度程序等。本书提供Linux内核设计和实现的概述性信息,覆盖了从核心内核系统的应用到内核设计与实现等各方面内容,能够带领读者快速走进Li...