Loại tài liệu:    Chỉ tìm trong: 
Tìm được 5 kết quả
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
 
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dirk Beyer, Marieke Huisman
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
 
Boolean Functions and Their Applications in Cryptography [electronic resource]
Tác giả: Chuan-Kun Wu, Dengguo Feng
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.54
 
Balancing Agility and Formalism in Software Engineering [electronic resource] : Second IFIP TC 2 Central and East Europe...
Tác giả: Bertrand Meyer, JR Nawrocki, Bartosz Walter
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2008
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Bluetooth Security Attacks [electronic resource] : Comparative Analysis, Attacks, and Countermeasures
Tác giả: Keijo Haataja, Konstantin Hyppönen, Sanna Pasanen, Pekka Toivanen
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.54
 
1

Truy cập nhanh danh mục