Search Results for Formal languages. - Narrowed by: Bioinformatics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFormal$002blanguages.$0026qf$003dSUBJECT$002509Subject$002509Bioinformatics.$002509Bioinformatics.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list 2026-03-25T07:49:10Z Information Technology in Bio- and Medical Informatics 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611827 2026-03-25T07:49:10Z 2026-03-25T07:49:10Z Author&#160;Renda, M. Elena. editor.&#160;Bursa, Miroslav. editor.&#160;Holzinger, Andreas. editor.&#160;Khuri, Sami. 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-43949-5">https://doi.org/10.1007/978-3-319-43949-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611828 2026-03-25T07:49:10Z 2026-03-25T07:49:10Z Author&#160;Lipt&aacute;k, Zsuzsanna. editor.&#160;Smyth, William F. 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-29516-9">https://doi.org/10.1007/978-3-319-29516-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Topics in Grammatical Inference ent://SD_ILS/0/SD_ILS:615236 2026-03-25T07:49:10Z 2026-03-25T07:49:10Z Author&#160;Heinz, Jeffrey. editor.&#160;Sempere, Jos&eacute; M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48395-4">https://doi.org/10.1007/978-3-662-48395-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616953 2026-03-25T07:49:10Z 2026-03-25T07:49:10Z Author&#160;Beckmann, Arnold. editor.&#160;Bienvenu, Laurent. editor.&#160;Jonoska, Nata&scaron;a. 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-40189-8">https://doi.org/10.1007/978-3-319-40189-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618009 2026-03-25T07:49:10Z 2026-03-25T07:49:10Z Author&#160;Yung, Moti. editor.&#160;Zhang, Jianbiao. editor.&#160;Yang, Zhen. 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-31550-8">https://doi.org/10.1007/978-3-319-31550-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334771 2026-03-25T07:49:10Z 2026-03-25T07:49:10Z Author&#160;Konstantinidis, Stavros. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334771.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39274-0">http://dx.doi.org/10.1007/978-3-642-39274-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334725 2026-03-25T07:49:10Z 2026-03-25T07:49:10Z Author&#160;Mauri, Giancarlo. editor.&#160;Dennunzio, Alberto. editor.&#160;Manzoni, Luca. editor.&#160;Porreca, Antonio E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334725.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39074-6">http://dx.doi.org/10.1007/978-3-642-39074-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>