Loại tài liệu:    Chỉ tìm trong: 
71-80 trong số 108 kết quả
A sequential esterification-ring closing metathesis-Nozaki-Hiyama-Kishi strategy for constructing a natural product-like...
Tác giả: Daniel Driedger, Darryl M Wilson, Robert Britton
Xuất bản: England: Chemical science , 2025
Bộ sưu tập: NCBI
ddc:  005.14
 
Consistent Specification Test of the Quantile Autoregression
Tác giả: Anthoulla Phella
Xuất bản: , 2020
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  005.14
 
Consistent specification testing under spatial dependence
Tác giả: Abhimanyu Gupta, Xi Qu
Xuất bản: , 2021
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  005.14
 
Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs
Tác giả: Christian Hammer
Xuất bản: Karlsruhe: KIT Scientific Publishing , 2009
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.14
 
Application of accelerated life testing in human reliability analysis
Tác giả: Rasoul Jamshidi, Mohammad Ebrahim Sadeghi
Xuất bản: , 2022
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  005.14
 
Testing Firm Conduct
Tác giả: Marco Duarte, Lorenzo Magnolfi, Mikkel Sølvsten, Christopher Sullivan
Xuất bản: , 2023
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  005.14
 
Kiểm thử nâng cao kiểm thử trong Scrum: hướng dẫn dành cho bảo đảm chất lượng phần mềm trong thế giới Agile = Testing in...
Tác giả: Tilo Linz
Xuất bản: Hà Nội: Đại học Quốc gia Hà Nội , 2021
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  005.14
 
Kiểm thử và đảm bảo chất lượng phần mềm
Tác giả: Dương Thành Phết, Nguyễn Đông Phương, Nguyễn Thị Thanh Trúc, Trịnh Công Nhựt
Xuất bản: TP. HCM: HUTECH , 2021
Bộ sưu tập: Sách giáo trình
Bản in + eBook (pdf)
ddc:  005.14
 
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Tác giả: Benjamin Weiß
Xuất bản: Karlsruhe: KIT Scientific Publishing , 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.14
 
Verification-based software-fault detection
Tác giả: Christoph David Gladisch
Xuất bản: Karlsruhe: KIT Scientific Publishing , 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.14
 

Truy cập nhanh danh mục