Search Results for Dundua, Besik.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDundua$00252C$002bBesik.$0026ps$003d300?dt=list
2026-06-02T10:18:08Z
HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY
ent://SD_ILS/0/SD_ILS:552799
2026-06-02T10:18:08Z
2026-06-02T10:18:08Z
Author Akleylek, Sedat. Dundua, Besik.<br/>Preferred Shelf Number QA76.9 .D335<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~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-02T10:18:08Z
2026-06-02T10:18:08Z
Author Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>