Arama Sonu&ccedil;lar&#305; Computer science -- Mathematics. - Daralt&#305;lm&#305;&#351;: Biomathematics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002bscience$002b--$002bMathematics.$0026qf$003dSUBJECT$002509Konu$002509Biomathematics.$002509Biomathematics.$0026ic$003dtrue$0026ps$003d300?dt=list 2025-12-05T17:30:29Z Understanding Behaviour of Distributed Systems Using mCRL2 ent://SD_ILS/0/SD_ILS:527315 2025-12-05T17:30:29Z 2025-12-05T17:30:29Z Yazar&#160;Atif, Muhammad. author.&#160;Groote, Jan Friso. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-23008-0">https://doi.org/10.1007/978-3-031-23008-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algorithms for Computational Biology First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489125 2025-12-05T17:30:29Z 2025-12-05T17:30:29Z Yazar&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-07953-0">https://doi.org/10.1007/978-3-319-07953-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>