Robert Krimmer; Melanie Volkamer; Veronique Cortier; Bernhard Beckert; Ralf Küsters; Uwe Serdült; David Duenas-Cid Springer Nature Switzerland AG (2019) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Robert Krimmer; Melanie Volkamer; Bernhard Beckert; Ralf Küsters; Oksana Kulyk; David Duenas-Cid; Mihkel Solvak Springer Nature Switzerland AG (2020) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Robert Krimmer; Melanie Volkamer; David Duenas-Cid; Oksana Kulyk; Peter Rønne; Mihkel Solvak; Micha Germann Springer Nature Switzerland AG (2021) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Melanie Volkamer (ed.); David Duenas-Cid (ed.); Peter Rønne (ed.); Peter Y. A. Ryan (ed.); Jurlind Budurushi (ed.); Kulyk Springer (2023) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Springer Sivumäärä: 175 sivua Asu: Pehmeäkantinen kirja Painos: 2025 Julkaisuvuosi: 2024, 24.10.2024 (lisätietoa) Kieli: Englanti
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 papers cover a wide range of topics connected with electronic voting, including experiences and revisions of the actual uses of E-voting systems and corresponding processes in elections.