Loại tài liệu:    Chỉ tìm trong: 
91-100 trong số 2709 kết quả
Automated Deduction - CADE 28 [electronic resource] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Tác giả: Platzer André, Geoff Sutcliffe
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
 
Brain-Inspired Computing [electronic resource] : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers
Tác giả: Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov
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.437
 
Magnetism and Accelerator-Based Light Sources [electronic resource] : Proceedings of the 7th International School ''Synchrotron Radiation and Magnetism'', Mittelwihr (France), 2018
Tác giả: Bulou Hervé, Loïc Joly, Jean-Michel Mariot, Fabrice Scheurer
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  621.36
 
VR Technologies in Cultural Heritage [electronic resource] : First International Conference, VRTCH 2018, Brasov, Romania, May 29-30, 2018, Revised Selected Papers
Tác giả: Marcello Carrozzino, Duguleană Mihai, Matjaž Gams, Iulian Tanea
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  003.3
 
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
 
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
 
Cloud Computing and Services Science [electronic resource] : Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers
Tác giả: Frédéric Desprez, Donald Ferguson, Markus Helfert, Frank Leymann
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.1
 

Truy cập nhanh danh mục