Loại tài liệu:    Chỉ tìm trong: 
101-110 trong số 112 kết quả
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
Xuất bản: Cham, Switzerland: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conference...
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
 
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
Tác giả: Dirk Beyer, Dirk Beyer, Marieke Huisman, Marieke Huisman, Fabrice Kordon, Fabrice Kordon, Bernhard Steffen, Bernhard Steffen
Xuất bản: Cham, Switzerland: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Deploying OpenStack
Tác giả: Ken Pepple
Xuất bản: Sebastopol, CA: O'Reilly , 2011.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.6782
 
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
Xuất bản: Cham, Switzerland: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Fundamental Approaches to Software Engineering [electronic resource] : 24th International Conference, FASE 2021, Held as...
Tác giả: Esther Guerra, Mariëlle Stoelinga
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
The Privacy Engineer's Manifesto [electronic resource] : Getting from Policy to Code to QA to Value
Tác giả: Michelle Dennedy, Tom Finneran, Jonathan Fox
Xuất bản: Berkeley, CA: Apress : Imprint: Apress , 2014
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.8
 
Platform Embedded Security Technology Revealed [electronic resource] : Safeguarding the Future of Computing with Intel E...
Tác giả: Xiaoyu Ruan
Xuất bản: Springer Nature , 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 
A Practical Guide to TPM 2.0 [electronic resource] : Using the Trusted Platform Module in the New Age of Security
Tác giả: Will Arthur, David Challener
Xuất bản: Apress , 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory
Tác giả: Dirk Beyer, Marieke Huisman
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
 

Truy cập nhanh danh mục