Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 48 kết quả
Dualities in graphs and digraphs
Tác giả:
Xuất bản: Berlin: Universitatsverlag der Technischen Universitat Berlin, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Modern Cryptography Volume 1 : A Classical Introduction to Informational and Mathematical Principle
Tác giả: Zhiyong Zheng
Xuất bản: Singapore: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
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: 
 Thêm vào giỏ
 
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: 
 Thêm vào giỏ
 
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: 
 Thêm vào giỏ
 
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Tác giả: Alexander Nadel, Alexander Nadel, Kristin Yvonne Rozier, Kristin Yvonne Rozier
Xuất bản: : TU Wien Academic Press, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceed...
Tác giả: Brigitte Pientka, Brigitte Pientka, Cesare Tinelli, Cesare Tinelli
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
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: 
 Thêm vào giỏ
 
Spectral Geometry of Graphs
Tác giả:
Xuất bản: Berlin Heidelberg: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Trước 1 2 3 4 5 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media