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: 
541-550 trong số 1149 kết quả
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ỏ
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TA...
Tác giả: Kai Brünnler, George Metcalfe
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:  006.3
 Thêm vào giỏ
 
Artificial Immune Systems [electronic resource] : 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21,...
Tác giả: Pietro Lio, Giuseppe Nicosia, Thomas Stibor
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:  003.3
 Thêm vào giỏ
 
Artificial Intelligence in Medicine [electronic resource] : 13th Conference on Artificial Intelligence in Medicine, AIME...
Tác giả: Carlo Combi, Nada Lavrač, Mor Peleg
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:  006.3
 Thêm vào giỏ
 
Computation, Cooperation, and Life [electronic resource] : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th...
Tác giả: Jozef Kelemen, Alica Kelemenová
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ỏ
 
Coding and Cryptology [electronic resource] : Third International Workshop, IWCC 2011, Qingdao, China, May 30-June 3, 20...
Tác giả: Yeow Meng Chee, Zhenbo Guo, San Ling, Fengjing Shao, Yuansheng Tang, Huaxiong Wang, Chaoping Xing
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:  003.54
 Thêm vào giỏ
 
Collaboration and Technology [electronic resource] : 17th International Conference, CRIWG 2011, Paraty, Brazil, October ...
Tác giả: Marcos RS Borges, Carl Gutwin, Adriana S Vivacqua
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:  005.1
 Thêm vào giỏ
 
Artificial Intelligence and Computational Intelligence [electronic resource] : Second International Conference, AICI 201...
Tác giả: Hepu Deng, Jingsheng Lei, Duoqian Miao, Fu Lee Wang
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:  006.3
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipe...
Tác giả: Tevfik Bultan, Pao-Ann Hsiung
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:  005.1
 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 53 54 55 56 57 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