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: 
1001-1010 trong số 2329 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ỏ
 
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ỏ
 
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ỏ
 
Automated Reasoning and Mathematics [electronic resource] : Essays in Memory of William W. McCune
Tác giả: Maria Paola Bonacina, Mark E Stickel
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ỏ
 
Cellular Automata and Discrete Complex Systems [electronic resource] : 19th International Workshop, AUTOMATA 2013, Gieße...
Tác giả: Jarkko Kari, Martin Kutrib, Andreas Malcher
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:  004.0151
 Thêm vào giỏ
 
Challenges of Information Management Beyond the Cloud [electronic resource] : 4th International Symposium on Information...
Tác giả: Umut Al, John N Gathegi, Serap Kurbanoglu, Yasar Tonta
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:  020
 Thêm vào giỏ
 
Code Breaking in the Pacific [electronic resource]
Tác giả: Peter Donovan, John Mack
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:  003.54
 Thêm vào giỏ
 
Big Data Integration Theory [electronic resource] : Theory and Methods of Database Mappings, Programming Languages, and ...
Tác giả: Zoran Majkić
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.74
 Thêm vào giỏ
 
Automatic Generation of Combinatorial Test Data [electronic resource]
Tác giả: Jian Zhang, Feifei Ma, Zhiqiang Zhang
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.1
 Thêm vào giỏ
 
Trước 99 100 101 102 103 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