Search Results for Computer science. - Narrowed by: 2013 - Health Informatics. - Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092013$0025092013$0026qf$003dSUBJECT$002509Subject$002509Health$002bInformatics.$002509Health$002bInformatics.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-18T00:35:05Z
Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334727
2024-08-18T00:35:05Z
2024-08-18T00:35:05Z
Author Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334727.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39088-3">http://dx.doi.org/10.1007/978-3-642-39088-3</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
2024-08-18T00:35:05Z
2024-08-18T00:35:05Z
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/>