Loại tài liệu:    Chỉ tìm trong: 
91-100 trong số 2386 kết quả
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Tác giả: K Rustan M Leino, Alexandra Silva
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
 
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
 
Artificial Intelligence and Signal Processing [electronic resource] : International Symposium, AISP 2013, Tehran, Iran, December 25-26, 2013, Revised Selected Papers
Tác giả: Hossein Asadi, Mansour Jamzad, Ali Movaghar
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:  006.37
 
Business Information Systems [electronic resource] : 17th International Conference, BIS 2014, Larnaca, Cyprus, May 22-23, 2014, Proceedings
Tác giả: Witold Abramowicz, Angelika Kokkinaki
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:  658.05
 
Business Modeling and Software Design [electronic resource] : Third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013, Revised Selected Papers
Tác giả: Boris Shishkov
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:  658.05
 
Business Information Systems Workshops [electronic resource] : BIS 2014 International Workshops, Larnaca, Cyprus, May 22-23, 2014, Revised Papers
Tác giả: Witold Abramowicz, Angelika Kokkinaki
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:  658.05
 
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