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/2024Analog Circuits
Thứ Ba, 13:32 16/06/2026
China's Long-Term Low-Carbon Development Strategies and Pathways: Comprehensive Report
Thứ Ba, 09:32 16/06/2026Copyright © 2018 Hanoi University of Industry.
