Giới thiệu
Chức năng nhiệm vụ
Nhân sự
Thời gian làm việc
Giới thiệu chung
Sơ đồ Thư viện
Tra cứu
Tìm lướt
Tìm Từ khóa
Tìm Chuyên gia
Tìm Toàn văn
Tra cứu liên thư viện
Tài Liệu Mới
Cơ sở dữ liệu mở
Tạp chí
Người dùng
Hướng dẫn (Video)
Hướng dẫn sử dụng
Gửi yêu cầu
Nội quy - Chính sách
Diễn Đàn
Gửi yêu cầu
DỊCH VỤ THƯ VIỆN
Dịch vụ miễn phí
Cung cấp tài liệu học tập
Dịch vụ in ấn
Đăng nhập
TRA CỨU
Tìm lướt
Tìm Từ khóa
Tìm Chuyên gia
Tìm Toàn văn
Tra cứu liên thư viện
Tài Liệu Mới
Cơ sở dữ liệu mở
Sắp xếp:
Nhan đề
Tác giả
Ký hiệu PL/XG
Năm xuất bản và Nhan đề
Năm xuất bản và Tác giả
Tăng dần
Giảm dần
STT
Nội dung
1
Verified Functional Programming in Agda / Aaron Stump
ACM Books, 2016
284 p.
Stump, Aaron
Tài liệu số:1