- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Bài giảng Thư viện số: Các chuẩn sử dụng trong Digital Libraries - TS. Đỗ Quang Vinh
Bài giảng Thư viện số: Các chuẩn sử dụng trong Digital Libraries. Bài này cung cấp cho học viên những nội dung về: chuẩn trình bày ASCII, Unicode, SGML, HTML, XML, GIF, JPG, TIF, PNP; chuẩn biên mục tự động; chuẩn mô tả siêu dữ liệu;... Mời các bạn cùng tham khảo!
133 p pdu 28/07/2023 52 0
Từ khóa: Bài giảng Thư viện số, Thư viện số, Thư viện số Digital Libraries, Chuẩn biên mục tự động, Chuẩn mô tả siêu dữ liệu, Ngôn ngữ đánh dấu tổng quát chuẩn SGML, Cấu trúc biểu ghi MARC21
Bài giảng Thiết kế mạch số dùng HDL - Chương 1: Phương pháp luận thiết kế vi mạch số
Bài giảng Thiết kế mạch số dùng HDL - Chương 1: Phương pháp luận thiết kế vi mạch số có nội dung trình bày về phương pháp luận thiết kế; thiết kế cổ điển (classical design methods); thiết kế bằng ngôn ngữ (computer-based languages methods); tham số công nghệ vi mạch;... Mời các bạn cùng tham khảo!
24 p pdu 25/04/2023 26 0
Từ khóa: Bài giảng Thiết kế mạch số dùng HDL, Thiết kế mạch số dùng HDL, Phương pháp luận thiết kế vi mạch số, Định luật Moore, Tham số công nghệ vi mạch, Ngôn ngữ đặc tả phần cứng
Bài giảng Nguyên lý thống kê: Chương 3 - Lê Phương
Nội dung chương 3 trình bày đến người học những vấn đề liên quan đến "Mô tả dữ liệu bằng các chỉ tiêu và đặc trưng", cụ thể như: Số tuyệt đối, số tương đối, các đặc trưng đo lường khuynh hướng tập trung, các đặc trưng đo lường độ phân tán.
24 p pdu 28/02/2018 134 1
Từ khóa: Bài giảng Nguyên lý thống kê, Nguyên lý thống kê, Mô tả dữ liệu bằng các chỉ tiêu, Mô tả dữ liệu bằng các đặc trưng, Đo lường khuynh hướng tập trung
Bài giảng Đặc tả hình thức: Chương 0 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức Chương 0 do Nguyễn Thị Minh Tuyền biên soạn nhằm giúp các bạn nắm được mục tiêu của môn học là: Tập trung vào đặc tả hình thức, giới thiệu thêm về phương pháp hình thức, hiểu được phương pháp hình thức hỗ trợ cho việc tạo ra các phần mềm có chất lượng cao như thế nào, học về mô hình hóa hình thức và các...
12 p pdu 31/01/2018 97 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Thiết kế ở mức cao, Đặc tả ở mức mã nguồn, Đặc tả ở mức mã nguồn
Bài giảng Đặc tả hình thức: Chương 1 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 1 cung cấp cho người học các kiến thức: Phần mềm, thiệt hại về tiền của do lỗi phần mềm, lỗi phần mềm gây thiệt hại về tính mạng, lỗi hệ thống phần mềm, phương pháp hình thức,...
40 p pdu 31/01/2018 139 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Hệ thống phần mềm, Lỗi phần mềm, Ngôn ngữ và hệ thống, Các ngôn ngữ đặc tả, Kiểm tra mô hình
Bài giảng Đặc tả hình thức: Chương 2 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 2 do Nguyễn Thị Minh Tuyền biên soạn gồm các nội dung chính được trình bày như: Tập hợp (Set), giá trị của một tập hợp, định nghĩa tập hợp, các phép toán trên tập hợp, tập lũy thừa, phân hoạch tập hợp,...
43 p pdu 31/01/2018 139 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Tập hợp và quan hệ, Tập các đối tượng rời rạc, Tập lũy thừa, Quan hệ nhị phân
Bài giảng Đặc tả hình thức: Chương 3 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 3 do Nguyễn Thị Minh Tuyền biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm Nguyên tử và quan hệ, signature và Field, các phép toán,...Mời các bạn cung tham khảo!
69 p pdu 31/01/2018 103 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Alloy, Nguyên tử và quan hệ, Quan hệ đơn phân
Bài giảng Đặc tả hình thức: Chương 4 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 4, trình bày các nội dung sau: Các phép toán logic, thứ tự ưu tiên các phép toán, tập bằng cách định nghĩa thuộc tính,...Mời các bạn cung tham khảo!
24 p pdu 31/01/2018 125 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Alloy, Các phép toán logic, Cấu trúc Family
Bài giảng Đặc tả hình thức: Chương 5 - Nguyễn Thị Minh Tuyền
Assertion là ràng buộc bổ sung và được kiểm tra bởi bộ phân tích xem chúng có đúng hay không. Bài giảng Đặc tả hình thức: Chương 5 do Nguyễn Thị Minh Tuyền sau đây sẽ giúp các bạn nắm chi tiết hơn về Assertion. Mời các bạn cùng tham khảo!
14 p pdu 31/01/2018 143 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Alloy, Run và vị từ, Lệnh và phạm vi
Bài giảng Đặc tả hình thức: Chương 6 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 6 do Nguyễn Thị Minh Tuyền biên soạn nội dung cụ thể của chương này gồm có: Module trong Alloy, khai báo module, định nghĩa module, định nghĩa ModulePathName, các module định nghĩa sẵn, xung đột về tên, các module được tham số hóa,...
23 p pdu 31/01/2018 126 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Các module trong Alloy, Định nghĩa module, Định nghĩa ModulePathName, Các module định nghĩa sẵn, Khai báo module
Bài giảng Đặc tả hình thức: Chương 7 - Nguyễn Thị Minh Tuyền
Nội dung chương 7 trình bày đến người học những vấn đề liên quan đến "Mô hình động trong Alloy", cụ thể như: Các mô hình tĩnh, mô hình hóa chuyển đổi trạng thái, signature mang tính chất tĩnh, các chuỗi trạng thái, biểu diễn một chuyển đổi,...
38 p pdu 31/01/2018 182 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình động trong Alloy, Các mô hình tĩnh, Các vị từ frame condition
Bài giảng Đặc tả hình thức: Chương 8 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 8 giúp người học hiểu về "Mô hình minh họa: Hotel Room Locking". Nội dung trình bày cụ thể gồm có: Mô tả vấn đề, signatures và fields, biểu đồ mô hình cho hệ thống, bàng buộc và thao tác, phát sinh khóa mới, trạng thái khởi tạo,...
33 p pdu 31/01/2018 122 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình minh họa, Hotel Room Locking, Mô hình hóa bằng Alloy, Phát sinh khóa mới
Đăng nhập