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