Alessandra Di Pierro | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

FROM LAMBDA CALCULUS TO CYBERSECURITY THROUGH PROGRAM ANALYSIS - ESSAYS DEDICATED TO CHRIS HANKIN ON THE OCCASION OF HIS RETIREM

Alessandra Di Pierro; Pasquale Malacaria; Rajagopal Nagarajan
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES - 10TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF

Alessandro Aldini; Marco Bernardo; Alessandra Di Pierro; Herbert Wiklicky
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR DYNAMICAL SYSTEMS - 13TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION, AN

Marco Bernardo; Erik de Vink; Alessandra Di Pierro; Herbert Wiklicky
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

45,80 €

From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirem

Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan

49,60 €

Springer Nature Switzerland AG
Sivumäärä: 293 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2020
Julkaisuvuosi: 2020, 15.02.2020 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

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 the Institute for Security Science and Technology and a Professor of Computing Science.

His research is in cyber security, data analytics and semantics-based program analysis. He leads multidisciplinary projects focused on developing advanced visual analytics and providing better decision support to defend against cyber attacks.

This Festschrift is a collection of scientific contributions related to the topics that have marked the research career of Professor Chris Hankin. The contributions have been written to honour Chris' career and on the occasion of his retirement.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus