Tài liệu Thư viện số
Danh mục TaiLieu.VN
Kết quả 1369-1380 trong khoảng 4450
Phần 1 cuốn sách "Ngân hàng câu hỏi trắc nghiệm Hóa học (Quyển hạ: Hóa hữu cơ và ứng dụng trong thực tiễn)" cung cấp cho người đọc các kiến thức: Đại cương hóa hữu cơ, hiđrocacbon no, hiđrocacbon không no, hiđrocacbon thơm - Nguồn hiđrocacbon tự nhiên, dẫn xuất halogen n- Ancol - Phenol. Mời các bạn cùng tham khảo.
165 p dhsphue 31/01/2018 256 2
Nối tiếp nội dung phần 1 cuốn sách ""Ngân hàng câu hỏi trắc nghiệm Hóa học (Quyển hạ: Hóa hữu cơ và ứng dụng trong thực tiễn)", phần 2 trình bày các nội dung: Andehit - Xeton - Axit cacboxylic, este - Lipit, cacbonhidrat, amin - Aminoaxit - Protein, polime và vật liệu polime,... Mời các bạn cùng tham khảo.
206 p dhsphue 31/01/2018 253 2
Ebook Nhận diện tam giác - Đề thi vào Đại học - Cao đẳng từ năm 1970 đến 2000-2001 toàn quốc: Phần 1
Phần 1 cuốn sách "Nhận diện tam giác - Đề thi vào Đại học - Cao đẳng từ năm 1970 đến 2000-2001 toàn quốc" cung cấp cho người đọc những kiến thức cần nhớ và những công thức lượng giác, hướng dẫn đề thi từ năm 1970 đến 1991,.... Mời các bạn cùng tham khảo.
132 p dhsphue 31/01/2018 212 1
Ebook Nhận diện tam giác - Đề thi vào Đại học - Cao đẳng từ năm 1970 đến 2000-2001 toàn quốc: Phần 2
Nối tiếp nội dung phần 1 cuốn sách, phần 2 hướng dẫn những đề thi lượng giác tuyển sinh vào Đại học và Cao đẳng trong toàn quốc từ năm 1992 đến 2001 về: Tam giác cân, tam giác vuông, tam giác đều, tam giác nhọn, tam giác không tù, tam giác tù, cấp số cộng. Mời các bạn cùng tham khảo.
139 p dhsphue 31/01/2018 197 1
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 dhsphue 31/01/2018 158 1
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 dhsphue 31/01/2018 202 2
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 dhsphue 31/01/2018 138 1
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 dhsphue 31/01/2018 169 1
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 dhsphue 31/01/2018 187 1
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 dhsphue 31/01/2018 189 2
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 dhsphue 31/01/2018 186 1
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 dhsphue 31/01/2018 166 1