Rajeev Gore – författare
Visar alla böcker från författaren Rajeev Gore. Handla med fri frakt och snabb leverans.
6 produkter
Advances in Modal Logic Volume 10
Av Rajeev Gore, Barteld Kooi m. fl.
Häftad, 2014
300 kr
Lägg i varukorg
Electronic Voting
Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings
Av Robert Krimmer, Melanie Volkamer m. fl.
Häftad, 2018
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Joint Conference on Electronic Voting, E-Vote-ID 2018, held in Bregenz, Austria, in October 2018.The 13 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers deal with …
Electronic Voting
Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings
Av David Duenas-Cid, Uwe Serdult m. fl.
E-bok, 2018
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Joint Conference on Electronic Voting, E-Vote-ID 2018, held in Bregenz, Austria, in October 2018. The 13 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers deal with …
Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Av Rajeev Gore, Alexander Leitsch m. fl.
Häftad, 2001
1126 kr
Lägg i varukorg
The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into various disparate groups, each with its own conference: the Conference on Automated Reasoning (CADE), the International Workshop on First-Order Theorem Proving (FTP), and the International Conference on - …
Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Av Tobias Nipkow, Alexander Leitsch m. fl.
E-bok, 2003
1427 kr
Lägg i varukorg
