Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 34 kết quả
Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Tác giả: Michael Maher
Xuất bản: Cambridge, Massachusetts: MIT , 1996.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.131
 Thêm vào giỏ
 
The formal semantics of programming languages : an introduction
Tác giả: G Winskel
Xuất bản: Cambridge, Massachusetts: MIT Press , 1993.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.131
 Thêm vào giỏ
 
Arithmetic of Finite Fields [electronic resource] : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19,...
Tác giả: Ferruh Özbudak, Francisco Rodriguez-Henriquez
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with E...
Tác giả: Dirk Pattinson, Lutz Schröder
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
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] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, ...
Tác giả: Bernhard Gramlich, Dale Miller, Ulrike Sattler
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
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] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna S...
Tác giả: Stéphane Demri, Deepak Kapur, Christoph Weidenbach
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Artificial Intelligence and Symbolic Computation [electronic resource] : 12th International Conference, AISC 2014, Sevil...
Tác giả: Gonzalo A Aranda-Corral, Jacques Calmet, Francisco J Martín-Mateos
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Coalgebraic Methods in Computer Science [electronic resource] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Col...
Tác giả: Marcello M Bonsangue
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Categories and Types in Logic, Language, and Physics [electronic resource] : Essays dedicated to Jim Lambek on the Occas...
Tác giả: Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Arithmetic of Finite Fields [electronic resource] : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-...
Tác giả: Çetin Kaya Koç, Sihem Mesnager, Erkay Savaş
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Trước 1 2 3 4 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ á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ĩ
Media