検索結果 1 - 11 結果 / 11 検索語 'Conference on Automated Deduction~', 処理時間: 6.39秒 結果の絞り込み
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
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フィード — 検索結果をメール — 検索の保存