UPA PERPUSTAKAAN UNEJ | NPP. 3509212D1000001

Filter by

Publication Year
Availability

On Shelf
Attachment

PDF

Audio

Video
Collection Type
General Material Designation

Text

Art Original

Chart

Computer Software

Diorama

Filmstrip

Flash Card

Game

Globe

Kit

Map

Microform

Manuscript

Model

Motion Picture

Microscope Slide

Music

Picture

Realia

Slide

Sound Recording

Technical Drawing

Transparency

Video Recording

Equipment

Computer File

CD-ROM

Multimedia

Electronic Resource

Digital Versatile Disc

Buku
See More
Location

My Library
Language

English

Indonesia

Found 1 from your keywords: author=ROENNE, Peter

Sort by

Electronic Voting: 9th International Joint Conference, E-Vote-ID 2024, Tarrag…

Volkamer, Melanie CID, David Duenas-ROENNE, Peter

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: 9783031722448
Collation: XI, 175
Series Title: -
Call Number: -

Availability0

Add to basket

MARC Download Cite

Icons made by Freepik from www.flaticon.com