Vietnam English Japanese
 Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
21-29 trong số 29 kết quả
At the Intersection of Language, Logic, and Information [electronic resource] : ESSLLI 2018 Student Session, Sofia, Bulg...
Tác giả: Eric Pacuit, Jennifer Sikos
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2019.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 20...
Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 20...
Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Vài nét tình hình nghiên cứu vấn đề ngôn ngữ toán học
Tác giả: Ngọc Bích Trần
Xuất bản: Khoa học và Công nghệ (Đại học Thái Nguyên , 2015
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Tập luyện cho học sinh phát triển ngôn ngữ toán học trong quá trình dạy học toán
Tác giả: Hữu Hậu Nguyễn
Xuất bản: Tạp chí giáo dục , 2011
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Độ phức tạp đoán nhận lớp siêu ngôn ngữ chính quy sinh bởi siêu sơ đồ sinh suy rộng
Tác giả: Văn ổn Phùng
Xuất bản: Tin học và điều khiển học , 2004
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Cẩm nang thuật toán . T2 - Các thuật toán chuyên dụng
Tác giả: Sedgewick Robert, Bùi Thị Ngọc Nga, Hoàng Kiếm, Trần Đan Thư
Xuất bản: Hà Nội: Khoa học và Kỹ Thuật , 1996
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  005.131
 Thêm vào giỏ
 
Lý thuyết ngôn ngữ và tính toán : sách dùng cho sinh viên đại học và học viên cao học của các ngành công nghệ thông tin ...
Tác giả: Nguyễn Văn Ba
Xuất bản: Hà Nội: Đại học Quốc gia Hà Nội , 2006
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  005.131
 Thêm vào giỏ
 
UML 2 semantics and applications [electronic resource]
Tác giả: K Lano
Xuất bản: Hoboken, NJ: John Wiley & Sons , 2009.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Trước 1 2 3

Truy cập nhanh danh mục

Media
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Sách tham khảo