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: 
461-470 trong số 1219 kết quả
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ỏ
 
Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerla...
Tác giả: Luca Aceto, Monika Henzinger, Jiri Sgall
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 Deduction -- CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Po...
Tác giả: Nikolaj Bjørner, Viorica Sofronie-Stokkermans
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 Neural Networks and Machine Learning - ICANN 2011 [electronic resource] : 21st International Conference on Ar...
Tác giả: Włodzisław Duch, Mark Girolami, Timo Honkela, Samuel Kaski
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ỏ
 
Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerla...
Tác giả: Luca Aceto, Monika Henzinger, Jiří Sgall
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:  518.1
 Thêm vào giỏ
 
Argumentation in Multi-Agent Systems [electronic resource] : 7th International Workshop, ArgMAS 2010, Toronto, Canada, M...
Tác giả: Peter McBurney, Simon D Parsons, Iyad Rahwan
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ỏ
 
Collaborative Agents - Research and Development [electronic resource] : International Workshops, CARE@AI09 2009 / CARE@I...
Tác giả: Frank Dignum, Michael Georgeff, Christian Guttmann
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ỏ
 
Bioinformatics Research and Application [electronic resource] : 7th International Symposium, ISBRA 2011, Changsha, China...
Tác giả: Jianer Chen, Jianxin Wang, Alexander Zelikovsky
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:  570.113
 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ỏ
 
Trước 45 46 47 48 49 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