Search Results for Engineering. - Narrowed by: Gallagher, John P. editor. (orcid)0000-0001-6984-7419 - 2018 - Computer science. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dEngineering.$0026qf$003dAUTHOR$002509Author$002509Gallagher$00252C$002bJohn$002bP.$002beditor.$002b$002528orcid$0025290000-0001-6984-7419$002509Gallagher$00252C$002bJohn$002bP.$002beditor.$002b$002528orcid$0025290000-0001-6984-7419$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-08-28T17:16:18Z Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401110 2024-08-28T17:16:18Z 2024-08-28T17:16:18Z Author&#160;Gallagher, John P. editor. (orcid)0000-0001-6984-7419&#160;Sulzmann, Martin. 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-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399611 2024-08-28T17:16:18Z 2024-08-28T17:16:18Z Author&#160;Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829&#160;Gallagher, John P. editor. (orcid)0000-0001-6984-7419&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>