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: 
 
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: 
 
Bảng kiểm LEAP để đánh giá và báo cáo các đặc tính hiệu năng phân tích của các quy trình đo lườ...
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: Tạp chí Y học Việt Nam (Tổng hội Y học Việt Nam , 2024
Bộ sưu tập: Metadata
eBook (pdf)
ddc: 
 
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: 
 
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
 
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: 
 
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: 
 
Xác nhận giá trị sử dụng của phương pháp xét nghiệm NT-proBNP bằng phương pháp miễn dịch Vi hạt hóa phát quang = Confirming the method verification of the testing NT-proBNP
Tác giả: Hồng Yến Diệp, Thành Vinh Trần
Xuất bản: Tạp chí Khoa học Trường Đại học Quốc tế Hồng Bàng , 2024
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  616.07
 
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: 
 
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
 

Truy cập nhanh danh mục