Search Results for - Narrowed by: Springer E-Book Collection - Logics and Meanings of Programs. - Discrete Mathematics in Computer Science. - Data Structures.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Konu$002509Discrete$002bMathematics$002bin$002bComputer$002bScience.$002509Discrete$002bMathematics$002bin$002bComputer$002bScience.$0026qf$003dSUBJECT$002509Konu$002509Data$002bStructures.$002509Data$002bStructures.$0026ps$003d300?2024-05-25T11:48:23ZComputer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4276802024-05-25T11:48:23Z2024-05-25T11:48:23ZYazar van Bevern, René. editor. (orcid)0000-0002-4805-218X<br/><a href="https://doi.org/10.1007/978-3-030-19955-5">https://doi.org/10.1007/978-3-030-19955-5</a><br/>Format: Electronic Resources<br/>Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283822024-05-25T11:48:23Z2024-05-25T11:48:23ZYazar Manea, Florin. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22996-2">https://doi.org/10.1007/978-3-030-22996-2</a><br/>Format: Electronic Resources<br/>Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289322024-05-25T11:48:23Z2024-05-25T11:48:23ZYazar Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682<br/><a href="https://doi.org/10.1007/978-3-030-21363-3">https://doi.org/10.1007/978-3-030-21363-3</a><br/>Format: Electronic Resources<br/>Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284892024-05-25T11:48:23Z2024-05-25T11:48:23ZYazar Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457<br/><a href="https://doi.org/10.1007/978-3-030-21571-2">https://doi.org/10.1007/978-3-030-21571-2</a><br/>Format: Electronic Resources<br/>Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2241942024-05-25T11:48:23Z2024-05-25T11:48:23ZYazar Khomenko, Victor. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91268-4">https://doi.org/10.1007/978-3-319-91268-4</a><br/>Format: Electronic Resources<br/>Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2240362024-05-25T11:48:23Z2024-05-25T11:48:23ZYazar Fomin, Fedor V. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format: Electronic Resources<br/>Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2269092024-05-25T11:48:23Z2024-05-25T11:48:23ZYazar Konstantinidis, Stavros. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94631-3">https://doi.org/10.1007/978-3-319-94631-3</a><br/>Format: Electronic Resources<br/>Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:2257922024-05-25T11:48:23Z2024-05-25T11:48:23ZYazar Day, Adam. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50062-1">https://doi.org/10.1007/978-3-319-50062-1</a><br/>Format: Electronic Resources<br/>Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2232192024-05-25T11:48:23Z2024-05-25T11:48:23ZYazar Weil, Pascal. editor.<br/><a href="https://doi.org/10.1007/978-3-319-58747-9">https://doi.org/10.1007/978-3-319-58747-9</a><br/>Format: Electronic Resources<br/>Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181022024-05-25T11:48:23Z2024-05-25T11:48:23ZYazar Echahed, Rachid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40530-8">http://dx.doi.org/10.1007/978-3-319-40530-8</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181282024-05-25T11:48:23Z2024-05-25T11:48:23ZYazar Han, Yo-Sub. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40946-7">http://dx.doi.org/10.1007/978-3-319-40946-7</a><br/>Format: Electronic Resources<br/>Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedingsent://SD_ILS/0/SD_ILS:231112024-05-25T11:48:23Z2024-05-25T11:48:23ZYazar Parisi-Presicce, Francesco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21145-9">http://dx.doi.org/10.1007/978-3-319-21145-9</a><br/>Format: Electronic Resources<br/>Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212872024-05-25T11:48:23Z2024-05-25T11:48:23ZYazar Giese, Holger. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09108-2">http://dx.doi.org/10.1007/978-3-319-09108-2</a><br/>Format: Electronic Resources<br/>