Delftse Foundations of Computation
Cuốn sách giáo khoa này dành cho khóa học giới thiệu về khoa học máy tính lý thuyết. Nó bao gồm các chủ đề từ logic mệnh đề và logic vị từ, kỹ thuật chứng minh, lý thuyết tập hợp và lý thuyết tính toán, cùng với các ứng dụng thực tế cho khoa học máy tính.
Thứ Hai, 11:07 21/07/2025
Hướng dẫn khai thác và sử dụng Thư viện Đại học Công nghiệp Hà Nội năm 2024
Thứ Ba, 14:33 17/09/2024PGS.TS Nguyễn Thị Hồng Nga, Giám đốc - Trung tâm Đào tạo Sau đại học trao tặng 02 đầu sách ngoại văn cho Trung tâm Thông tin - Thư viện
Thứ Sáu, 07:37 24/05/2024Truy cập hàng triệu sách điện tử miễn phí với The Online Books Page
Thứ Hai, 08:38 22/01/2024
MODERN METHODS OF ENSURING INFORMATION PROTECTION IN CYBERSECURITY SYSTEMS USING ARTIFICIAL INTELLIGENCE AND BLOCKCHAIN TECHNOLOGY
Thứ Năm, 15:59 29/01/2026
Lost in Digital Translations: Studies of Digital Resistance and Accommodation to the Welfare State in Practice
Thứ Năm, 15:54 29/01/2026
Unifying Sustainability Information for Societal Automation: Leveraging Collective Intelligence
Thứ Năm, 15:51 29/01/2026Copyright © 2018 Hanoi University of Industry.
