Loại tài liệu:    Chỉ tìm trong: 
71-79 trong số 79 kết quả
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
 
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
 
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
 
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
 
AI Knowledge Transfer from the University to Society : Applications in High-Impact Sectors
Tác giả: José Guadix Martín, Milica Lilic, Milica Lilic, José Guadix Martín, Marina Rosales Martínez, Marina Rosales Martínez
Xuất bản: Boca Raton FL Abingdon Oxon: Taylor Francis, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Solving PDEs in Python [electronic resource] : The FEniCS Tutorial I
Tác giả: Hans Petter Langtangen, Anders Logg
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
Phantasmal media : an approach to imagination, computation, and expression
Tác giả: D Fox Harrell
Xuất bản: Cambridge Massachusetts: MIT Press, 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc:  303.4834
 

Truy cập nhanh danh mục