Search Results for - Narrowed by: Springer E-Book Collection - Operating systems (Computers). - Information theory.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026qf$003dSUBJECT$002509Konu$002509Information$002btheory.$002509Information$002btheory.$0026ps$003d300?2024-05-14T19:53:22ZConstructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287602024-05-14T19:53:22Z2024-05-14T19:53:22ZYazar Polian, Ilia. editor. (orcid)0000-0002-6563-2725<br/><a href="https://doi.org/10.1007/978-3-030-16350-1">https://doi.org/10.1007/978-3-030-16350-1</a><br/>Format: Electronic Resources<br/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:2242052024-05-14T19:53:22Z2024-05-14T19:53:22ZYazar Clarke, Edmund M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Electronic Resources<br/>Transactions on Computational Science XXXIIIent://SD_ILS/0/SD_ILS:2219032024-05-14T19:53:22Z2024-05-14T19:53:22ZYazar Gavrilova, Marina L. editor.<br/><a href="https://doi.org/10.1007/978-3-662-58039-4">https://doi.org/10.1007/978-3-662-58039-4</a><br/>Format: Electronic Resources<br/>Transactions on Petri Nets and Other Models of Concurrency XIIIent://SD_ILS/0/SD_ILS:2218342024-05-14T19:53:22Z2024-05-14T19:53:22ZYazar Koutny, Maciej. editor.<br/><a href="https://doi.org/10.1007/978-3-662-58381-4">https://doi.org/10.1007/978-3-662-58381-4</a><br/>Format: Electronic Resources<br/>High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2262212024-05-14T19:53:22Z2024-05-14T19:53:22ZYazar Kunkel, Julian M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-58667-0">https://doi.org/10.1007/978-3-319-58667-0</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2226002024-05-14T19:53:22Z2024-05-14T19:53:22ZYazar Gaspers, Serge. editor. (orcid)0000-0002-6947-9238<br/><a href="https://doi.org/10.1007/978-3-319-66263-3">https://doi.org/10.1007/978-3-319-66263-3</a><br/>Format: Electronic Resources<br/>