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: 
311-320 trong số 458 kết quả
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ỏ
 
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] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 –...
Tác giả: Nicola Olivetti, Ashish Tiwari
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
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 with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TA...
Tác giả: Didier Galmiche, Dominique Larchey-Wendling
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ỏ
 
Combinatorial Image Analysis [electronic resource] : 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–...
Tác giả: Reneta P Barneva, Valentin E Brimkov, Lidija Čomić, Tibor Lukić, Nataša Sladoje
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:  006.37
 Thêm vào giỏ
 
Categories for Software Engineering [electronic resource]
Tác giả: Jose Luiz Fiadeiro
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Space-Time Conservation Element and Solution Element Method [electronic resource] : Advances and Applications in Engineering Sciences
Tác giả: Chih-Yung Wen, Yazhong Jiang, Lisong Shi
Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2023.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  003.3
 Thêm vào giỏ
 
Journal of Graph Algorithms and Applications
Tác giả:
Xuất bản: Brown University , 2021
Bộ sưu tập: Báo giấy
ddc: 
 Thêm vào giỏ
 
Ingeniería y Ciencia
Tác giả:
Xuất bản: Universidad EAFIT , 2012
Bộ sưu tập: Báo giấy
ddc: 
 Thêm vào giỏ
 
Science and Technology Indonesia
Tác giả:
Xuất bản: Research Center of Inorganic Materials and Coordination Complexes, Universitas Sriwijaya , 2017
Bộ sưu tập: Báo giấy
ddc: 
 Thêm vào giỏ
 
Trước 30 31 32 33 34 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