Đă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ố 45 kết quả
Nền tảng toán học trong công nghệ thông tin : Sách chuyên khảo
Tác giả: Nguyễn Minh Quân, Nguyễn Thị Thanh Sang, Nguyễn Văn Sinh, Trần Mạnh Hà
Xuất bản: TP HCM: Đại học Quốc gia Thành phố Hồ Chí Minh, 2018
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  004.0151
 Thêm vào giỏ
 
Programming for Computations - Python: A Gentle Introduction to Numerical Simulations with Python
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.0151
 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ỏ
 
The Amazing Journey of Reason [electronic resource] : from DNA to Artificial Intelligence
Tác giả: Mario Alemi
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Formal methods for industrial critical systems : a survey of applications
Tác giả: Stefania Gnesi, Tiziana Margaria-Steffen
Xuất bản: Hoboken New Jersey: John Wiley and Sons Incorporated, 2012
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 29th International Conference,...
Tác giả: Sriram Sankaranarayanan, Natasha Sharygina
Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures [electronic resource] : 26th International Conference, FoSSaC...
Tác giả: Orna Kupferman, Pawel Sobocinski
Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 29th International Conference,...
Tác giả: Sriram Sankaranarayanan, Natasha Sharygina
Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference,...
Tác giả: Dana Fisman, Grigore Rosu
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Optimization techniques for solving complex problems
Tác giả: Enrique Alba
Xuất bản: Hoboken New Jersey: Wiley, 2009
Bộ sưu tập: Tài liệu truy cập mở
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