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: 
91-98 trong số 98 kết quả
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as P...
Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
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ỏ
 
Data-Driven Fault Detection and Reasoning for Industrial Monitoring
Tác giả: Jing Wang, Xiaolu Chen, Jinglin Zhou
Xuất bản: Singapore: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
The Ethics of National Security Intelligence Institutions Theory and Applications
Tác giả:
Xuất bản: Taylor & Francis , 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
to directly develop students’ mathematical reasoning through solving algebra problem complex in Math 10
Tác giả: Văn Khang Nguyễn, Hoàng Mai Lê
Xuất bản: Tạp chí Khoa học Đại học Đồng Tháp , 2024
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  370
 Thêm vào giỏ
 
Risk and Responsibility in Context
Tác giả: Adriana Placani, Stearns Broadhead, Stearns Broadhead, Adriana Placani
Xuất bản: Taylor & Francis , 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Artificial Superintelligence: Coordination & Strategy
Tác giả: Roman Yampolskiy, Allison Duettmann
Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Trước 8 9 10

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