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: 
171-180 trong số 335 kết quả
Combinatorial Search: From Algorithms to Systems [electronic resource]
Tác giả: Youssef Hamadi
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024
Tác giả:
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, Decembe...
Tác giả: Jean-Pierre Jouannaud, Zhong Shao
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December ...
Tác giả: Chris Hawblitzel, Dale Miller
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:  004.0151
 Thêm vào giỏ
 
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australi...
Tác giả: Georges Gonthier, Michael Norrish
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Vector game math processors
Tác giả: James Leiterman
Xuất bản: Plano Texas: Wordware Publishing, 2001
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.35
 Thêm vào giỏ
 
Scientific computation
Tác giả: G H Gonnet, Ralf Scholl
Xuất bản: Cambridge UK New York: Cambridge University Press, 2009
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  501.51
 Thêm vào giỏ
 
Sukkur IBA Journal of Computing and Mathematical Sciences
Tác giả:
Xuất bản: : Sukkur IBA University, 2018
Bộ sưu tập: Báo-Tạp chí
ddc: 
 Thêm vào giỏ
 
Coding and Modulation for Digital Television [electronic resource]
Tác giả: Gordon M Drury, Garik Markarian, Keith Pickavance
Xuất bản: New York NY: Springer US Imprint Springer, 2002
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  621.382
 Thêm vào giỏ
 
Combinatorial Algorithms [electronic resource] : 22th International Workshop, IWOCA 2011, Victoria, Canada, July 20-22, ...
Tác giả: Costas S Iliopoulos, William F Smyth
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Trước 16 17 18 19 20 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