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: 
71-80 trong số 107 kết quả
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ỏ
 
Advances in network and distributed systems security : IFIP TC11 WG11.4 First Annual Working Conference on Network Secur...
Tác giả: Bart de Decker, Bart de Decker
Xuất bản: Boston: Kluwer Academic Publishers , 2002.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
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ỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference,...
Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: NCBI
ddc:  004.0151
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference,...
Tác giả: Armin Biere, David Parker
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ỏ
 
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: NCBI
ddc:  004.0151
 Thêm vào giỏ
 
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 , 2016
Bộ sưu tập: NCBI
ddc:  004.0151
 Thêm vào giỏ
 
Trước 6 7 8 9 10 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