Search Results for Bioinformatics. - Narrowed by: Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dBioinformatics.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-24T18:56:34Z Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398931 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Zhang, Fa. editor.&#160;Cai, Zhipeng. editor.&#160;Skums, Pavel. editor.&#160;Zhang, Shihua. 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-94968-0">https://doi.org/10.1007/978-3-319-94968-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> User-Level Workflow Design A Bioinformatics Perspective ent://SD_ILS/0/SD_ILS:335213 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335213.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399265 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;&#268;e&scaron;ka, Milan. editor. (orcid)0000-0002-0300-9727&#160;&Scaron;afr&aacute;nek, David. 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-99429-1">https://doi.org/10.1007/978-3-319-99429-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612080 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafa&#322;. editor. (orcid)0000-0001-9592-262X&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-59063-9">https://doi.org/10.1007/978-3-319-59063-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support Third International Workshop, DLMIA 2017, and 7th International Workshop, ML-CDS 2017, Held in Conjunction with MICCAI 2017, Qu&eacute;bec City, QC, Canada, September 14, Proceedings ent://SD_ILS/0/SD_ILS:618100 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Cardoso, M. Jorge. editor.&#160;Arbel, Tal. editor.&#160;Carneiro, Gustavo. editor.&#160;Syeda-Mahmood, Tanveer. editor. (orcid)0000-0003-0059-3208&#160;Tavares, Jo&atilde;o Manuel R.S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67558-9">https://doi.org/10.1007/978-3-319-67558-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:613748 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Liu, Derong. editor.&#160;Xie, Shengli. editor.&#160;Li, Yuanqing. editor.&#160;Zhao, Dongbin. editor.&#160;El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70136-3">https://doi.org/10.1007/978-3-319-70136-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures ent://SD_ILS/0/SD_ILS:334688 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Bernardo, Marco. editor.&#160;Vink, Erik. editor.&#160;Pierro, Alessandra. editor.&#160;Wiklicky, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334688.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings ent://SD_ILS/0/SD_ILS:335433 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Nishizaki, Shin-ya. editor.&#160;Numao, Masayuki. editor.&#160;Caro, Jaime. editor.&#160;Suarez, Merlin Teodosia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335433.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-4-431-54436-4">http://dx.doi.org/10.1007/978-4-431-54436-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings ent://SD_ILS/0/SD_ILS:203972 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Nishizaki, Shin-ya. editor.&#160;Numao, Masayuki. editor.&#160;Caro, Jaime. editor.&#160;Suarez, Merlin Teodosia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-4-431-54106-6">http://dx.doi.org/10.1007/978-4-431-54106-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196338 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Horimoto, Katsuhisa. editor.&#160;Nakatsui, Masahiko. editor.&#160;Popov, Nikolaj. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28067-2">http://dx.doi.org/10.1007/978-3-642-28067-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 11th International Conference, UCNC 2012, Orl&eacute;an, France, September 3-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197295 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Durand-Lose, J&eacute;r&ocirc;me. editor.&#160;Jonoska, Nata&scaron;a. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32894-7">http://dx.doi.org/10.1007/978-3-642-32894-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194669 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Calude, Cristian S. editor.&#160;Kari, Jarkko. editor.&#160;Petre, Ion. editor.&#160;Rozenberg, Grzegorz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21341-0">http://dx.doi.org/10.1007/978-3-642-21341-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192363 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Calude, Cristian S. editor.&#160;Hagiya, Masami. editor.&#160;Morita, Kenichi. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Timmis, Jon. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13523-1">http://dx.doi.org/10.1007/978-3-642-13523-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures ent://SD_ILS/0/SD_ILS:185637 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Bernardo, Marco. editor.&#160;Degano, Pierpaolo. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68894-5">http://dx.doi.org/10.1007/978-3-540-68894-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188592 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Horimoto, Katsuhisa. editor.&#160;Regensburger, Georg. editor.&#160;Rosenkranz, Markus. editor.&#160;Yoshida, Hiroshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85101-1">http://dx.doi.org/10.1007/978-3-540-85101-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188793 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Hornby, Gregory S. editor.&#160;Sekanina, Luk&aacute;&scaron;. editor.&#160;Haddow, Pauline C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85857-7">http://dx.doi.org/10.1007/978-3-540-85857-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186850 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Anai, Hirokazu. editor.&#160;Horimoto, Katsuhisa. editor.&#160;Kutsia, Temur. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73433-8">http://dx.doi.org/10.1007/978-3-540-73433-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings ent://SD_ILS/0/SD_ILS:187218 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Kang, Lishan. editor.&#160;Liu, Yong. editor.&#160;Zeng, Sanyou. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74626-3">http://dx.doi.org/10.1007/978-3-540-74626-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings ent://SD_ILS/0/SD_ILS:181842 2026-03-24T18:56:34Z 2026-03-24T18:56:34Z Author&#160;Moreno, J. Manuel. editor.&#160;Madrenas, Jordi. editor.&#160;Cosp, Jordi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11549703">http://dx.doi.org/10.1007/11549703</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>