Loại tài liệu:    Chỉ tìm trong: 
201-207 trong số 207 kết quả
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
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: 
 
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European ...
Tác giả: Einar Broch Johnsen, Einar Broch Johnsen, Manuel Wimmer, Manuel Wimmer
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Technical Innovations & Patient Support in Radiation Oncology
Tác giả:
Xuất bản: Elsevier , 2018
Bộ sưu tập: Báo giấy
ddc: 
 
Xác nhận giá trị sử dụng xét nghiệm định lượng sDLDL theo hướng dẫn CLSI EP15-A3 = Verification of precision and estimation of bias of sDLDL quantification assay following CLSI
Tác giả: Thành Vinh Trần, Hà Khánh Linh Dương, Chí Thanh Nguyễn, Thị Anh Thư Phan
Xuất bản: Tạp chí Y học Việt Nam , 2024
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  616.075
 
Nghiên cứu ảnh hưởng suy giảm kết cấu bến cầu tàu đến tần số dao động tự nhiên khi ứng dụ...
Tác giả: Thị Bạch Dương Nguyễn
Xuất bản: Tạp chí Giao thông vận tải , 2024
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  620
 
Xác định tần số dao động tự nhiên phân đoạn bến cầu tàu tại khu vực Hải Phòng dùng cho phương ...
Tác giả: Thị Bạch Dương Nguyễn, Thành Đạt Phạm
Xuất bản: Tạp chí Giao thông vận tải , 2024
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  624
 
A Journey of Embedded and Cyber-Physical Systems : Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthd...
Tác giả: Jian-Jia Chen, Jian-Jia Chen
Xuất bản: Cham, Switzerland: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.22
 

Truy cập nhanh danh mục