Search Results for Parker, David. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dParker$00252C$002bDavid.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300? 2024-11-05T23:00:09Z Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483886 2024-11-05T23:00:09Z 2024-11-05T23:00:09Z Author&#160;Parker, David. editor. (orcid)0000-0003-4137-8862&#160;Wolf, Verena. editor. (orcid)0000-0001-8460-6007&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30281-8">https://doi.org/10.1007/978-3-030-30281-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197133 2024-11-05T23:00:09Z 2024-11-05T23:00:09Z Author&#160;Donaldson, Alastair. editor.&#160;Parker, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31759-0">http://dx.doi.org/10.1007/978-3-642-31759-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>