Search Results for - Narrowed by: Algorithm Analysis and Problem Complexity. - Logics and Meanings of Programs. - Operating systems (Computers). SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Algorithm$002bAnalysis$002band$002bProblem$002bComplexity.$002509Algorithm$002bAnalysis$002band$002bProblem$002bComplexity.$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Subject$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026ps$003d300? 2024-06-21T12:19:09Z Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers ent://SD_ILS/0/SD_ILS:503799 2024-06-21T12:19:09Z 2024-06-21T12:19:09Z by&#160;Leucker, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89247-2">http://dx.doi.org/10.1007/978-3-540-89247-2</a><br/>Format:&#160;Electronic Resources<br/> A Modular Calculus for the Average Cost of Data Structuring ent://SD_ILS/0/SD_ILS:501743 2024-06-21T12:19:09Z 2024-06-21T12:19:09Z by&#160;Schellekens, Michel. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-73384-5">http://dx.doi.org/10.1007/978-0-387-73384-5</a><br/>Format:&#160;Electronic Resources<br/>