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: 
1641-1650 trong số 2249 kết quả
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TA...
Tác giả: Didier Galmiche, Dominique Larchey-Wendling
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ỏ
 
Citizen in Sensor Networks [electronic resource] : First International Workshop, CitiSens 2012, Montpellier, France, Aug...
Tác giả: Jordi Nin, Daniel Villatoro
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ỏ
 
Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, ...
Tác giả: Holger G Krapp, Nathan F Lepora, Anna Mura, Tony J Prescott, Paul FMJ Verschure
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ỏ
 
Chinese Lexical Semantics [electronic resource] : 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Select...
Tác giả: Donghong Ji, Guozheng Xiao
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ỏ
 
Behavior and Social Computing [electronic resource] : International Workshop on Behavior and Social Informatics, BSI 201...
Tác giả: Longbing Cao, Irwin King, Gang Li, Ee-peng Lim, Hiroshi Motoda, Wolfgang Nejdl, Jaideep Srivastava, Guandong Xu, Philip S Yu, Ya Zhang
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:  006.3
 Thêm vào giỏ
 
Case-Based Reasoning Research and Development [electronic resource] : 21st International Conference, ICCBR 2013, Saratog...
Tác giả: Sarah Jane Delany, Santiago Ontañon
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ỏ
 
Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 201...
Tác giả: Thierry Lecroq, Laurent Mouchard
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ỏ
 
Articulated Motion and Deformable Objects [electronic resource] : Third International Workshop, AMDO 2004, Palma de Mall...
Tác giả: Bruce A Draper, Francisco J Perales
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.3
 Thêm vào giỏ
 
Automating Business Modelling [electronic resource] : A Guide to Using Logic to Represent Informal Methods and Support R...
Tác giả: Yun-Heh Chen-Burger, Dave Robertson
Xuất bản: London: Springer London : Imprint: Springer , 2005.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.068
 Thêm vào giỏ
 
Trước 163 164 165 166 167 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