Search Results for Formal languages. - Narrowed by: Health Informatics.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFormal$002blanguages.$0026qf$003dSUBJECT$002509Subject$002509Health$002bInformatics.$002509Health$002bInformatics.$0026ps$003d300?dt=list
2026-04-15T02:26:58Z
Health Information Science 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613244
2026-04-15T02:26:58Z
2026-04-15T02:26:58Z
Author Siuly, Siuly. editor. (orcid)0000-0003-2491-0546 Huang, Zhisheng. editor. Aickelin, Uwe. editor. Zhou, Rui. editor. Wang, Hua. editor. (orcid)0000-0002-8465-0996<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69182-4">https://doi.org/10.1007/978-3-319-69182-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-04-15T02:26:58Z
2026-04-15T02:26:58Z
Author Renda, M. Elena. editor. Bursa, Miroslav. editor. Holzinger, Andreas. editor. Khuri, Sami. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Using Event-B for Critical Device Software Systems
ent://SD_ILS/0/SD_ILS:331181
2026-04-15T02:26:58Z
2026-04-15T02:26:58Z
Author Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>