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