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: 
Tìm được 28 kết quả
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ỏ
 
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ỏ
 
Concurrent and real-time programming in Java
Tác giả: Andrew J Wellings
Xuất bản: Chichester, West Sussex, England ; Hoboken, NJ: John Wiley , 2004.
Bộ sưu tập: Công nghệ thông tin
eBook (chm)
ddc:  005.131
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSAC...
Tác giả: Stefan Kiefer, Christine Tasson
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSAC...
Tác giả: Mikołaj Bojańczyk, Alex Simpson
Xuất bản: Cham: Springer International Publishing : 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ỏ
 
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ỏ
 
1 2 3 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