Home Advanced Search
Advanced Search - Page 1
Handbook of Formal Analysis and Verification in Cryptography
- English
- Year: 2024
- Author: Sedat Akleylek, Besik Dundua
Handbook of Formal Analysis and Verification in Cryptography
- English
- Year: 2023
- Author: Sedat Akleylek (editor), Besik Dundua (editor)
Şifrelerin Matematiği: Kriptografi
- Turkish
- Year: 2009
- Author: Canan Çimen; Sedat Akleylek; Ersan Akyıldız
Unity of Logic and Computation. 19th Conference on Computability in Europe, CiE 2023 Batumi, Georgia, July 24–28, 2023 Proceedings
- English
- Year: 2023
- Author: Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
Türkiye'de Kamu Hizmeti ve İmtiyazın Dönüşüm Öyküsü
- Turkish
- Year: 2008
- Author: Sedat Çal
Uluslararası Yatırım Tahkimi ve Kamu Hukuku İlişkisi
- Turkish
- Year: 2009
- Author: Sedat Çal
Hitit Çağında Anadolu: Çivi yazılı ve hiyeroglif yazılı kaynaklar
- Turkish
- Year: 2001
- Author: Sedat Alp
