Search Results for SpringerLink (Online service) - Narrowed by: Operating systems (Computers). - Theory of Computation. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Konu$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026qf$003dSUBJECT$002509Konu$002509Theory$002bof$002bComputation.$002509Theory$002bof$002bComputation.$0026ic$003dtrue$0026ps$003d300? 2024-08-22T04:26:22Z Transactions on Computational Science XXXIII ent://SD_ILS/0/SD_ILS:221903 2024-08-22T04:26:22Z 2024-08-22T04:26:22Z 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/> Transactions on Petri Nets and Other Models of Concurrency XIII ent://SD_ILS/0/SD_ILS:221834 2024-08-22T04:26:22Z 2024-08-22T04:26:22Z 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/> 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-08-22T04:26:22Z 2024-08-22T04:26:22Z 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/> High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18&ndash;22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:226221 2024-08-22T04:26:22Z 2024-08-22T04:26:22Z Yazar&#160;Kunkel, Julian M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-58667-0">https://doi.org/10.1007/978-3-319-58667-0</a><br/>Format:&#160;Electronic Resources<br/> Handbook of Model Checking ent://SD_ILS/0/SD_ILS:224205 2024-08-22T04:26:22Z 2024-08-22T04:26:22Z Yazar&#160;Clarke, Edmund M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format:&#160;Electronic Resources<br/>