Search Results for - Narrowed by: Springer E-Book Collection - Theory of Computation. - Operating Systems. - SpringerLink (Online service) SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Theory$002bof$002bComputation.$002509Theory$002bof$002bComputation.$0026qf$003dSUBJECT$002509Konu$002509Operating$002bSystems.$002509Operating$002bSystems.$0026qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300? 2024-06-08T04:04:55Z Transactions on Petri Nets and Other Models of Concurrency XIII ent://SD_ILS/0/SD_ILS:221834 2024-06-08T04:04:55Z 2024-06-08T04:04:55Z Yazar&#160;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:&#160;Electronic Resources<br/> Transactions on Computational Science XXXIII ent://SD_ILS/0/SD_ILS:221903 2024-06-08T04:04:55Z 2024-06-08T04:04:55Z Yazar&#160;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:&#160;Electronic Resources<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 &ndash; September 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:222600 2024-06-08T04:04:55Z 2024-06-08T04:04:55Z Yazar&#160;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:&#160;Electronic Resources<br/>