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
 
Business Modeling and Software Design [electronic resource] : 5th International Symposium, BMSD 2015, Milan, Italy, July 6-8, 2015, Revised Selected Papers
Tác giả: Boris Shishkov
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  658.4038
 
Business Information Systems [electronic resource] : 19th International Conference, BIS 2016, Leipzig, Germany, July, 6-8, 2016, Proceedings
Tác giả: Witold Abramowicz, Rainer Alt, Bogdan Franczyk
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.312
 
Business Information Systems Workshops [electronic resource] : BIS 2017 International Workshops, Poznań, Poland, June 28-30, 2017, Revised Papers
Tác giả: Witold Abramowicz
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  658.4038
 
Business Information Systems Workshops [electronic resource] : BIS 2016 International Workshops, Leipzig, Germany, July 6-8, 2016, Revised Papers
Tác giả: Witold Abramowicz, Rainer Alt, Bogdan Franczyk
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  658.4038
 
Business Modeling and Software Design [electronic resource] : 6th International Symposium, BMSD 2016, Rhodes, Greece, June 20-22, 2016, Revised Selected Papers
Tác giả: Boris Shishkov
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.3
 

Truy cập nhanh danh mục