From Lambda Calculus to Cybersecurity Through Program Analysis

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Pierro, Alessandra Di, Malacaria, Pasquale, Nagarajan, Rajagopal
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Mathematics Optimization Computer Communication Networks Computer System Implementation
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/90014
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

id	oai:scholar.dlu.edu.vn:DLU123456789-90014
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-900142020-05-06T05:45:10Z From Lambda Calculus to Cybersecurity Through Program Analysis Pierro, Alessandra Di Malacaria, Pasquale Nagarajan, Rajagopal Mathematics Optimization Computer Communication Networks Computer System Implementation 2020-05-06T05:45:10Z 2020-05-06T05:45:10Z 2020 Book 978-3-030-41102-2 978-3-030-41103-9 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/90014 en Lecture Notes in Computer Science Springer Nature Switzerland AG application/pdf Springer International Publishing
institution	Thư viện Trường Đại học Đà Lạt
collection	Thư viện số
language	English
topic	Mathematics Optimization Computer Communication Networks Computer System Implementation
spellingShingle	Mathematics Optimization Computer Communication Networks Computer System Implementation Pierro, Alessandra Di Malacaria, Pasquale Nagarajan, Rajagopal From Lambda Calculus to Cybersecurity Through Program Analysis
format	Book
author	Pierro, Alessandra Di Malacaria, Pasquale Nagarajan, Rajagopal
author_facet	Pierro, Alessandra Di Malacaria, Pasquale Nagarajan, Rajagopal
author_sort	Pierro, Alessandra Di
title	From Lambda Calculus to Cybersecurity Through Program Analysis
title_short	From Lambda Calculus to Cybersecurity Through Program Analysis
title_full	From Lambda Calculus to Cybersecurity Through Program Analysis
title_fullStr	From Lambda Calculus to Cybersecurity Through Program Analysis
title_full_unstemmed	From Lambda Calculus to Cybersecurity Through Program Analysis
title_sort	from lambda calculus to cybersecurity through program analysis
publisher	Springer International Publishing
publishDate	2020
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/90014
_version_	1757652944238411776

From Lambda Calculus to Cybersecurity Through Program Analysis

Những quyển sách tương tự