Tài liệu Thư viện số
Danh mục TaiLieu.VN
Kết quả 61-72 trong khoảng 398
Bài giảng Đặc tả hình thức: Chương 5 - PGS.TS. Vũ Thanh Nguyên
Bài giảng Đặc tả hình thức: Chương 5 Đặc tả hàm, cung cấp cho người đọc những kiến thức như: Tổng quan về hàm; Đặc tả hàm không tường minh; Đặc tả hàm tường minh; Đặc tả đệ quy và sử dụng hàm phụ; Một số cấu trúc điều khiển. Mời các bạn cùng tham khảo!
46 p hiu 26/03/2023 185 114
Bài giảng Đặc tả hình thức: Chương 2 - PGS.TS. Vũ Thanh Nguyên
Bài giảng Đặc tả hình thức: Chương 2 Cơ sở toán học trong đặc tả hình thức, cung cấp cho người đọc những kiến thức như: Lý thuyết tập hợp; Phép toán vị từ; Lượng từ; Luật suy diễn. Mời các bạn cùng tham khảo!
75 p hiu 26/03/2023 189 113
Bài giảng Đặc tả hình thức: Chương 4 - PGS.TS. Vũ Thanh Nguyên
Bài giảng Đặc tả hình thức: Chương 4 Số và kiểu mảng, cung cấp cho người đọc những kiến thức như: Số và mảng; ngôn ngữ Z mô tả các dạng số; các hàm và thao tác trên mảng/chuỗi. Mời các bạn cùng tham khảo!
28 p hiu 26/03/2023 66 1
Bài giảng Đặc tả hình thức: Chương 1 - PGS.TS. Vũ Thanh Nguyên
Bài giảng Đặc tả hình thức: Chương 1 Tổng quan, cung cấp cho người đọc những kiến thức như: Đặc tả hình thức và quy trình công nghệ phần mềm; Ngôn ngữ và đặc tả; Một số ngôn ngữ đặc tả hình thức; Đặc tả và công nghệ phần mềm. Mời các bạn cùng tham khảo!
21 p hiu 26/03/2023 177 104
Bài giảng Đặc tả hình thức: Chương 0 - PGS.TS. Vũ Thanh Nguyên
Bài giảng Đặc tả hình thức cung cấp các kiến thức liên quan đến hướng tiếp cận xây dựng phần mềm dùng đặc tả hình thức; Môn học bao gồm các chương liên quan đến các thành phần cơ sở trong đặc tả hình thức nói chung (Tâp hợp, Hàm, Dãy,...), và cụ thể hơn trong các chương về đặc tả với VDM và Z.
6 p hiu 26/03/2023 153 101
Bài giảng Đặc tả hình thức: Chương 7 - PGS.TS. Vũ Thanh Nguyên
Bài giảng Đặc tả hình thức: Chương 7 Kiểu ánh xạ, cung cấp cho người đọc những kiến thức như: Ánh xạ; Các hàm và thao tác trên ánh xạ; Đặc tả sử dụng ánh xạ. Mời các bạn cùng tham khảo!
22 p hiu 26/03/2023 70 1
Bài giảng Đặc tả hình thức: Chương 6 - PGS.TS. Vũ Thanh Nguyên
Bài giảng Đặc tả hình thức: Chương 6 Kiểu đối tượng phức, cung cấp cho người đọc những kiến thức như: Định nghĩa kiểu đối tượng phức; Khởi tạo đối tượng phức; Ràng buộc trên kiểu dữ liệu; Cập nhật đối tượng phức. Mời các bạn cùng tham khảo!
21 p hiu 26/03/2023 62 0
Bài giảng Đặc tả hình thức: Chương 8 - PGS.TS. Vũ Thanh Nguyên
Bài giảng Đặc tả hình thức: Chương 8 Ngôn ngữ đặc tả Z, cung cấp cho người đọc những kiến thức như: Giới thiệu; Các thành phần của ngôn ngữ; Giản đồ; Các phép toán trên giản đồ. Mời các bạn cùng tham khảo!
47 p hiu 26/03/2023 148 102
Ebook CompTIA A+ guide to managing and maintaining your PC (Eighth edition): Part 1
Ebook A+ guide to managing and maintaining your PC (Eighth edition): Part 1 presents the following content: Chapter 1: first look at computer parts and tools; chapter 2: working inside a computer; chapter 3: introducing windows operating systems; chapter 4: all about motherboards; chapter 5: supporting processors and upgrading memory; chapter 6: supporting hard drives; chapter 7: installing windows; chapter 8: supporting I/O and storage...
661 p hiu 26/02/2023 166 125
Ebook A+ guide to managing and maintaining your PC (Eighth edition): Part 2
Ebook A+ guide to managing and maintaining your PC (Eighth edition): Part 1 presents the following content: Chapter 13: troubleshooting hardware problems; chapter 14: troubleshooting windows startup problems; chapter 15: connecting to and setting up a network; chapter 16: networking types, devices, and cabling; chapter 17: windows resources on a network; chapter 18: security strategies; chapter 19: supporting notebooks; chapter 20: mobile...
668 p hiu 26/02/2023 170 123
Bài giảng Công nghệ phần mềm: Chương 1 - ThS. Đinh Thị Lương
Bài giảng Công nghệ phần mềm: Chương 1 Tổng quan về công nghệ phần mềm, được biên soạn với mục tiêu nhằm giúp sinh viên hiểu rõ các khái niệm liên quan đến phần mềm và công nghệ phần mềm được trình bày trong phần 1; Biết được một số nguyên tắc cơ bản về tính chuyên nghiệp và đúng nguyên tắc đối với kỹ sư phần mềm. Mời các bạn...
40 p hiu 26/02/2023 169 100
Bài giảng Công nghệ phần mềm: Chương 9 - ThS. Đinh Thị Lương
Bài giảng Công nghệ phần mềm: Chương 9 được biên soạn gồm các nội dung chính sau: Quy trình kiểm thử; Kiểm thử hệ thống và bài tập. Mời các bạn cùng tham khảo!
27 p hiu 26/02/2023 151 87
Hổ trợ trực tuyến
Trương Minh Hoài
Email: hoaitm@hiu.vn
ĐT: 0938084083
Bộ sưu tập nổi bật