Mostrar 1 - 11 resultats de 11 per cerca 'Conference on Automated Deduction~', hora de la petició: 5.55sec Refinar resultats
1
Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014
per Mandal, D, Kar, R, Das, S, Panigrahi, B.K
Publicat 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
Obtenir text complet
Afegir a favorits
Guardat en:
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
“... 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
Obtenir text complet
Afegir a favorits
Guardat en:
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
“... 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
Obtenir text complet
Afegir a favorits
Guardat en:
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
“... 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
Obtenir text complet
Afegir a favorits
Guardat en:
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
Obtenir text complet
Afegir a favorits
Guardat en:
6
Dự báo sự biến động của giá chứng khoán bằng phương pháp tập thô
per Huỳnh, Bảo Tuyên
Publicat 2023
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obtenir text complet
Afegir a favorits
Guardat en:
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
Obtenir text complet
Afegir a favorits
Guardat en:
8
New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering
per Elleithy, Khaled, Sobh, Tarek
Publicat 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
Obtenir text complet
Afegir a favorits
Guardat en:
9
Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering
per Sobh, Tarek, Elleithy, Khaled
Publicat 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
Obtenir text complet
Afegir a favorits
Guardat en:
10
Standard for Auditing Computer Applications, A
Publicat 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
Obtenir text complet
Afegir a favorits
Guardat en:
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
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obtenir text complet
Afegir a favorits
Guardat en:
Eines de cerca: Obtenir subscripció RSS — Enviar per correu electrònic aquesta cerca — Guardar cerca