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: 
261-270 trong số 661 kết quả
Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Tác giả: Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2010.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 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ỏ
 
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ỏ
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
Tác giả: Bernhard Beckert
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:  006.3
 Thêm vào giỏ
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
Tác giả: Uwe Egly, Christian G Fernmüller
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2002.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
Tác giả: Marta Cialdea Mayer, Fiora Pirri
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2003.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Search Algorithm Essence of Optimization
Tác giả: Dinesh G Harkut, Dinesh G Harkut
Xuất bản: IntechOpen , 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Developing web apps with Haskell and Yesod
Tác giả: Michael Snoyman
Xuất bản: ,
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.76
 Thêm vào giỏ
 
ASP.NET Web API 2 recipes : a problem-solution approach
Tác giả: Filip Wojcieszyn
Xuất bản: ,
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.76
 Thêm vào giỏ
 
Trước 25 26 27 28 29 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