Vietnam English Japanese
 Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
61-70 trong số 138 kết quả
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint...
Tác giả: Amal Ahmed
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: 
 Thêm vào giỏ
 
Security verification framework for NDN access control
Tác giả: Yuan Fei, Jiaqi Yin, Lijun Yan
Xuất bản: England: Scientific reports , 2025
Bộ sưu tập: NCBI
ddc:  346.0666
 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ỏ
 
Guidance for the Verification and Validation of Neural Networks
Tác giả: Laura L Pullum, Majorie A Darrah, Brian J Taylor
Xuất bản: New Jersey: Wiley, John & Sons, Incorporated , 2007
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  006.32
 Thêm vào giỏ
 
Verification and Validation for Quality of UML 2.0 Models
Tác giả: Bhuvan Unhelkar
Xuất bản: New Jersey: John Wiley & Sons, Inc , 2005
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  005.14
 Thêm vào giỏ
 
Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers [electronic resource]
Tác giả: Martin Leucker
Xuất bản: Berlin: Springer-Verlag , 2008
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Verification of computer codes in computational science and engineering
Tác giả: Patrick M Knupp, Kambiz Salari
Xuất bản: Boca Raton, Fla: Chapman & Hall/CRC Press , 2003
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  515.3530285
 Thêm vào giỏ
 
Discharge order verification process to reduce prescription errors and optimize diabetes management
Tác giả: Marissa Cavaretta, Rabya Mirza, Joseph T Finn, Timothy Trumbower, Josephine Luong
Xuất bản: United States: Journal of the American Pharmacists Association : JAPhA , 2025
Bộ sưu tập: NCBI
ddc:  005.52
 Thêm vào giỏ
 
Probabilistic Maneuver Recognition in Traffic Scenarios
Tác giả: Jonas Firl
Xuất bản: Karlsruhe: KIT Scientific Publishing , 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  620
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Trước 5 6 7 8 9 Tiếp

Truy cập nhanh danh mục

Media
Đồ á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ĩ
Sách tham khảo