Search Results for Systems software. - Narrowed by: Health Informatics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Health$002bInformatics.$002509Health$002bInformatics.$0026ps$003d300$0026isd$003dtrue? 2025-12-11T09:31:00Z Using Event-B for Critical Device Software Systems ent://SD_ILS/0/SD_ILS:331181 2025-12-11T09:31:00Z 2025-12-11T09:31:00Z Author&#160;Singh, Neeraj Kumar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331181.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence for Clinical Diagnosis ent://SD_ILS/0/SD_ILS:527819 2025-12-11T09:31:00Z 2025-12-11T09:31:00Z Author&#160;Joseph, Ferdin Joe John. editor.&#160;Balas, Valentina Emilia. editor.&#160;Rajest, S. Suman. editor.&#160;Regin, R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-23683-9">https://doi.org/10.1007/978-3-031-23683-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Health A Technology Road Map ent://SD_ILS/0/SD_ILS:529717 2025-12-11T09:31:00Z 2025-12-11T09:31:00Z Author&#160;Adibi, Sasan. 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-12817-7">https://doi.org/10.1007/978-3-319-12817-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>