Terms search

4
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Paolo Mancosu, Sergio Galvan, Richard Zach
Year:
2021
Language:
english
File:
PDF, 3.00 MB
5.0 / 4.5
english, 2021
5
Propagation dynamics on complex networks : models, methods and stability analysis

Propagation dynamics on complex networks : models, methods and stability analysis

Chen, Guanrong, Fu, Xinchu, Small, Michael
Year:
2014
Language:
english
File:
PDF, 5.42 MB
0 / 0
english, 2014
6
Measurement Uncertainties: Error Propagation, Probabilistic Modelling, Statistical Methods

Measurement Uncertainties: Error Propagation, Probabilistic Modelling, Statistical Methods

Michael Krystek
Year:
2024
Language:
english
File:
PDF, 9.05 MB
0 / 5.0
english, 2024
7
微分流形与分析力学初步

微分流形与分析力学初步

埃格先生
Language:
chinese
File:
PDF, 4.90 MB
0 / 5.0
chinese
13
Data structures and algorithms made easy

Data structures and algorithms made easy

Narasimha Karumanchi
Year:
2011
Language:
english
File:
PDF, 24.82 MB
0 / 0
english, 2011
15
Интеллектуальный анализ данных

Интеллектуальный анализ данных

Сапрыкин О. Н.
Year:
2020
Language:
russian
File:
PDF, 1.68 MB
0 / 0
russian, 2020
19
Noise–Robust Sampling for Collaborative Metric Learning

Noise–Robust Sampling for Collaborative Metric Learning

Ryo Matsui, Suguru Yaginuma, Taketo Naito, Kazuhide Nakata
Year:
2022
Language:
english
File:
PDF, 1.83 MB
0 / 5.0
english, 2022