Phần 1 của cuốn sách "Lập trình lôgic trong Prolog" cung cấp cho bạn đọc những nội dung gồm: Chương 1 - Mở đầu về ngôn ngữ Prolog; Chương 2 - Ngữ nghĩa của chương trình Prolog; Chương 3 - Các phép toán và số học; Chương 4 - Cấu trúc danh sách;... Mời các bạn cùng tham khảo!

 140 p actvn 27/05/2024 3 0 Download

Phần 2 của cuốn sách "Lập trình lôgic trong Prolog" cung cấp cho bạn đọc những nội dung gồm: Chương 5 - Kỹ thuật lập trình Prolog; Phụ lục A - Một số chương trình Prolog; Phụ lục B - Hướng dẫn sử dụng SWI-Prolog;... Mời các bạn cùng tham khảo!

 86 p actvn 27/05/2024 4 0 Download

Part 1 book "Computer organization and architecture designing for performance" includes contents: Reader’s guide, introduction, computer evolution and performance, a-top level view of computer function and interconnection, cache memory, internal memory technology, external memory, input output, operating system support, computer arithmetic, instruction sets - Characteristics and functions.

 422 p actvn 27/05/2024 2 0 Download

Part 2 book "Computer organization and architecture designing for performance" includes contents: Instruction sets - Addressing modes and formats; processor structure and function; reduced instruction set computers (riscs); instruction level parallelism and superscalar processors, control unit operation; microprogrammed control; parallel processing; multicore computers.

 459 p actvn 27/05/2024 2 0 Download

Part 1 book "Interaction design - Beyond human-computer interaction" includes contents: What is interaction design, the process of interaction design, conceptualizing interaction, cognitive aspects, social interaction, emotional interaction, interfaces, data gathering

 327 p actvn 27/05/2024 1 0 Download

Part 2 book "Interaction design - Beyond human-computer interaction" includes contents: Data analysis, interpretation, and presentation; data at scale; discovering requirements; design, prototyping, and construction; interaction design in practice; introducing evaluation; evaluation studies - from controlled to natural settings; evaluation - inspections, analytics and models.

 330 p actvn 27/05/2024 1 0 Download

Part 1 book "Introduction to numerical programming" includes contents: Approximate numbers, basic programming techniques, elements of scientific graphics, sorting and indexing, evaluation of functions, algebraic and transcendental equations, systems of linear equations.

 253 p actvn 27/05/2024 2 0 Download

Part 2 book "Introduction to numerical programming" includes contents: Eigenvalue problems, modeling of tabulated functions, integration of functions, monte carlo method, ordinary differential equations, partial differential equations.

 410 p actvn 27/05/2024 2 0 Download

Bài giảng Hệ phân tán - Chương 1: Tổng quan về hệ phân tán. Chương này cung cấp cho sinh viên những nội dung gồm: định nghĩa; đặc điểm của hệ phân tán; thành phần của hệ phân tán; các loại hệ phân tán; các vấn đề cần nghiên cứu trong hệ phân tán;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 32 p actvn 26/05/2024 3 0 Download

Bài giảng Hệ phân tán - Chương 2: Kiến trúc hệ phân tán. Chương này cung cấp cho sinh viên những nội dung gồm: khái niệm kiến trúc và các kiểu kiến trúc; kiến trúc hệ thống; middleware trong các kiến trúc;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 42 p actvn 26/05/2024 3 0 Download

Bài giảng Hệ phân tán - Chương 3: Quản lý tiến trình và luồng. Chương này cung cấp cho sinh viên những nội dung gồm: vai trò của hệ điều hành trong quản lý tiến trình; tiến trình và luồng; khái niệm ảo hóa; clients; servers; di trú mã;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 70 p actvn 26/05/2024 2 0 Download

Bài giảng Hệ phân tán - Chương 5: Định danh trong HPT. Chương này cung cấp cho sinh viên những nội dung gồm: tên, định danh, và địa chỉ; không gian tên phẳng; không gian tên có cấu trúc; không gian tên theo thuộc tính;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 83 p actvn 26/05/2024 1 0 Download