101
几何定理机器证明的基本原理

几何定理机器证明的基本原理

吴文俊
سال:
1984
زبان:
chinese
فائل:
PDF, 7.57 MB
0 / 0
chinese, 1984
102
Computational Mathematics and Applications

Computational Mathematics and Applications

Dia Zeidan, Seshadev Padhi, Aliaa Burqan, Peer Ueberholz
سال:
2021
زبان:
english
فائل:
PDF, 5.82 MB
0 / 0
english, 2021
103
离散数学（第五版）

离散数学（第五版）

耿素云, 屈婉玲, 张立昂
سال:
2013
زبان:
chinese
فائل:
PDF, 58.89 MB
5.0 / 5.0
chinese, 2013
104
Finite Element Modeling for Stress Analysis

Finite Element Modeling for Stress Analysis

Cook R.D.
سال:
1995
زبان:
english
فائل:
PDF, 38.94 MB
0 / 0
english, 1995
105
Finite Element Based Fatigue Calculations

Finite Element Based Fatigue Calculations

Bishop & Sherratt
سال:
2000
زبان:
english
فائل:
PDF, 5.37 MB
0 / 0
english, 2000
106
Automata and Computability

Automata and Computability

Dexter C. Kozen
سال:
2012
زبان:
english
فائل:
PDF, 23.56 MB
0 / 0
english, 2012
107
Mathématiques pour l’informatique

Mathématiques pour l’informatique

Xavier Chanet, Patrick Vert
سال:
2015
زبان:
french
فائل:
PDF, 9.50 MB
2.0 / 4.0
french, 2015
108
Making Sense of Data through Statistics: An Introduction

Making Sense of Data through Statistics: An Introduction

Dorit Nevo
سال:
2017
زبان:
english
فائل:
PDF, 10.76 MB
0 / 0
english, 2017
109
Computational Mathematics

Computational Mathematics

Dimitrios Mitsotakis
سال:
2023
زبان:
english
فائل:
PDF, 3.45 MB
5.0 / 5.0
english, 2023
110
Principles of Multiscale Modeling

Principles of Multiscale Modeling

Weinan E
سال:
2011
زبان:
english
فائل:
PDF, 9.03 MB
0 / 0
english, 2011
111
Theory of Automata Formal Languages and Computation

Theory of Automata Formal Languages and Computation

S.P. Eugene Xavier
سال:
2008
زبان:
english
فائل:
PDF, 2.24 MB
5.0 / 0
english, 2008
112
Eigenvalues of Matrices: Revised Edition

Eigenvalues of Matrices: Revised Edition

Chatelin F.
زبان:
english
فائل:
PDF, 23.78 MB
0 / 0
english
113
From Computer to Brain. Foundations of Computational Neuroscience

From Computer to Brain. Foundations of Computational Neuroscience

W. Lytton
سال:
2002
زبان:
english
فائل:
PDF, 5.99 MB
0 / 0
english, 2002
114
Numerical recipes in Fortran 77 and 90, source code version 2.10a

Numerical recipes in Fortran 77 and 90, source code version 2.10a

Press W.H., Teukolsky S.A., Vetterling W.T., Flannery B.P.
زبان:
english
فائل:
RAR, 839 KB
0 / 0
english
115
Statistical Modeling Theory: Variable Types & Design Matrices

Statistical Modeling Theory: Variable Types & Design Matrices

Christopher Panaretos
سال:
2024
زبان:
english
فائل:
PDF, 7.17 MB
0 / 0
english, 2024
116
数值分析（扫描增强版）

数值分析（扫描增强版）

李庆扬，王能超，易大义
سال:
2024
زبان:
chinese
فائل:
PDF, 42.74 MB
5.0 / 5.0
chinese, 2024
117
Matrix computations

Matrix computations

Gene H. Golub, Charles F. Van Loan
سال:
1996
زبان:
english
فائل:
DJVU, 5.42 MB
0 / 0
english, 1996
118
Numerical Analysis of Spectral Methods - Theory and Applications

Numerical Analysis of Spectral Methods - Theory and Applications

David Gottlieb, Steven A. Orszag
سال:
1977
زبان:
english
فائل:
PDF, 12.80 MB
0 / 0
english, 1977
119
Numerical recipes in C (program disc only)

Numerical recipes in C (program disc only)

Press W.H., Teukolsky S.A., Vetterling W.T., Flannery B.P.
زبان:
english
فائل:
RAR, 365 KB
0 / 0
english
120
Cambridge Senior Mathematics VCE: Mathematical Methods VCE Units 3 & 4

Cambridge Senior Mathematics VCE: Mathematical Methods VCE Units 3 & 4

Michael Evans, Kay Lipson, David Greenwood
سال:
2023
زبان:
english
فائل:
PDF, 103.06 MB
0 / 5.0
english, 2023
121
Evolutionary computation: advanced algorithms and operators

Evolutionary computation: advanced algorithms and operators

Thomas Baeck, D.B Fogel, Z Michalewicz
سال:
2000
زبان:
english
فائل:
DJVU, 3.20 MB
0 / 0
english, 2000
122
Advanced Machine Learning Algorithms for Complex Financial Applications

Advanced Machine Learning Algorithms for Complex Financial Applications

Irfan Mohammad
سال:
2023
زبان:
english
فائل:
EPUB, 12.86 MB
0 / 5.0
english, 2023
123
A First Guide to Computational Modelling in Physics

A First Guide to Computational Modelling in Physics

Paweł Scharoch
سال:
2024
زبان:
english
فائل:
PDF, 10.71 MB
5.0 / 5.0
english, 2024
124
Numerical Modelling in Geomechanics

Numerical Modelling in Geomechanics

Manuel Pastor, Claudio Tamagnini
سال:
2004
زبان:
english
فائل:
DJVU, 3.98 MB
0 / 0
english, 2004
125
Introduction to finite element methods

Introduction to finite element methods

Felippa C.A.
سال:
2001
زبان:
english
فائل:
PDF, 3.10 MB
0 / 0
english, 2001
126
Mathematical Foundation of Computer Science

Mathematical Foundation of Computer Science

Singh
سال:
2005
زبان:
english
فائل:
PDF, 2.58 MB
0 / 0
english, 2005
127
Numerical Linear Algebra with Julia

Numerical Linear Algebra with Julia

Eric Darve and Mary Wootters
سال:
2021
زبان:
english
فائل:
PDF, 21.09 MB
0 / 0
english, 2021
128
同伦方法纵横谈

同伦方法纵横谈

王则柯
سال:
2011
زبان:
chinese
فائل:
PDF, 8.53 MB
0 / 0
chinese, 2011
129
Introductory Methods of Numerical Analysis

Introductory Methods of Numerical Analysis

S. S. Shastry
سال:
2012
زبان:
english
فائل:
PDF, 9.99 MB
0 / 4.0
english, 2012
130
Calculation of special functions: gamma function, exponential integrals, error-like functions

Calculation of special functions: gamma function, exponential integrals, error-like functions

van der Laan C.G., Temme N.M.
سال:
1986
زبان:
english
فائل:
DJVU, 2.10 MB
5.0 / 0
english, 1986
131
Gagan Pratap SSC Advance Maths Chapter Wise(18-27) 8000+ TCS - MCQ (Till September 2022)

Gagan Pratap SSC Advance Maths Chapter Wise(18-27) 8000+ TCS - MCQ (Till September 2022)

Gagan Pratap
سال:
2022
زبان:
english
فائل:
PDF, 148.92 MB
5.0 / 2.0
english, 2022
132
Mathematical Principles for Scientific Computing and Visualization

Mathematical Principles for Scientific Computing and Visualization

Gerald Farin, Dianne Hansford
سال:
2008
زبان:
english
فائل:
PDF, 7.36 MB
0 / 0
english, 2008
133
Finite elements in plasticity: theory and practice

Finite elements in plasticity: theory and practice

D. R. J., E. Hinton Owen
سال:
1980
زبان:
english
فائل:
PDF, 16.93 MB
0 / 0
english, 1980
134
Advanced Mathematics

Advanced Mathematics

C. B. Gupta
سال:
2009
زبان:
english
فائل:
PDF, 2.97 MB
0 / 0
english, 2009
135
Numerical Methods in Engineering with Python. (CODE)

Numerical Methods in Engineering with Python. (CODE)

Jaan Kiusalaas
سال:
2005
زبان:
english
فائل:
ZIP, 52 KB
0 / 0
english, 2005
136
Aspectos Teóricos da Computação

Aspectos Teóricos da Computação

Cláudio L. Lucchesi, Imre Simon, Istvan Simon, Janos Simon, Tomasz Kowaltowski.
زبان:
portuguese
فائل:
PDF, 23.23 MB
0 / 0
portuguese
137
数学奥林匹克命题人讲座-组合几何

数学奥林匹克命题人讲座-组合几何

田延彦
سال:
2010
زبان:
chinese
فائل:
PDF, 11.61 MB
5.0 / 3.0
chinese, 2010
138
Análisis numérico

Análisis numérico

Richard L. Burden, Annette M. Burden, Douglas J. Faires
سال:
2017
زبان:
spanish
فائل:
PDF, 13.76 MB
0 / 0
spanish, 2017
139
Coding the matrix. Linear algebra through computer science applications

Coding the matrix. Linear algebra through computer science applications

Klein P.N.
سال:
2013
زبان:
english
فائل:
PDF, 6.96 MB
0 / 0
english, 2013
140
Mathematics for machine learning

Mathematics for machine learning

Deisenroth M.P
سال:
2019
زبان:
english
فائل:
PDF, 3.28 MB
5.0 / 0
english, 2019
141
数值计算方法（第二版）

数值计算方法（第二版）

黄云清, 舒适, 陈艳萍, 杨银, 魏华祎
سال:
2022
زبان:
chinese
فائل:
PDF, 2.95 MB
0 / 5.0
chinese, 2022
142
Computational physics

Computational physics

Hjorth-Jensen M.
سال:
2003
زبان:
english
فائل:
PDF, 1.85 MB
0 / 0
english, 2003
143
Introduction a l'analyse numerique. Travaux pratique

Introduction a l'analyse numerique. Travaux pratique

Hairer E.
سال:
2001
زبان:
french
فائل:
DJVU, 1.37 MB
0 / 0
french, 2001
144
Statistical Modeling Theory: Variable Types & Design Matrices

Statistical Modeling Theory: Variable Types & Design Matrices

Christopher Panaretos
سال:
2024
زبان:
english
فائل:
PDF, 7.17 MB
0 / 3.0
english, 2024
145
The Everything Everyday Math Book: From Tipping to Taxes, All the Real-World, Everyday Math Skills You Need

The Everything Everyday Math Book: From Tipping to Taxes, All the Real-World, Everyday Math Skills You Need

Christopher Monahan
سال:
2014
زبان:
english
فائل:
EPUB, 2.44 MB
0 / 0
english, 2014
146
Computational Aerodynamics

Computational Aerodynamics

Antony Jameson
سال:
2022
زبان:
english
فائل:
PDF, 22.38 MB
0 / 4.5
english, 2022
147
Fortran examples for the book Numerical methods and software

Fortran examples for the book Numerical methods and software

Kahaner D., Moler C., Nash S.
سال:
1989
زبان:
english
فائل:
ZIP, 338 KB
0 / 0
english, 1989
148
An Introduction to Numerical Analysis

An Introduction to Numerical Analysis

Suli, Mayers
سال:
2003
زبان:
english
فائل:
PDF, 9.72 MB
4.0 / 4.0
english, 2003
149
SOLUTIONS MANUAL for An Introduction to The Finite Element Method (Third Edition)

SOLUTIONS MANUAL for An Introduction to The Finite Element Method (Third Edition)

J. N. REDDY
زبان:
english
فائل:
PDF, 3.18 MB
0 / 0
english
150
Elements of Discrete Mathematics

Elements of Discrete Mathematics

C. L. Liu
سال:
1985
زبان:
english
فائل:
PDF, 27.91 MB
0 / 3.5
english, 1985