Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
51-60 trong số 69 kết quả
Programming for Computations - Python [electronic resource] : A Gentle Introduction to Numerical Simulations with Python...
Tác giả: Svein Linge, Hans Petter Langtangen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Programming for Computations - MATLAB/Octave [electronic resource] : A Gentle Introduction to Numerical Simulations wit...
Tác giả: Svein Linge, Hans Petter Langtangen
Xuất bản: Cham: Springer Nature, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Manifold Learning Model Reduction in Engineering
Tác giả:
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federat...
Tác giả: Hana Chockler, Georg Weissenbacher
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics,...
Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 Thêm vào giỏ
 
Entity-Oriented Search
Tác giả: Krisztian Balog
Xuất bản: Cham: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  025.04
 Thêm vào giỏ
 
Bayes Factors for Forensic Decision Analyses with R
Tác giả: Silvia Bozza, Alex Biedermann, Franco Taroni
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ỏ
 
Control Systems and Computers
Tác giả:
Xuất bản: : International Research and Training Center for Information Technologies and Systems of NASU and MESU, 2020
Bộ sưu tập: Báo-Tạp chí
ddc: 
 Thêm vào giỏ
 
A Circular Built Environment in the Digital Age
Tác giả:
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Par...
Tác giả: Alexandra Silva, K Rustan M Leino, K Rustan M Leino, Alexandra Silva
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Trước 4 5 6 7 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