Search Results for - Narrowed by: Springer E-Book Collection - Computer system failures. - Theory of Computation.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsystem$002bfailures.$002509Computer$002bsystem$002bfailures.$0026qf$003dSUBJECT$002509Konu$002509Theory$002bof$002bComputation.$002509Theory$002bof$002bComputation.$0026ps$003d300$0026isd$003dtrue?2024-06-15T10:50:55ZFundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288352024-06-15T10:50:55Z2024-06-15T10:50:55ZYazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750<br/><a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4276482024-06-15T10:50:55Z2024-06-15T10:50:55ZYazar Caires, Luís. editor. (orcid)0000-0002-3215-6734<br/><a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format: Electronic Resources<br/>Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287292024-06-15T10:50:55Z2024-06-15T10:50:55ZYazar Duan, Zhenhua. editor.<br/><a href="https://doi.org/10.1007/978-3-030-13651-2">https://doi.org/10.1007/978-3-030-13651-2</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282092024-06-15T10:50:55Z2024-06-15T10:50:55ZYazar Ölveczky, Peter Csaba. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Electronic Resources<br/>Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284112024-06-15T10:50:55Z2024-06-15T10:50:55ZYazar Nielson, Flemming. editor. (orcid)0000-0001-7362-6176<br/><a href="https://doi.org/10.1007/978-3-030-17138-4">https://doi.org/10.1007/978-3-030-17138-4</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4288492024-06-15T10:50:55Z2024-06-15T10:50:55ZYazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613<br/><a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283132024-06-15T10:50:55Z2024-06-15T10:50:55ZYazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X<br/><a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format: Electronic Resources<br/>High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181492024-06-15T10:50:55Z2024-06-15T10:50:55ZYazar Kunkel, Julian M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41321-1">http://dx.doi.org/10.1007/978-3-319-41321-1</a><br/>Format: Electronic Resources<br/>High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedingsent://SD_ILS/0/SD_ILS:230182024-06-15T10:50:55Z2024-06-15T10:50:55ZYazar Kunkel, Julian M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20119-1">http://dx.doi.org/10.1007/978-3-319-20119-1</a><br/>Format: Electronic Resources<br/>High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:226732024-06-15T10:50:55Z2024-06-15T10:50:55ZYazar Daydé, Michel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17353-5">http://dx.doi.org/10.1007/978-3-319-17353-5</a><br/>Format: Electronic Resources<br/>Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:210222024-06-15T10:50:55Z2024-06-15T10:50:55ZYazar Kunkel, Julian Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07518-1">http://dx.doi.org/10.1007/978-3-319-07518-1</a><br/>Format: Electronic Resources<br/>