Loại tài liệu:    Chỉ tìm trong: 
211-220 trong số 1932 kết quả
Advances on Mechanics, Design Engineering and Manufacturing III [electronic resource] : Proceedings of the International Joint Conference on Mechanics, Design Engineering & Advanced Manufacturing
Tác giả: Benoit Eynard, Paz Morer Camo, Manuel Paredes, Caterina Rizzi, Lionel Roucoules
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:  620.0042
 
Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14-18, 2021
Tác giả: Peggy Gregory, Philippe Kruchten, Casper Lassenius, Xiaofeng Wang
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
 
Semantic Systems. In the Era of Knowledge Graphs [electronic resource] : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7-10, 2020
Tác giả: Mehwish Alam, Eva Blomqvist, Victor de Boer, Paul Groth, Tobias Käfer, Peter Kieseberg, Sabrina Kirrane, Albert Meroño-Peñuela, Harshvardhan J Pandit, Tassilo Pellegrini
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.33
 
14th International Congress for Applied Mineralogy (ICAM2019) [electronic resource] : Belgorod State Technological University named after V. G. Shukhov, 23-27 September 2019, Belgorod, Russia
Tác giả: Sergey Glagolev
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  549
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Tác giả: Isil Dillig, Serdar Tasiran
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Tác giả: Shuvendu K Lahiri, Chao Wang
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.1
 
Principles of Security and Trust [electronic resource] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague
Tác giả: Flemming Nielson, David Sands
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 
Multiple-Aspect Analysis of Semantic Trajectories [electronic resource] : First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019
Tác giả: Stan Matwin, Chiara Renso, Konstantinos Tserpes
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.31
 
The Impact of Digital Technologies on Public Health in Developed and Developing Countries [electronic resource] : 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020
Tác giả: Bessam Abdulrazak, Hamdi Aloulou, Mohamed Jmaiel, Slim Kallel, Mounir Mokhtari
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.6
 
Bio-Inspired Models of Network, Information, and Computing Systems [electronic resource] : 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10--11, 2012, Revised
Tác giả: Gianni A Di Caro, Guy Theraulaz
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:  518.1
 

Truy cập nhanh danh mục