Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 41 kết quả
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Tác giả: Jasmin Blanchette, Jasmin Blanchette, Laura Kovács, Laura Kovács, Dirk Pattinson, Dirk Pattinson
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Computational Science - ICCS 2022 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III
Tác giả: Derek Groen, de Mulatier Clélia, de Mulatier Clélia, Jack J Dongarra, Jack J Dongarra, Derek Groen, Valeria V Krzhizhanovskaya, Valeria V Krzhizhanovskaya, Maciej Paszynski, Maciej Paszynski, Peter M A Sloot, Peter M A Sloot
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Cze...
Tác giả: Revantha Ramanayake, Revantha Ramanayake, Josef Urban, Josef Urban
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023,...
Tác giả: Uli Sattler, Uli Sattler, Martin Suda, Martin Suda
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python 3.6
Tác giả: Svein Linge, Hans Petter Langtangen
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Chapter 1 Introduction
Tác giả:
Xuất bản: Lodon New York: Taylor Francis, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  418.020285
 
The Everyday Life of an Algorithm
Tác giả: Daniel Neyland
Xuất bản: Cham: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Chapter Bibliography
Tác giả:
Xuất bản: London New York: Taylor Francis, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  418.020285
 
Controlled Document Authoring in a Machine Translation Age
Tác giả: Rei Miyata
Xuất bản: London New York: Taylor Francis, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  418.020285
 
Chapter preface
Tác giả:
Xuất bản: London New York: Taylor Francis, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  418.020285
 

Truy cập nhanh danh mục