Unity of Logic and ComputationFlorin Manea, Steffen Lempp, Besik Dundua, Gianluca Della Vedova E-bok2023985 kr
Del 13967Unity of Logic and ComputationGianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin ManeaHäftad, 2023801 kr
Del 12098Beyond the Horizon of ComputabilityMarcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno PaulyHäftad, 2020574 kr
Beyond the Horizon of ComputabilityArno Pauly, Florin Manea, Gianluca Della Vedova, Marcella Anselmo E-bok2020739 kr
Handbook of Formal Analysis and Verification in CryptographyBesik Dundua, Sedat Akleylek E-bok20231 204 kr
Handbook of Formal Analysis and Verification in CryptographySedat Akleylek, Besik DunduaHäftad, 20241 018 kr
Handbook of Formal Analysis and Verification in CryptographyBesik Dundua, Sedat Akleylek E-bok20231 204 kr
Handbook of Formal Analysis and Verification in CryptographySedat Akleylek, Besik DunduaInbunden, 20232 762 kr