METHODS IN ENZYMOLOGY VOLUME 63 ENZYME KINETICS AND MECHANISM PART A INITIAL RATE AND INHIBITOR METH
DANIEL L.PURICH2222 年出版547 页ISBN：0121819639
COMPUTER METHODS FOR ORDINARY DIFFERENTIAL EQUATIONS AND DIFFERENTIAL-ALGEBRAIC EQUATIONS
URI M.ASCHER，LINDA R.PETZOLD著2009 年出版314 页ISBN：
Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
Computer organization and design the hardware/software interface = 计算机组成与设计硬件/软件接口（英文版·第3版）
John L. Hennessy ; David A. Patterson2006 年出版642 页ISBN：7111193393
本书采用MIPS处理器作为展示计算机硬件技术基本功能的核心，着眼于当前计算机设计中最基本的概念，展示了软硬件间的关系。书中逐条指令地列举了完整的MIPS指令集——汇编语言的核心、计算机算术运算、流水线、...
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775
Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN：3540304924
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
IFM 20072007 年出版660 页ISBN：9783540732099
