Related Books

From Lambda Calculus to Cybersecurity Through Program Analysis
Language: en
Pages: 300
Authors: Alessandra Di Pierro
Categories: Mathematics
Type: BOOK - Published: 2020-02-14 - Publisher: Springer Nature

GET EBOOK

This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday. Chris Hankin is a Fellow of
From Lambda Calculus to Cybersecurity Through Program Analysis
Language: en
Pages: 293
Authors:
Categories: Computer security
Type: BOOK - Published: 2020 - Publisher:

GET EBOOK

This Festschrift celebrates Chris Hankin's career and was written on the occasion of his retirement. The volume collects contributions from colleagues, collabor
Trust, Privacy and Security in Digital Business
Language: en
Pages: 233
Authors: Stefanos Gritzalis
Categories: Computers
Type: BOOK - Published: 2020-09-13 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed proceedings of the 17th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2020, held in B
Software Engineering and Formal Methods
Language: en
Pages: 339
Authors: Frank de Boer
Categories: Computers
Type: BOOK - Published: 2020-09-11 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, Th
Intelligent Biomedical Technologies and Applications for Healthcare 5.0
Language: en
Pages: 306
Authors: Lalit Garg
Categories: Computers
Type: BOOK - Published: 2024-10-17 - Publisher: Elsevier

GET EBOOK

Intelligent Biomedical Technologies and Applications for Healthcare 5.0, Volume Sixteen covers artificial health intelligence, biomedical image analysis, 5G, th