Search Results for Smith, Graeme. - Narrowed by: Electronic Library SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSmith$00252C$002bGraeme.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026ps$003d300? 2024-11-06T21:27:03Z Gastrointestinal nursing ent://SD_ILS/0/SD_ILS:296541 2024-11-06T21:27:03Z 2024-11-06T21:27:03Z Author&#160;Smith, Graeme D.&#160;Watson, Roger, 1955-&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/9780470774359">http://dx.doi.org/10.1002/9780470774359</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485700 2024-11-06T21:27:03Z 2024-11-06T21:27:03Z Author&#160;Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507&#160;Petre, Luigia. editor.&#160;Smith, Graeme. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183227 2024-11-06T21:27:03Z 2024-11-06T21:27:03Z Author&#160;Romijn, Judi. editor.&#160;Smith, Graeme. editor.&#160;Pol, Jaco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11589976">http://dx.doi.org/10.1007/11589976</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>