Αποτελέσματα για Verified Voting Foundation Εμφανίζονται 1 - 10 Αποτελέσματα από 10 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=Verified+Voting+Foundation&type=AllFields&lng=el 10 0 50 Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / Thu, 01 Jan 2015 16:13:59 +0200 https://find.library.upatras.gr/Record/978-3-319-15201-1 https://find.library.upatras.gr/Record/978-3-319-15201-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Information Security 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings / Wed, 01 Jan 2003 16:13:59 +0200 https://find.library.upatras.gr/Record/978-3-540-39981-0 https://find.library.upatras.gr/Record/978-3-540-39981-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Security and Protection in Information Processing Systems IFIP 18th World Computer Congress TC11 19th International Information Security Conference 22–27 August 2004 Toulouse, France / Thu, 01 Jan 2004 16:13:59 +0200 https://find.library.upatras.gr/Record/978-1-4020-8143-9 https://find.library.upatras.gr/Record/978-1-4020-8143-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / Tue, 01 Jan 2008 16:13:59 +0200 https://find.library.upatras.gr/Record/978-3-540-87873-5 https://find.library.upatras.gr/Record/978-3-540-87873-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings / Tue, 01 Jan 2013 16:13:59 +0200 https://find.library.upatras.gr/Record/978-3-642-38574-2 https://find.library.upatras.gr/Record/978-3-642-38574-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2013 0 Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / Sun, 01 Jan 2017 16:13:59 +0200 https://find.library.upatras.gr/Record/978-3-319-66107-0 https://find.library.upatras.gr/Record/978-3-319-66107-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 0 Towards Trustworthy Elections New Directions in Electronic Voting / Fri, 01 Jan 2010 16:13:59 +0200 https://find.library.upatras.gr/Record/978-3-642-12980-3 https://find.library.upatras.gr/Record/978-3-642-12980-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures / Wed, 01 Jan 2014 16:13:59 +0200 https://find.library.upatras.gr/Record/978-3-319-10082-1 https://find.library.upatras.gr/Record/978-3-319-10082-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2014 0 Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows / Tue, 01 Jan 2019 16:13:59 +0200 https://find.library.upatras.gr/Record/978-3-030-19052-1 https://find.library.upatras.gr/Record/978-3-030-19052-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings / Tue, 01 Jan 2008 16:13:59 +0200 https://find.library.upatras.gr/Record/978-3-540-77566-9 https://find.library.upatras.gr/Record/978-3-540-77566-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0