Your search returned 2 results.

Results
	1.	Electronic Voting [electronic resource] : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings / by Krimmer, Robert [editor.] Volkamer, Melanie [editor.] Cortier, Véronique [editor.] Goré, Rajeev [editor.] Hapsara, Manik [editor.] Serdült, Uwe [editor.] Duenas-Cid, David [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11143 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Automated Reasoning [electronic resource] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings / by Gore, Rajeev [editor.] Leitsch, Alexander [editor.] Nipkow, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2083 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search