Loại tài liệu:    Chỉ tìm trong: 
201-210 trong số 1932 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
 
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
 
Principles of Security and Trust [electronic resource] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
Tác giả: Lujo Bauer, Ralf Küsters
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.8
 
Fundamental Approaches to Software Engineering [electronic resource] : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software
Tác giả: Jordi Cabot, Heike Wehrheim
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:  005.1
 
Advances in Intelligent Data Analysis XVIII [electronic resource] : 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings
Tác giả: Michael R Berthold, Ad Feelders, Georg Krempl
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.74
 
International Cooperation for Enhancing Nuclear Safety, Security, Safeguards and Non-proliferation [electronic resource] : Proceedings of the XXI Edoardo Amaldi Conference, Accademia Nazionale dei
Tác giả: Raymond Jeanloz, Micah Lowenthal, Luciano Maiani, Wolfango Plastino
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:  621
 
Smart Technologies for Precision Assembly [electronic resource] : 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers
Tác giả: Svetan Ratchev
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:  004
 
Security in Computer and Information Sciences [electronic resource] : First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers
Tác giả: Paolo Campegiani, Czachórski Tadeusz, Erol Gelenbe, Sokratis K Katsikas, Ioannis Komnios, Luigi Romano, Dimitrios Tzovaras
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.8
 
How AI Impacts Urban Living and Public Health [electronic resource] : 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings
Tác giả: Bessam Abdulrazak, Hamdi Aloulou, Cabrera María Fernanda, Mounir Mokhtari, Pagán José
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:  004.6
 

Truy cập nhanh danh mục