Search Results for Computer science&mdash;Mathematics. - Narrowed by: Biomathematics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience$0025E2$002580$002594Mathematics.$0026qf$003dSUBJECT$002509Subject$002509Biomathematics.$002509Biomathematics.$0026ps$003d300?dt=list 2025-12-08T15:56:54Z Understanding Behaviour of Distributed Systems Using mCRL2 ent://SD_ILS/0/SD_ILS:527315 2025-12-08T15:56:54Z 2025-12-08T15:56:54Z Author&#160;Atif, Muhammad. author.&#160;Groote, Jan Friso. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-08T15:56:54Z 2025-12-08T15:56:54Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/>