Besik Dundua – författare
Visar alla böcker från författaren Besik Dundua. Handla med fri frakt och snabb leverans.
11 produkter
Handbook of Formal Analysis and Verification in Cryptography
Av Sedat Akleylek, Besik Dundua
Inbunden, 2023
2843 kr
Lägg i varukorg
This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols. The chapters give readers general knowledge and formal …
Handbook of Formal Analysis and Verification in Cryptography
Av Sedat Akleylek, Besik Dundua
Häftad, 2024
1048 kr
Lägg i varukorg
This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols. The chapters give readers general knowledge and formal …
Handbook of Formal Analysis and Verification in Cryptography
Av Besik Dundua, Sedat Akleylek
E-bok, 2023
1204 kr
Lägg i varukorg
This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols. The chapters give readers general knowledge and formal …
Handbook of Formal Analysis and Verification in Cryptography
Av Besik Dundua, Sedat Akleylek
E-bok, 2023
1231 kr
Lägg i varukorg
This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols. The chapters give readers general knowledge and formal …
Unity of Logic and Computation
19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings
Av Gianluca Della Vedova, Besik Dundua m. fl.
Häftad, 2023
792 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24–28, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. …
Unity of Logic and Computation
19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings
Av Florin Manea, Steffen Lempp m. fl.
E-bok, 2023
1007 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24–28, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. …
Logics in Artificial Intelligence
19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I
Av Giovanni Casini, Besik Dundua m. fl.
Häftad, 2025
743 kr
Lägg i varukorg
This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected …
Logics in Artificial Intelligence
19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I
Av Temur Kutsia, Besik Dundua m. fl.
E-bok, 2025
1007 kr
Lägg i varukorg
This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected …
Logics in Artificial Intelligence
19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part II
Av Giovanni Casini, Besik Dundua m. fl.
Häftad, 2025
743 kr
Lägg i varukorg
This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected …
Logics in Artificial Intelligence
19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II
Av Temur Kutsia, Besik Dundua m. fl.
E-bok, 2025
1007 kr
Lägg i varukorg
This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected …
