Showing 1 - 11 results of 11 for search 'Conference on Automated Deduction~', query time: 5.31s Refine Results
1
Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014
by Mandal, D, Kar, R, Das, S, Panigrahi, B.K
Published 2015
“...The idea of the 1st International Conference on Intelligent Computing and Applications (ICICA 2014...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
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...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
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...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
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...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
5
A Composite Method for Improving the Pulse Shape Discrimination Efficiency of a Scintillation Detector Using EJ-301 Liquid
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
6
Dự báo sự biến động của giá chứng khoán bằng phương pháp tập thô
by Huỳnh, Bảo Tuyên
Published 2023
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
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
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
8
New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering
by Elleithy, Khaled, Sobh, Tarek
Published 2015
“..., and Engineering. It includes selected papers form the conference proceedings of the Ninth International Joint...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
9
Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering
by Sobh, Tarek, Elleithy, Khaled
Published 2015
“..., and Engineering. It includes selected papers from the conference proceedings of the Eighth and some selected...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
10
Standard for Auditing Computer Applications, A
Published 2009
“... of automated business systems and systems environments. At the heart of A Standard for Auditing Computer...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
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
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search