Search Results for Software Design. - Narrowed by: Bioinformatics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bDesign.$0026qf$003dSUBJECT$002509Konu$002509Bioinformatics.$002509Bioinformatics.$0026ps$003d300?dt=list 2026-03-23T20:51:16Z 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-23T20:51:16Z 2026-03-23T20:51:16Z 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/> 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-23T20:51:16Z 2026-03-23T20:51:16Z 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/> Applications of Computational Tools in Drug Design and Development ent://SD_ILS/0/SD_ILS:608552 2026-03-23T20:51:16Z 2026-03-23T20:51:16Z Author&#160;Rao G., S.N. Koteswara. editor.&#160;Alavala, Rajasekhar Reddy. editor. (orcid)0000-0002-2610-8111&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4154-3">https://doi.org/10.1007/978-981-96-4154-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Simulation-Based Disciplines Advancing Our Computational Future ent://SD_ILS/0/SD_ILS:614203 2026-03-23T20:51:16Z 2026-03-23T20:51:16Z Author&#160;Mittal, Saurabh. editor.&#160;Durak, Umut. editor.&#160;&Ouml;ren, Tuncer. 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-61264-5">https://doi.org/10.1007/978-3-319-61264-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616137 2026-03-23T20:51:16Z 2026-03-23T20:51:16Z Author&#160;Brijder, Robert. editor.&#160;Qian, Lulu. 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-66799-7">https://doi.org/10.1007/978-3-319-66799-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture Exploration of FPGA Based Accelerators for BioInformatics Applications ent://SD_ILS/0/SD_ILS:612067 2026-03-23T20:51:16Z 2026-03-23T20:51:16Z Author&#160;Varma, B. Sharat Chandra. author.&#160;Paul, Kolin. author.&#160;Balakrishnan, M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-0591-6">https://doi.org/10.1007/978-981-10-0591-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Physarum Machines Sensing and Computing with Slime Mould ent://SD_ILS/0/SD_ILS:617627 2026-03-23T20:51:16Z 2026-03-23T20:51:16Z Author&#160;Adamatzky, Andrew. 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-26662-6">https://doi.org/10.1007/978-3-319-26662-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics software engineering delivering effective applications ent://SD_ILS/0/SD_ILS:295806 2026-03-23T20:51:16Z 2026-03-23T20:51:16Z Author&#160;Weston, Paul, HGMP.&#160;John Wiley &amp; Sons.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/0470030143">http://dx.doi.org/10.1002/0470030143</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>