Principles of compilers: a new approach to compilers including the algebraic method = 编译原理: 包含代数方法的新
Yunlin Su ; Song Y. Yan2011 年出版454 页ISBN:7040305777
A history of the theory of elasticity and of the strength of materials Volume1: From Galilei to Sain
Isaac Todhunter ; Karl Pearson2014 年出版926 页ISBN:1108070423
Applications of symmetry methods to partial differential equations Volume 168 = 对称方法在偏微分方程中的应用
George W. Bluman ; Alexei F. Cheviakov ; Stephen C. Anco2015 年出版398 页ISBN:7510086267
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X
AN INTRODUCTION TO SUPPORT VECTOR MACHINES AND OTHER KERNEL-BASED LEARNING METHODS
[美]NELLO CRISTIANINI [英]JOHN SHAWE-TAYLOR著2005 年出版189 页ISBN:7111167899
支持向量机(Support Vector Machine, SVM)是建立在统计学理论最新进展基础上的新一代学习系统。本书是第一本全面介绍支持向量机的著作。支持向量机是在20世纪90年代初提出的,随之引发了对这种技术的广泛应用...
The Method of Oreer Reduction and Its Application to the Numerical Solutions of Partial Differential
Zhizhong Sun2222 年出版415 页ISBN:9787030245465
本书系统地介绍了BCI-代数的基础理论,阐述了自BCI-代数问世以来国内外尤其是国内学者的主要研究成果。全书共分六章,其内容分别是BCI-代数的一般理论,交换BCK-代数,正关联和关联BCK-代数,具有条件(S)的BCI-代数,正...