Search Results for - Narrowed by: Programming Techniques. - Information theory.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026ps$003d300?2024-06-14T16:20:37ZProgramming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852722024-06-14T16:20:37Z2024-06-14T16:20:37Zby 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/>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:20851252024-06-14T16:20:37Z2024-06-14T16:20:37Zby 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/>Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:20852752024-06-14T16:20:37Z2024-06-14T16:20:37Zby Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786<br/><a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20859142024-06-14T16:20:37Z2024-06-14T16:20:37Zby Beyersdorff, Olaf. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice Vent://SD_ILS/0/SD_ILS:5018632024-06-14T16:20:37Z2024-06-14T16:20:37Zby Riolo, Rick. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-76308-8">http://dx.doi.org/10.1007/978-0-387-76308-8</a><br/>Format: Electronic Resources<br/>Principles of the Spin Model Checkerent://SD_ILS/0/SD_ILS:5024222024-06-14T16:20:37Z2024-06-14T16:20:37Zby Ben-Ari, Mordechai. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-770-1">http://dx.doi.org/10.1007/978-1-84628-770-1</a><br/>Format: Electronic Resources<br/>CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036202024-06-14T16:20:37Z2024-06-14T16:20:37Zby Breugel, Franck. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85361-9">http://dx.doi.org/10.1007/978-3-540-85361-9</a><br/>Format: Electronic Resources<br/>Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papersent://SD_ILS/0/SD_ILS:5032382024-06-14T16:20:37Z2024-06-14T16:20:37Zby Kordon, Fabrice. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77419-8">http://dx.doi.org/10.1007/978-3-540-77419-8</a><br/>Format: Electronic Resources<br/>Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lecturesent://SD_ILS/0/SD_ILS:5037382024-06-14T16:20:37Z2024-06-14T16:20:37Zby Horváth, Zoltán. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88059-2">http://dx.doi.org/10.1007/978-3-540-88059-2</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice IVent://SD_ILS/0/SD_ILS:5057422024-06-14T16:20:37Z2024-06-14T16:20:37Zby Riolo, Rick. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-49650-4">http://dx.doi.org/10.1007/978-0-387-49650-4</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice IIIent://SD_ILS/0/SD_ILS:5047322024-06-14T16:20:37Z2024-06-14T16:20:37Zby Yu, Tina. editor.<br/><a href="http://dx.doi.org/10.1007/0-387-28111-8">http://dx.doi.org/10.1007/0-387-28111-8</a><br/>Format: Electronic Resources<br/>Theoretical Introduction to Programmingent://SD_ILS/0/SD_ILS:5084852024-06-14T16:20:37Z2024-06-14T16:20:37Zby Mills, Bruce. author.<br/><a href="http://dx.doi.org/10.1007/1-84628-263-2">http://dx.doi.org/10.1007/1-84628-263-2</a><br/>Format: Electronic Resources<br/>Interactive Computation The New Paradigment://SD_ILS/0/SD_ILS:5112242024-06-14T16:20:37Z2024-06-14T16:20:37Zby Goldin, Dina. editor.<br/><a href="http://dx.doi.org/10.1007/3-540-34874-3">http://dx.doi.org/10.1007/3-540-34874-3</a><br/>Format: Electronic Resources<br/>Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004ent://SD_ILS/0/SD_ILS:5065062024-06-14T16:20:37Z2024-06-14T16:20:37Zby Broy, Manfred. editor.<br/><a href="http://dx.doi.org/10.1007/1-4020-3532-2">http://dx.doi.org/10.1007/1-4020-3532-2</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice IIent://SD_ILS/0/SD_ILS:5041242024-06-14T16:20:37Z2024-06-14T16:20:37Zby O’Reilly, Una-May. editor.<br/><a href="http://dx.doi.org/10.1007/b101112">http://dx.doi.org/10.1007/b101112</a><br/>Format: Electronic Resources<br/>