Catálogo bibliográfico FCT/UNL

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
From lambda calculus to cybersecurity through program analysis [Documento eletrónico] : essays dedicated to chris hankin on the occasion of his retirement / edited by Alessandra Di Pierro, Pasquale Malacaria, Rajagopal NagarajanPublication: Cham : Springer International Publishing, Springer, 2020Description: XIV, 293 p. : il.Availability:

Place hold
Founding mathematics on semantic conventions [Documento eletrónico] / by Casper Storm HansenPublication: Cham : Springer, 2021Description: XI, 256 p.Availability:

Place hold
Pages
Moodle da Biblioteca Slideshare da Biblioteca Siga-nos no Issuu Twitter da Biblioteca Instagram da Biblioteca Facebook da Biblioteca Blog da Biblioteca