Loại tài liệu:    Chỉ tìm trong: 
121-130 trong số 2371 kết quả
Big Data Analytics [electronic resource] : Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings
Tác giả: Vasudha Bhatnagar, Srinath Srinivasa
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.312
 
Combinatorial Optimization and Applications [electronic resource] : 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
Tác giả: Peter Widmayer, Yinfeng Xu, Binhai Zhu
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  518.1
 
Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Tác giả: Mizuhito Ogawa, Dang Van Hung
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
Tác giả: Georges Gonthier, Michael Norrish
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Beyond Databases, Architectures, and Structures [electronic resource] : 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings
Tác giả: Pawel Kasprowski, Daniel Kostrzewa, Stanislaw Kozielski, Bożena Małysiak-Mrozek, Dariusz Mrozek
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.74
 
Bioinformatics Research and Applications [electronic resource] : 16th International Symposium, ISBRA 2020, Moscow, Russia, December 1–4, 2020, Proceedings
Tác giả: Zhipeng Cai, Xuan Guo, Ion Mandoiu, Giri Narasimhan, Pavel Skums
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  570.285
 
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Artificial Intelligence in Education [electronic resource] : 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I
Tác giả: Ig Ibert Bittencourt, Mutlu Cukurova, Rose Luckin, Eva Millán, Kasia Muldner
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Combinatorial Optimization [electronic resource] : 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers
Tác giả: Mourad Baïou, Bernard Gendron, Oktay Günlük, A Ridha Mahjoub
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 

Truy cập nhanh danh mục