Search Results for Computer system performance. - Narrowed by: Beyer, Dirk. editor. (orcid)0000-0003-4832-7662SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bsystem$002bperformance.$0026qf$003dAUTHOR$002509Yazar$002509Beyer$00252C$002bDirk.$002beditor.$002b$002528orcid$0025290000-0003-4832-7662$002509Beyer$00252C$002bDirk.$002beditor.$002b$002528orcid$0025290000-0003-4832-7662$0026ps$003d300?2024-08-21T20:22:11ZTools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4286422024-08-21T20:22:11Z2024-08-21T20:22:11ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format: Electronic Resources<br/>Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4276872024-08-21T20:22:11Z2024-08-21T20:22:11ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format: Electronic Resources<br/>