Besik Dundua

Besik Dundua

ספרים

ספרים משותפים ואוספים

ספרים שבהם Besik Dundua מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Handbook of Formal Analysis and Verification in CryptographySedat Akleylek

Handbook of Formal Analysis and Verification in Cryptography

Sedat Akleylek · 2023

Unity of Logic and ComputationGianluca Della Vedova

Unity of Logic and Computation

Gianluca Della Vedova · 2023