Đang hiển thị 1 - 11 kết quả của 11 cho tìm kiếm 'Conference on Automated Deduction~', thời gian truy vấn: 7.18s Tinh chỉnh kết quả
1
Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014
Bỡi Mandal, D, Kar, R, Das, S, Panigrahi, B.K
Được phát hành 2015
“...The idea of the 1st International Conference on Intelligent Computing and Applications (ICICA 2014...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
2
Advances in Swarm and Computational Intelligence: 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II
Bỡi Tan, Y, Shi, Y, Buarque, F, Gelbukh, A, Das, S, Engelbrecht, A
Được phát hành 2015
“... of the 6th International Conference on Swarm Intelligence, ICSI 2015 held in conjunction with the Second...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
3
Advances in Swarm and Computational Intelligence: 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III
Bỡi Tan, Y, Shi, Y, Buarque, F, Gelbukh, A, Das, S, Engelbrecht, A
Được phát hành 2015
“... of the 6th International Conference on Swarm Intelligence, ICSI 2015 held in conjunction with the Second...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
4
Advances in Swarm and Computational Intelligence: 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I
Bỡi Tan, Y, Shi, Y, Buarque, F, Gelbukh, A, Das, S, Engelbrecht, A
Được phát hành 2015
“... of the 6th International Conference on Swarm Intelligence, ICSI 2015 held in conjunction with the Second...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
5
A Composite Method for Improving the Pulse Shape Discrimination Efficiency of a Scintillation Detector Using EJ-301 Liquid
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
6
Dự báo sự biến động của giá chứng khoán bằng phương pháp tập thô
Bỡi Huỳnh, Bảo Tuyên
Được phát hành 2023
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
7
MỘT CÁCH TIẾP CẬN XÂY DỰNG ỨNG DỤNG NHẬN DIỆN NGÔN NGỮ KÝ HIỆU
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
8
New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering
Bỡi Elleithy, Khaled, Sobh, Tarek
Được phát hành 2015
“..., and Engineering. It includes selected papers form the conference proceedings of the Ninth International Joint...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
9
Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering
Bỡi Sobh, Tarek, Elleithy, Khaled
Được phát hành 2015
“..., and Engineering. It includes selected papers from the conference proceedings of the Eighth and some selected...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
10
Standard for Auditing Computer Applications, A
Được phát hành 2009
“... of automated business systems and systems environments. At the heart of A Standard for Auditing Computer...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
11
Ảnh hưởng của giá thể và dinh dưỡng đến sinh trưởng, phát triển, năng suất và chất lượng dâu tây (fragaria x ananassa) trồng trong điều kiện nhà màng tại Đà Lạt
Bỡi Cao, Thị Làn, Nguyễn, Văn Kết
Được phát hành 2023
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS — Tìm kiếm email này — Lưu tìm kiếm