A Unifying Framework for Structured Analysis and Design Models:An Approach using Initial Algebra Sem
1991 年出版179 页ISBN：0521392962
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN：354022145X
Lecture Notes in Computer Science 4136 Relations and Kleene Algebra in Computer Science 9th Internat
RelMiCS/AKA 20062006 年出版433 页ISBN：3540378731
Nonlinear functional analysis in Banach spaces and Banach algebras: fixed point theory under weak to
Aref Jeribi ; Bilel Krichen2016 年出版356 页ISBN：1498733885
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY NUMBER 966 BANACH ALGEBRAS ON SEMIGROUPS AND ON THEIR C
2010 年出版165 页ISBN：9780821847756
周概容，萧慧敏，王艳丽编译2013 年出版519 页ISBN：9787560341453
本书主要是参照俄文版下列图书编译的：莫坚诺夫《初等数学专门化教程习题集》；莫坚诺夫、诺沃赛洛夫《投考高校数学参考书》；安东诺夫等《初等数学自学习题》；沙赫诺《高难度初等数学习题集》；列曼《莫斯科数学竞...
Lecture Notes in Computer Science 2900 CASL User Manual Introduction to Using the Common Algebraic S
2004 年出版240 页ISBN：354020766X
Principles of compilers: a new approach to compilers including the algebraic method = 编译原理: 包含代数方法的新
Yunlin Su ; Song Y. Yan2011 年出版454 页ISBN：7040305777
Numerical Linear Algebra and Its Applications=数值线性代数及其应用
金小庆 ; 魏益民2014 年出版188 页ISBN：7030139542
本书是为大学数学系信息与计算专业本科生编写的《数值代数》课英文版教材。全书共分九章，内容包括：引言；求解线性方程组的直接解法；扰动和误差分析；最小二乘问题；经典迭代法；Krylov子空间方法；非对称特征值问题......
Recent Advances in Algebraic Geometry: A Volume in Honor of Rob Lazarsfeld’s 60th Birthday
Christopher D. Hacon ; Mircea Mustata ; Mihnea Popa2015 年出版440 页ISBN：1107647558
