Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 4 from your keywords: author=Cid, David Duenas
cover
Electronic Voting: 9th International Joint Conference, E-Vote-ID 2024, Tarrag…
Comment Share
Volkamer, MelanieROENNE, PeterCid, David Duenas

This open access book constitutes the proceedings of the 9th International Joint Conference on Electronic Voting, E-Vote-ID 2024, held in Tarragona, Spain, during October 2-4, 2024. The 10 full papers included in this book were carefully reviewed and selected from 36 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The pap…

Edition
1
ISBN/ISSN
978-3-031-72244-8
Collation
XI, 175
Series Title
-
Call Number
-
cover
Electronic Voting: 9th International Joint Conference, E-Vote-ID 2024, Tarrag…
Comment Share
Volkamer, MelanieCID, David Duenas-ROENNE, Peter

Buku akses terbuka ini merupakan hasil dari Konferensi Gabungan Internasional ke-9 tentang Pemungutan Suara Elektronik, E-Vote-ID 2024, yang diadakan di Tarragona, Spanyol, selama 2-4 Oktober 2024. Sepuluh makalah lengkap yang disertakan dalam buku ini ditinjau dan dipilih secara saksama dari 36 kiriman. Makalah-makalah tersebut menyajikan penelitian tentang semua aspek mekanisasi penalaran den…

Edition
1
ISBN/ISSN
978-3-031-72244-8
Collation
1 online resource ( XI, 175 Pages)
Series Title
-
Call Number
324.65 CID e
cover
Electronic Voting: 8th International Joint Conference, E-Vote-ID 2023, Luxemb…
Comment Share
Volkamer, MelanieCID, David Duenas-RONNE, Peter

Buku akses terbuka ini merupakan hasil dari Konferensi Gabungan Internasional ke-8 tentang Pemungutan Suara Elektronik yang diselenggarakan di Luxemburg pada bulan Oktober 2023. Konferensi ini mengumpulkan perdebatan paling relevan tentang pengembangan Pemungutan Suara Elektronik, dari aspek yang berkaitan dengan keamanan dan kegunaan hingga pengalaman praktis dan penerapan sistem pemungutan su…

Edition
1
ISBN/ISSN
978-3-031-43756-4
Collation
1 online resource (X, 156 Pages)
Series Title
Lecture Notes in Computer Science
Call Number
324.65 VOL e
cover
Electronic Voting: 7th International Joint Conference, E-Vote-ID 2022, Bregen…
Comment Share
KRIMMER, RobertVOLKAME, MelanieCID, David Duenas-

This open access book LNCS 13353 constitutes the proceedings of the 7th International Conference on Electronic Voting, E-Vote-ID 2022, held in Bregenz, Austria, in October 2022. The 10 full papers presented were carefully reviewed and selected from 39 submissions. The conference collected the most relevant debates on the development of Electronic Voting, from aspects relating to security and u…

Edition
1
ISBN/ISSN
9783031159114
Collation
XII, 185
Series Title
-
Call Number
-