Search Results for Computer systems -- Verification. - Narrowed by: 2015
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bsystems$002b--$002bVerification.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ps$003d300?
2026-06-17T14:20:09Z
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519078
2026-06-17T14:20:09Z
2026-06-17T14:20:09Z
Author Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15201-1">https://doi.org/10.1007/978-3-319-15201-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Biomedical Knowledge Representation Methods and Applications
ent://SD_ILS/0/SD_ILS:519300
2026-06-17T14:20:09Z
2026-06-17T14:20:09Z
Author Hommersom, Arjen. editor. Lucas, Peter J.F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28007-3">https://doi.org/10.1007/978-3-319-28007-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>