Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN:3540291059
NUMERICAL LINEAR ALGEBRA AND ITS APPLICATIONS
Xiao-qing Jin and Yi-min Wei著2004 年出版186 页ISBN:7030139542
本书是为大学数学系信息与计算专业本科生编写的《数值代数》课英文版教材。全书共分九章,内容包括:引言;求解线性方程组的直接解法;扰动和误差分析;最小二乘问题;经典迭代法;Krylov子空间方法;非对称特征值问题......
RENEWABLE ENERGY RESOURCES AND RURAL APPLICATIONS IN THE DEVELOPING WORLD AAAS SELECTED SYMPOSIUM 6
NORMAN L.BROWN1978 年出版168 页ISBN:0891584331
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN: