Thư viện Đại học Công nghệ Tp.HCM

Đăng nhập

0

Loại tài liệu: Chỉ tìm trong:

Tìm được 12 kết quả

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering
	Tác giả:
	Xuất bản: Institute for System Programming of the Russian Academy of Sciences (ISPRAS , 2015
	Bộ sưu tập: Báo, Tạp chí
	ddc: Thêm vào giỏ

Verification techniques for system-level design [electronic resource]
	Tác giả: Masahiro Fujita, Indradeep Ghosh, Mukul Prasad
	Xuất bản: Amsterdam ; Boston: Morgan Kaufmann Publishers , 2008
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc: 621.3815 Thêm vào giỏ

Offshore Code Comparison Collaboration, Continuation [electronic resource] : Phase II Results of a Floating Semisubmersible Wind System Preprint
	Tác giả:
	Xuất bản: Golden, Colo. : Oak Ridge, Tenn: National Renewable Energy Laboratory (U.S.) ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2013
	Bộ sưu tập: Metadata
	ddc: 621.47 Thêm vào giỏ

FAST Code Verification of Scaling Laws for DeepCwind Floating Wind System Tests [electronic resource] : Preprint
	Tác giả:
	Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Dept. of Energy. Office of Energy Efficiency and Renewable Energy ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2012
	Bộ sưu tập: Metadata
	ddc: 333.912 Thêm vào giỏ

Xác nhận giá trị sử dụng của hệ thống kháng nấm đồ tự động tại Bệnh viện Nguyễn Tri Phương = Verification of the automated antifungal susceptibility testing system
	Tác giả: Minh Hà Nguyễn, Thu Hương Đặng, Thu Hương Đặng, Minh Hà Nguyễn, Quang Huy Nguyễn Quang Huy Nguyễn
	Xuất bản: Tạp chí Y học Việt Nam , 2024
	Bộ sưu tập: Metadata
	eBook (pdf) ddc: 610.28 Thêm vào giỏ

Thiết kế và xác minh an toàn cho hệ thống liên khóa máy tính trong đường sắt=Design and safety verification of computer interlocking system in railways
	Tác giả: Duy Việt Nguyễn
	Xuất bản: Tạp chí Khoa học Giao thông vận tải , 2025
	Bộ sưu tập: Metadata
	eBook (pdf) 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ỏ

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ỏ

bào trên hệ thống QSight 210MD của Perkin Elmer=Verification of screening method for 6-plex lysosomal storage diseases using Perkin Elmer QSight 210MD system
	Tác giả: Thị Tú Uyên Vũ, Thị Huệ Nguyễn, Thị Chi Mai Trần
	Xuất bản: Tạp chí Nghiên cứu y học (Đại học Y Hà Nội , 2024
	Bộ sưu tập: Metadata
	eBook (pdf) ddc: Thêm vào giỏ

1 2 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

Thư viện - Đại học Công nghệ Tp.HCM - HUTECH
(028) 36225755 | tt.thuvien@hutech.edu.vn
Copyright @2025 Thư viện HUTECH