Search Results for Gold. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dGold.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2025-12-28T21:39:23Z Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485539 2025-12-28T21:39:23Z 2025-12-28T21:39:23Z Author&#160;Duan, Zhenhua. editor.&#160;Liu, Shaoying. editor.&#160;Tian, Cong. editor.&#160;Nagoya, Fumiko. 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-13651-2">https://doi.org/10.1007/978-3-030-13651-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486683 2025-12-28T21:39:23Z 2025-12-28T21:39:23Z Author&#160;Artho, Cyrille. editor.&#160;&Ouml;lveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database Systems for Advanced Applications DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401076 2025-12-28T21:39:23Z 2025-12-28T21:39:23Z Author&#160;Liu, Chengfei. editor.&#160;Zou, Lei. editor.&#160;Li, Jianxin. 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-91455-8">https://doi.org/10.1007/978-3-319-91455-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399356 2025-12-28T21:39:23Z 2025-12-28T21:39:23Z Author&#160;Sun, Jing. editor.&#160;Sun, Meng. 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-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRIMA 2014: Principles and Practice of Multi-Agent Systems 17th International Conference, Gold Coast, QLD, Australia, December 1-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489591 2025-12-28T21:39:23Z 2025-12-28T21:39:23Z Author&#160;Dam, Hoa Khanh. editor.&#160;Pitt, Jeremy. editor.&#160;Xu, Yang. editor.&#160;Governatori, Guido. editor.&#160;Ito, Takayuki. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13191-7">https://doi.org/10.1007/978-3-319-13191-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>