Search Results for Bowen, Jonathan P. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dBowen$00252C$002bJonathan$002bP.$0026ps$003d300? 2024-10-30T05:52:16Z Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday ent://SD_ILS/0/SD_ILS:521129 2024-10-30T05:52:16Z 2024-10-30T05:52:16Z Author&#160;Bowen, Jonathan P. editor.&#160;Li, Qin. editor.&#160;Xu, Qiwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521129.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-40436-8">https://doi.org/10.1007/978-3-031-40436-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Visualisation in Arts and Culture ent://SD_ILS/0/SD_ILS:331203 2024-10-30T05:52:16Z 2024-10-30T05:52:16Z Author&#160;Bowen, Jonathan P. editor.&#160;Keene, Suzanne. editor.&#160;Ng, Kia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331203.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5406-8">http://dx.doi.org/10.1007/978-1-4471-5406-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7&ndash;12, 2018, Tutorial Lectures ent://SD_ILS/0/SD_ILS:484616 2024-10-30T05:52:16Z 2024-10-30T05:52:16Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. 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-17601-3">https://doi.org/10.1007/978-3-030-17601-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17&ndash;22, 2017, Tutorial Lectures ent://SD_ILS/0/SD_ILS:400263 2024-10-30T05:52:16Z 2024-10-30T05:52:16Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. 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-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Museums and Digital Culture New Perspectives and Research ent://SD_ILS/0/SD_ILS:483132 2024-10-30T05:52:16Z 2024-10-30T05:52:16Z Author&#160;Giannini, Tula. editor.&#160;Bowen, Jonathan P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97457-6">https://doi.org/10.1007/978-3-319-97457-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: State of the Art and New Directions ent://SD_ILS/0/SD_ILS:176054 2024-10-30T05:52:16Z 2024-10-30T05:52:16Z Author&#160;Boca, Paul. editor.&#160;Bowen, Jonathan P. editor.&#160;Siddiqi, Jawed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-736-3">http://dx.doi.org/10.1007/978-1-84882-736-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188277 2024-10-30T05:52:16Z 2024-10-30T05:52:16Z Author&#160;Hierons, Robert M. editor.&#160;Bowen, Jonathan P. editor.&#160;Harman, Mark. 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-540-78917-8">http://dx.doi.org/10.1007/978-3-540-78917-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188879 2024-10-30T05:52:16Z 2024-10-30T05:52:16Z Author&#160;B&ouml;rger, Egon. editor.&#160;Butler, Michael. editor.&#160;Bowen, Jonathan P. editor.&#160;Boca, Paul. 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-540-87603-8">http://dx.doi.org/10.1007/978-3-540-87603-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>