Linux kernel development (Second Edition) = Linux内核设计与实现 (英文版·第2版)
Robert Love2006 年出版402 页ISBN：7111175751
本书内容涉及Linux 2.6内核，包含许多新特性，如O（1）调度程序、块I／0层、I／0调度程序等。本书提供Linux内核设计和实现的概述性信息，覆盖了从核心内核系统的应用到内核设计与实现等各方面内容，能够带领读者快速走进Li...
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
ANALYTICAL METHODS OF PROTEIN CHEMISTRY VOLUME 2 THE COMPOSITION，STRUCTURE AND REACTIVITY OF PROTEI
P.ALEXANDER R.J.BLOCK2222 年出版518 页ISBN：
ADVANCES IN SCIENCE AND TECHNOLOGY IN THE USSR CATALYST SURFACE: PHYSICAL METHODS OF STUDYING
1990 年出版375 页ISBN：0849375320
TEST METHODS FOR DEFINITION OF EFFECTS OF TOXIC SUBSTANCES ON BEHAVIOR AND NEUROMOTOR FUNCTION
1979 年出版225 页ISBN：0916086022
Methods of Enzymatic Analysis Third Edition Volume Ⅴ Enzymes 3：Peptidases，Proteinases and Their Inhi
2222 年出版598 页ISBN：0895732351
METHODS IN ENZYMOLOGY VOLUME 132 IMMUNOCHEMICAL TECHNIQUES PART J PHAGOCYTOSIS AND CELL-MEDIATED
GIOVANNI DI SABATO JOHANNES EVERSE2222 年出版717 页ISBN：0121820327
REPORT OF THE EXPERT WORKSHOP ON GREENHOUSE GAS EMISSIONS STRATEGIES AND METHODS IN SEAFOOD
2012 年出版117 页ISBN：9251073511
