Search Results for Computer logic. - Narrowed by: Bioinformatics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002blogic.$0026qf$003dSUBJECT$002509Subject$002509Bioinformatics.$002509Bioinformatics.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-20T22:22:04Z From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career ent://SD_ILS/0/SD_ILS:602930 2026-03-20T22:22:04Z 2026-03-20T22:22:04Z Author&#160;Cantone, Domenico. editor. (orcid)0000-0002-1306-1166&#160;Pulvirenti, Alfredo. editor. (orcid)0000-0002-9764-0295&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-55248-9">https://doi.org/10.1007/978-3-031-55248-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483463 2026-03-20T22:22:04Z 2026-03-20T22:22:04Z Author&#160;Cowen, Lenore J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17083-7">https://doi.org/10.1007/978-3-030-17083-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:487004 2026-03-20T22:22:04Z 2026-03-20T22:22:04Z Author&#160;Holmes, Ian. editor. (orcid)0000-0001-7639-5369&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Vega-Rodr&iacute;guez, Miguel A. editor. (orcid)0000-0002-3003-758X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-18174-1">https://doi.org/10.1007/978-3-030-18174-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616190 2026-03-20T22:22:04Z 2026-03-20T22:22:04Z Author&#160;Feret, J&eacute;r&ocirc;me. editor.&#160;Koeppl, Heinz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67471-1">https://doi.org/10.1007/978-3-319-67471-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616257 2026-03-20T22:22:04Z 2026-03-20T22:22:04Z Author&#160;Cinquemani, Eugenio. editor.&#160;Donz&eacute;, Alexandre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47151-8">https://doi.org/10.1007/978-3-319-47151-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods in Macro-Biology First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485677 2026-03-20T22:22:04Z 2026-03-20T22:22:04Z Author&#160;Fages, Fran&ccedil;ois. editor.&#160;Piazza, Carla. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10398-3">https://doi.org/10.1007/978-3-319-10398-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>