Arama Sonu&ccedil;lar&#305; Discrete Mathematics. - Daralt&#305;lm&#305;&#351;: Computers. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dDiscrete$002bMathematics.$0026qf$003dSUBJECT$002509Konu$002509Computers.$002509Computers.$0026te$003dILS$0026ps$003d300?dt=list 2026-03-30T20:08:35Z Number-Theoretic Methods in Cryptology 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607288 2026-03-30T20:08:35Z 2026-03-30T20:08:35Z Yazar&#160;D&#261;browski, Andrzej. editor. (orcid)0000-0002-1524-4871&#160;Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466&#160;Pomyka&#322;a, Jacek. editor. (orcid)0000-0002-6480-5751&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-82380-0">https://doi.org/10.1007/978-3-031-82380-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Privately and Publicly Verifiable Computing Techniques A Survey ent://SD_ILS/0/SD_ILS:614683 2026-03-30T20:08:35Z 2026-03-30T20:08:35Z Yazar&#160;Demirel, Denise. author.&#160;Schabh&uuml;ser, Lucas. author.&#160;Buchmann, Johannes. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-53798-6">https://doi.org/10.1007/978-3-319-53798-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications ent://SD_ILS/0/SD_ILS:617536 2026-03-30T20:08:35Z 2026-03-30T20:08:35Z Yazar&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Constructive Side-Channel Analysis and Secure Design 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616150 2026-03-30T20:08:35Z 2026-03-30T20:08:35Z Yazar&#160;Standaert, Fran&ccedil;ois-Xavier. editor.&#160;Oswald, Elisabeth. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-43283-0">https://doi.org/10.1007/978-3-319-43283-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>