- TÌM KIẾM -
TÀI LIỆU SỐ HÓA
|
|
1/. Áp dụng kiểm tra mô hình và phân tích khái niệm hình thức để phân loại và phát hiện mã độc : Luận án Tiến sĩ - Chuyên ngành: Khoa học máy tính - Mã số: 62.48.01.01 / Nguyễn Thiên Bình; Hướng dẫn khoa học: Quản Thành Thơ. - Tp. Hồ Chí Minh : Trường Đại học Bách khoa TP. Hồ Chí Minh, 2018. - 138tr.; 29cmTóm tắt: Đề xuất phương pháp giải quyết vấn đề bùng nổ không gian trạng thái cụ thể cho bài toán áp dụng kiểm tra mô hình phát hiện mã độc. Đề xuất phương pháp hình thức xử lý vấn đề làm rối mã mà không cần cập nhật công cụ kiểm tra mô hình, và đưa ra một phương pháp hệ thống hoá các công thức luận lý mã độc▪ Từ khóa: LUẬN ÁN TIẾN SĨ | KHÁI NIỆM HÌNH THỨC | MÃ ĐỘC | PHÁT HIỆN | KIỂM TRA MÔ HÌNH▪ Ký hiệu phân loại: 005.8 / A109D
»
MARC
|
Mời bạn đến Phòng đọc Điện tử để xem tài liệu số hóa !
-----
|
|
2/. So sánh đặc điểm cấu tạo hình thức và ngữ nghĩa của thuật ngữ tài chính - kế toán - ngân hàng tiếng Anh và tiếng Việt : Luận án Tiến sĩ Ngữ văn - Chuyên ngành: Ngôn ngữ học so sánh - Mã số: 5.04.27 / Nguyễn Thị Tuyết; Hướng dẫn khoa học: Hồ Lê, Nguyễn Hữu Chương. - Tp. Hồ Chí Minh : Đại học Khoa học xã hội và Nhân văn TP. Hồ Chí Minh, 2011. - 403tr.; 29cmTóm tắt: Tiến hành khảo sát, so sánh đối chiếu thuật ngữ chuyên ngành Tài chính - Kế toán - Ngân hàng tiếng Anh và tiếng Việt về hai phương diện: cấu tạo và nội dung, nhằm phát hiện những sự tương đồng và khác biệt giữa thuật ngữ của hai thứ tiếng Anh,Việt. Từ đó đưa ra được các mô hình cấu tạo thuật ngữ Tài chính - Kế toán - Ngân hàng bằng tiếng Việt, chỉ ra những mô hình cấu tạo nào là “tối ưu” để góp phần xây dựng và phát triển hệ thống thuật ngữ này của tiếng Việt▪ Từ khóa: LUẬN ÁN TIẾN SĨ | NGỮ VĂN | TIẾNG VIỆT | TIẾNG ANH | HÌNH THỨC | NGỮ NGHĨA | TÀI CHÍNH | KẾ TOÁN | NGÂN HÀNG▪ Ký hiệu phân loại: 401 / S400S
»
MARC
|
Mời bạn đến Phòng đọc Điện tử để xem tài liệu số hóa !
-----
|
|
|
|
|