Arama Sonuçları Dundua, Besik.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dDundua$00252C$002bBesik.$0026ps$003d300?dt=list
2026-06-03T22:37:09Z
HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY
ent://SD_ILS/0/SD_ILS:552799
2026-06-03T22:37:09Z
2026-06-03T22:37:09Z
Yazar Akleylek, Sedat. Dundua, Besik.<br/>Yer Numarası QA76.9 .D335<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003090052">https://www.taylorfrancis.com/books/9781003090052</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521191
2026-06-03T22:37:09Z
2026-06-03T22:37:09Z
Yazar Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-36978-0">https://doi.org/10.1007/978-3-031-36978-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>