NUMERICAL METHODS USING MATLAB FOURTH EDITION
JOHN H. MATHEWS KURTIS D. FINK2005 年出版680 页ISBN：7121014297
本书介绍了数值方法的理论及实用知识，并讲述了如何利用MATLAB软件实现各种数值算法，以便为读者今后的学习打下坚实的数值分析与科学计算基础。本书内容丰富翔实，教师可以根据不同的学习对象和学习目的选择相应...
培养中小学生的创造性 理论与实践 theory and practice
（美）Mervin D. Lynch，（美）Carole Ruth Harris主编；胡清芬，陈桄译2005 年出版259 页ISBN：7501950881
培养中小学生的创造性、拓展其创造力是摆在每位教师和教育工作者面前的一项复杂艰巨但又十分重要的任务。本书著者在这方面积累了丰富的经验，他们从理论和实践两个角度详细介绍了在中小学培养学生创造力的有...
Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN：
Lecture Notes in Computer Science 4231 Advances in Conceptual Modeling-Theory and Practice ER 2006 W
CoMoGIS COSSOIS 年出版0 页ISBN：SemWAT
Large scale inverse problems computational methods and applications in the earth sciences volume 13
Mike Cullen ; Melina A. Freitag ; Stefan Kindermann ; Robert Scheichl2013 年出版206 页ISBN：3110282221
MADEIN CANADA LEADERSHIP WISDOM FROM THE NATION'S BEST AND BRIGHTEST ON LEADERSHIP PRACTICE AND DEVE
JOSSEY-BASS2007 年出版365 页ISBN：9781118586051
计算机取证 实时可取证操作系统理论与实务 real - time forensics operating system theory and practice
丁丽萍著2006 年出版212 页ISBN：7501437661
本书分9章，包括计算机取证的相关研究、计算机取证的优化模型和多维过程模型、实时可取证操作系统的取证行为模型等。
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN：3540249362
