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:

51-60 trong số 68 kết quả

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
	Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
	Xuất bản: Cham: Springer Nature , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc: Thêm vào giỏ

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ỏ

Bảng kiểm LEAP để đánh giá và báo cáo các đặc tính hiệu năng phân tích của các quy trình đo lườ...
	Tác giả: Tze Ping Loh, Brian R Cooke, Shun Ho Chung, Corey Markus, Elvar Theodorson, Ronda F Greaves, Rosita Zakaria, Chi Mai Tran Thi
	Xuất bản: Tạp chí Y học Việt Nam (Tổng hội Y học Việt Nam , 2024
	Bộ sưu tập: Metadata
	eBook (pdf) ddc: Thêm vào giỏ

Design and Control of Power Converters 2019
	Tác giả: Manuel Arias Pérez de Azpeitia, Manuel Arias Pé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ỏ

Verification of EPA's ''Preliminary Remediation Goals for radionuclides'' (PRG) electronic calculator [electronic resource]
	Tác giả:
	Xuất bản: Aiken, S.C. : Oak Ridge, Tenn: United States. Dept. of Energy. Savannah River Site ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2015
	Bộ sưu tập: Metadata
	ddc: 363.739 Thêm vào giỏ

Verhaltensentscheidung für automatisierte Fahrzeuge mittels Arbitrationsgraphen
	Tác giả:
	Xuất bản: KIT Scientific Publishing , 2024
	Bộ sưu tập: Tài liệu truy cập mở
	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, Tạp chí
	ddc: Thêm vào giỏ

Xác nhận giá trị sử dụng của phương pháp xét nghiệm NT-proBNP bằng phương pháp miễn dịch Vi hạt hóa phát quang = Confirming the method verification of the testing NT-proBNP
	Tác giả: Hồng Yến Diệp, Thành Vinh Trần
	Xuất bản: Tạp chí Khoa học Trường Đại học Quốc tế Hồng Bàng , 2024
	Bộ sưu tập: Metadata
	eBook (pdf) ddc: 616.07 Thêm vào giỏ

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: Thêm vào giỏ

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conference...
	Tác giả: Lujo Bauer, Ralf Küsters
	Xuất bản: Cham: Springer , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc: 005.8 Thêm vào giỏ

Trước 4 5 6 7 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