Del 13967Unity of Logic and ComputationGianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin ManeaHäftad769 kr
Del 12098Beyond the Horizon of ComputabilityMarcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno PaulyHäftad551 kr
Handbook of Formal Analysis and Verification in CryptographySedat Akleylek, Besik DunduaInbunden2 539 kr
-21%Hjärnans akilleshälar : hur din hjärna lurar dig, och vad du kan göra åt detAnders HansenInbunden·27229 kr289 kr