Showing 1 - 11 results of 11 for search 'Conference on Automated Deduction~', सवाल का समय: 5.41सेकंड परिणाम को परिष्कृत करें
1
Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014
द्वारा Mandal, D, Kar, R, Das, S, Panigrahi, B.K
प्रकाशित 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
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
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
द्वारा Tan, Y, Shi, Y, Buarque, F, Gelbukh, A, Das, S, Engelbrecht, A
प्रकाशित 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
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
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
द्वारा Tan, Y, Shi, Y, Buarque, F, Gelbukh, A, Das, S, Engelbrecht, A
प्रकाशित 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
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
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
द्वारा Tan, Y, Shi, Y, Buarque, F, Gelbukh, A, Das, S, Engelbrecht, A
प्रकाशित 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
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
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
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
6
Dự báo sự biến động của giá chứng khoán bằng phương pháp tập thô
द्वारा Huỳnh, Bảo Tuyên
प्रकाशित 2023
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
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
द्वारा Phan, Thị Thanh Nga, Vũ Bá Đông, Tăng Thế Ngọc Song, Nguyễn Tân Tiến
प्रकाशित 2024
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
8
New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering
द्वारा Elleithy, Khaled, Sobh, Tarek
प्रकाशित 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
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
9
Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering
द्वारा Sobh, Tarek, Elleithy, Khaled
प्रकाशित 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
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
10
Standard for Auditing Computer Applications, A
प्रकाशित 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
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
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
द्वारा Cao, Thị Làn, Nguyễn, Văn Kết
प्रकाशित 2023
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
खोज साधन : RSS फ़ीड प्राप्त करें — इस खोज को ईमेल करें — खोज संग्रहित करें