Search Results for - Narrowed by: Springer E-Book Collection - Algorithm Analysis and Problem Complexity. - Computer system failures. - Computer logic.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Algorithm$002bAnalysis$002band$002bProblem$002bComplexity.$002509Algorithm$002bAnalysis$002band$002bProblem$002bComplexity.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsystem$002bfailures.$002509Computer$002bsystem$002bfailures.$0026qf$003dSUBJECT$002509Konu$002509Computer$002blogic.$002509Computer$002blogic.$0026ps$003d300?
2024-06-07T23:07:36Z
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:428340
2024-06-07T23:07:36Z
2024-06-07T23:07:36Z
Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441<br/><a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format: Electronic Resources<br/>
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:428950
2024-06-07T23:07:36Z
2024-06-07T23:07:36Z
Yazar Biondi, Fabrizio. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format: Electronic Resources<br/>
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:18411
2024-06-07T23:07:36Z
2024-06-07T23:07:36Z
Yazar Falcone, Yliès. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46982-9">http://dx.doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Electronic Resources<br/>
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:18233
2024-06-07T23:07:36Z
2024-06-07T23:07:36Z
Yazar Blanchette, Jasmin Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43144-4">http://dx.doi.org/10.1007/978-3-319-43144-4</a><br/>Format: Electronic Resources<br/>
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:21901
2024-06-07T23:07:36Z
2024-06-07T23:07:36Z
Yazar Dal Lago, Ugo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12466-7">http://dx.doi.org/10.1007/978-3-319-12466-7</a><br/>Format: Electronic Resources<br/>