Del 13967Unity of Logic and ComputationGianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin ManeaHäftad768 kr
Del 12098Beyond the Horizon of ComputabilityMarcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno PaulyHäftad550 kr
Handbook of Formal Analysis and Verification in CryptographySedat Akleylek, Besik DunduaInbunden2 526 kr
Signerad!SIGNERAD - Där färgen får styra : En berättelse i akvarellMaximilian Svensson, Linda NewnhamInbunden319 kr