Loại tài liệu:    Chỉ tìm trong: 
41-50 trong số 10780 kết quả
Turkey: Towards a Eurasian Shift?
Tác giả: Valeria Talbot
Xuất bản: Milano Italy: Ledizioni, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  327.561
 
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ở
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
 
, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Tác giả: Amal Ahmed
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.13
 
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
 
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April
Tác giả: Lujo Bauer, Ralf Küsters
Xuất bản: Cham: 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 : 21st International Conference, FASE 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki
Tác giả: Alessandra Russo, Andy Schürr
Xuất bản: New York NY: Springer Berlin Heidelberg, 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 
Principles of security and trust : 7th International Conference, POST 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14
Tác giả: Lujo Bauer, Ralf Küsters
Xuất bản: New York NY: Springer Berlin Heidelberg, 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.8
 
2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Tác giả: Ugo Dal Lago, Christel Baier
Xuất bản: : Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki
Tác giả: Alessandra Russo, Andy Schürr
Xuất bản: Cham Switzerland: Springer Nature, 2018
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