Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 56 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ỏ
 
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: SpringerVerlag, 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 HallCRC Press, 2003
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  515.3530285
 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ỏ
 
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ỏ
 
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ỏ
 
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: Hoboken New Jersey: IEEE Computer Society, 2007
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.32
 Thêm vào giỏ
 
A Validation and Code-to-Code Verification of FAST for a Megawatt-Scale Wind Turbine with Aeroelastically Tailored Blades [electronic resource]
Tác giả:
Xuất bản: Washington DC Oak Ridge Tenn: United States Dept of Energy Office of Energy Efficiency and Renewable Energy Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2017
Bộ sưu tập: Metadata
ddc:  621.531
 Thêm vào giỏ
 
Trước 1 2 3 4 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