Loại tài liệu:    Chỉ tìm trong: 
141-150 trong số 3339 kết quả
Belief Functions: Theory and Applications [electronic resource] : 6th International Conference, BELIEF 2021, Shanghai, China, October 15–19, 2021, Proceedings
Tác giả: Thierry Denœux, Eric Lefèvre, Zhunga Liu, Frédéric Pichon
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Automated Technology for Verification and Analysis [electronic resource] : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Tác giả: Vijay Ganesh, Zhe Hou
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Psychology, Learning, Technology [electronic resource] : First International Conference, PLT 2022, Foggia, Italy, January 19–21, 2022, Revised Selected Papers
Tác giả: Raffaele Di Fuccio, Pierpaolo Limone, Giusi Antonia Toto
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2022.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  300.00285
 
Electronic Voting [electronic resource] : 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4–7, 2022, Proceedings
Tác giả: David Duenas-Cid, Micha Germann, Robert Krimmer, Peter Rønne, Melanie Volkamer
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2022.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.824
 
Cloud Computing and Services Science [electronic resource] : Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers
Tác giả: Ivan Ivanov, Frank Leymann, Tony Shan, Marten Sinderen
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
 
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
 

Truy cập nhanh danh mục