Unity of Logic and ComputationFlorin Manea, Steffen Lempp, Besik Dundua, Gianluca Della Vedova E-bok2023978 kr
Del 13967Unity of Logic and ComputationGianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin ManeaHäftad, 2023783 kr
Del 12098Beyond the Horizon of ComputabilityMarcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno PaulyHäftad, 2020561 kr
Beyond the Horizon of ComputabilityArno Pauly, Florin Manea, Gianluca Della Vedova, Marcella Anselmo E-bok2020734 kr
Handbook of Formal Analysis and Verification in CryptographyBesik Dundua, Sedat Akleylek E-bok20231 143 kr
Handbook of Formal Analysis and Verification in CryptographySedat Akleylek, Besik DunduaHäftad, 20241 003 kr
Handbook of Formal Analysis and Verification in CryptographyBesik Dundua, Sedat Akleylek E-bok20231 143 kr
Del 16094Logics in Artificial IntelligenceGiovanni Casini, Besik Dundua, Temur KutsiaHäftad, 2025739 kr