Vietnam English Japanese
 Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
321-330 trong số 659 kết quả
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ỏ
 
Communication and Networking [electronic resource] : International Conference, FGCN/ACN 2009, Held as Part of the Future...
Tác giả: MingChu Li, Kouichi Sakurai, Dominik Slezak, Thanos Vasilakos
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 Thêm vào giỏ
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 18th International Conference, TA...
Tác giả: Martin Giese, Arild Waaler
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Combinatorial Optimization and Applications [electronic resource] : Third International Conference, COCOA 2009, Huangsha...
Tác giả: Ding-Zhu Du, Xiaodong Hu, Panos M Pardalos
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.11
 Thêm vào giỏ
 
Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20...
Tác giả: Juhani Karhumäki, Arto Lepistö, Luca Zamboni
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ỏ
 
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [electronic resource] : Essays D...
Tác giả: Bob Coecke, Luke Ong, Prakash Panangaden
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ỏ
 
Automated Deduction -- CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid...
Tác giả: Maria Paola Bonacina
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ỏ
 
Artificial Evolution [electronic resource] : 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, ...
Tác giả: Pierre Collet, Cyril Fonlupt, Pierre Liardet, Evelyne Lutton, Marc Schoenauer
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Autonomy Oriented Computing [electronic resource] : From Problem Solving to Complex Systems Modeling
Tác giả: Jiming Liu, XiaoLong Jin, Kwok Ching Tsui
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2005.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003
 Thêm vào giỏ
 
Combinatorial and Algorithmic Aspects of Networking [electronic resource] : First Workshop on Combinatorial and Algorith...
Tác giả: Angèle Hamel, Alejandro López-Ortiz
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.3
 Thêm vào giỏ
 
Trước 31 32 33 34 35 Tiếp

Truy cập nhanh danh mục

Media
Đồ á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ĩ
Sách tham khảo