Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
301-307 trong số 307 kết quả
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
Xuất bản: Vienna: TU Wien Academic Press, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
Xuất bản: Vienna: TU Wien Academic Press, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Solving PDEs in Python [electronic resource] : The FEniCS Tutorial I
Tác giả: Hans Petter Langtangen, Anders Logg
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Mathematical methods in quantum mechanics : with applications to Schrödinger operators
Tác giả: Gerald Teschl
Xuất bản: : ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  530.120151
 Thêm vào giỏ
 
Le calcul numérique en finance empirique et quantitative : Ingénierie financière et Excel (Visual Basic), 2e édition
Tác giả: François-Éric Racicot, Raymond Theoret
Xuất bản: SainteFoy Que: Presses de lUniversite du Quebec, 2004
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
AI Knowledge Transfer from the University to Society : Applications in High-Impact Sectors
Tác giả: José Guadix Martín, Milica Lilic, Milica Lilic, José Guadix Martín, Marina Rosales Martínez, Marina Rosales Martínez
Xuất bản: Boca Raton FL Abingdon Oxon: Taylor Francis, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Reality mining : using big data to engineer a better world
Tác giả: Nathan Eagle, Kate Greene
Xuất bản: Cambridge Massachusetts: MIT Press, 2014
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.312
 Thêm vào giỏ
 
Trước 29 30 31

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