Ràng buộc toàn vẹn trong cơ sở dữ liệu
Bài giảng ràng buộc toàn vẹn
Kiểm chứng tính hữu hiệu của thị trường cổ phiếu TP. Hồ Chí Minh dưới dạng yếu của giả thuyết thị trường hữu hiệu.pdf
Ứng dụng kỹ thuật PCR và lây nhiễm nhân tạo kiểm chứng gen kháng bệnh bạc lá ở các dòng đẳng gen
Lập trình ràng buộc với bài toán người chơi gôn
Kiểm chứng mô hình aspect-uml bằng alloy
đặc tả và kiểm chứng các phần mềm tương tranh
Kiểm chứng cơ chế bảo mật dựa trên ast
Kiểm chứng đặt tả uml cho tác tử phần mềm
Kiểm chứng mô hình phần mềm sử dụng nusmv