Bảo đảm Toán học cho máy tính và hệ thống tính toán
Các tài liệu về kiểm chứng hình thức, lý thuyết tính toán, chứng minh toán học bảo đảm tính đúng đắn của thuật toán, phần mềm và hệ thống máy tính - từ nền tảng logic đến ứng dụng kiểm chứng.
Trường nổi bật ngành Bảo đảm Toán học cho máy tính và hệ thống tính toán
Luận văn thạc sĩ kỹ thuật nghiên cứu giao thức quản lý mạng và công nghệ dịch vụ web thực hiện khai thác đường dây thuê bao, khảo sát thực trạng, phân tích nguyên nhân, đề xuất
Danh mục:
101
2
0
Luận văn thạc sĩ nghiên cứu đồ thị với kích thước rất lớn, đánh giá hiện trạng, phân tích vấn đề, đề xuất biện pháp hoàn thiện trong lĩnh vực .
Danh mục:
67
0
0
Luận văn thạc sĩ nghiên cứu công nghệ mạng riêng ảo vpn dựa trên ssl, đánh giá hiện trạng, phân tích vấn đề, đề xuất biện pháp hoàn thiện trong lĩnh vực kỹ thuật.
Danh mục:
83
2
0
Luận văn thạc sĩ phân tích bảo mật và an toàn thông tin trong hệ thống mạng cục bộ của cơ quan nhà nước, đề xuất giải pháp hiệu quả.
Danh mục:
92
2
0
Luận văn thạc sĩ kỹ thuật nghiên cứu các kỹ thuật kiểm thử đột biến và ứng dụng kiểm thử chương trình c, khảo sát thực trạng, phân tích nguyên nhân, đề xuất giải pháp cải thiện
Danh mục:
63
1
0
Luận án tiến sĩ toán học nghiên cứu một số thuật toán lập lịch để phân phối tài nguyên trong hệ thống tính toán lưới 62 46 35 01, phân tích chuyên sâu, xây dựng mô hình lý thuyết,
Danh mục:
128
0
0
Luận văn thạc sĩ nghiên cứu xây dựng hệ thống thông tin ứng dụng lý thuyết tập mờ để đánh giá học sinh một cách khách quan, chính xác và công bằng.
Danh mục:
54
0
0