Vietnam English Japanese
 Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
11-16 trong số 16 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ỏ
 
Designing Accreditation and Verification Systems
Tác giả:
Xuất bản: World Bank, Washington, DC , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.12
 Thêm vào giỏ
 
bào trên hệ thống QSight 210MD của Perkin Elmer=Verification of screening method for 6-plex lysosomal storage diseases using Perkin Elmer QSight 210MD system
Tác giả: Thị Tú Uyên Vũ, Thị Huệ Nguyễn, Thị Chi Mai Trần
Xuất bản: Tạp chí Nghiên cứu y học (Đại học Y Hà Nội , 2024
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Design and Control of Power Converters 2019
Tác giả: Manuel Arias Pérez de Azpeitia, Manuel Arias Pérez de Azpeitia
Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Leibniz Transactions on Embedded Systems
Tác giả:
Xuất bản: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik , 2015
Bộ sưu tập: Báo giấy
ddc: 
 Thêm vào giỏ
 
Trước 1 2

Truy cập nhanh danh mục

Media
Đồ á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ĩ
Sách tham khảo