Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 20 kết quả
Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Tác giả: Shuvendu K Lahiri, Chao Wang
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Automated Technology for Verification and Analysis [electronic resource] : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
Tác giả: Dang Van Hung, Oleg Sokolsky
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Improving Data Quality for an Effective Social Registry in Indonesia
Tác giả:
Xuất bản: Washington, DC , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc:  336.59
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.24
 
Datenqualität in der medizinischen Forschung : Leitlinie zum adaptiven Management von Datenqualität in Kohortenstudien...
Tác giả: Michael Nonnemacher, Daniel Nasseh, Jürgen Stausberg
Xuất bản: Berlin: MWV Medizinisch Wissenschaftliche Verlagsgesellschaft , 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Enrollment and Eligibility Process of Brazil's Auxílio Emergencial
Tác giả:
Xuất bản: Washington, DC , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc:  016.98
 
Setting Targets in Health, Nutrition and Population Projects
Tác giả: Aneesa Arur
Xuất bản: World Bank, Washington, DC , 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc:  372.37
 
Software testing foundations : a study guide for the Certified Tester exam
Tác giả: Andreas Spillner, Tilo Linz, Hans Schaefer
Xuất bản: Santa Barbara, Calif: Rocky Nook , 2007
Bộ sưu tập: Công nghệ thông tin
eBook (chm)
ddc:  004
 
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
 
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European ...
Tác giả: Einar Broch Johnsen, Einar Broch Johnsen, Manuel Wimmer, Manuel Wimmer
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 

Truy cập nhanh danh mục