Search Results for Bioinformatics. - Narrowed by: Computer logic.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dBioinformatics.$0026qf$003dSUBJECT$002509Konu$002509Computer$002blogic.$002509Computer$002blogic.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2024-10-04T05:56:48ZFormal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215062024-10-04T05:56:48Z2024-10-04T05:56:48ZYazar Fages, François. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10398-3">http://dx.doi.org/10.1007/978-3-319-10398-3</a><br/>Format: Electronic Resources<br/>Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184162024-10-04T05:56:48Z2024-10-04T05:56:48ZYazar Cinquemani, Eugenio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-47151-8">http://dx.doi.org/10.1007/978-3-319-47151-8</a><br/>Format: Electronic Resources<br/>Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:235512024-10-04T05:56:48Z2024-10-04T05:56:48ZYazar Abate, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26916-0">http://dx.doi.org/10.1007/978-3-319-26916-0</a><br/>Format: Electronic Resources<br/>Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:235902024-10-04T05:56:48Z2024-10-04T05:56:48ZYazar Maler, Oded. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27656-4">http://dx.doi.org/10.1007/978-3-319-27656-4</a><br/>Format: Electronic Resources<br/>Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231342024-10-04T05:56:48Z2024-10-04T05:56:48ZYazar Xu, Dachuan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21398-9">http://dx.doi.org/10.1007/978-3-319-21398-9</a><br/>Format: Electronic Resources<br/>Answer Set Programmingent://SD_ILS/0/SD_ILS:4281052024-10-04T05:56:48Z2024-10-04T05:56:48ZYazar Lifschitz, Vladimir. author.<br/><a href="https://doi.org/10.1007/978-3-030-24658-7">https://doi.org/10.1007/978-3-030-24658-7</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:233072024-10-04T05:56:48Z2024-10-04T05:56:48ZYazar Davis, Jesse. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23708-4">http://dx.doi.org/10.1007/978-3-319-23708-4</a><br/>Format: Electronic Resources<br/>Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283262024-10-04T05:56:48Z2024-10-04T05:56:48ZYazar Mercaş, Robert. editor. (orcid)0000-0001-6034-433X<br/><a href="https://doi.org/10.1007/978-3-030-28796-2">https://doi.org/10.1007/978-3-030-28796-2</a><br/>Format: Electronic Resources<br/>Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedingsent://SD_ILS/0/SD_ILS:229112024-10-04T05:56:48Z2024-10-04T05:56:48ZYazar Shallit, Jeffrey. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19225-3">http://dx.doi.org/10.1007/978-3-319-19225-3</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:246102024-10-04T05:56:48Z2024-10-04T05:56:48ZYazar Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45231-8">http://dx.doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Electronic Resources<br/>