Loại tài liệu:    Chỉ tìm trong: 
301-310 trong số 2386 kết quả
Open Source Systems: Towards Robust Practices [electronic resource] : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings
Tác giả: Federico Balaguer, Roberto Di Cosmo, Alejandra Garrido, Fabio Kon, Gregorio Robles, Stefano Zacchiroli
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
 
Security of Networks and Services in an All-Connected World [electronic resource] : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich
Tác giả: Badonnel Rémi, Robert Koch, Burkhard Stiller, Daphne Tuncer
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:  004.6
 
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
 
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part
Tác giả: Hana Chockler, Georg Weissenbacher
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 

Truy cập nhanh danh mục