Search Results for - Narrowed by: Springer E-Book Collection - Computer science. - Computer system performance. - Programming Languages, Compilers, Interpreters. - Theory of Computation.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsystem$002bperformance.$002509Computer$002bsystem$002bperformance.$0026qf$003dSUBJECT$002509Konu$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$0026qf$003dSUBJECT$002509Konu$002509Theory$002bof$002bComputation.$002509Theory$002bof$002bComputation.$0026ps$003d300?2024-09-23T21:21:39ZFormal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217032024-09-23T21:21:39Z2024-09-23T21:21:39ZYazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472<br/><a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthdayent://SD_ILS/0/SD_ILS:2220152024-09-23T21:21:39Z2024-09-23T21:21:39ZYazar Jones, Cliff. editor.<br/><a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217832024-09-23T21:21:39Z2024-09-23T21:21:39ZYazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772<br/><a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217872024-09-23T21:21:39Z2024-09-23T21:21:39ZYazar Dutle, Aaron. editor.<br/><a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2214112024-09-23T21:21:39Z2024-09-23T21:21:39ZYazar Johnsen, Einar Broch. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2212082024-09-23T21:21:39Z2024-09-23T21:21:39ZYazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990<br/><a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2224702024-09-23T21:21:39Z2024-09-23T21:21:39ZYazar Chang, Bor-Yuh Evan. editor.<br/><a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format: Electronic Resources<br/>