Search Results for Brazil. - Narrowed by: IT Operations. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dBrazil.$0026qf$003dSUBJECT$002509Subject$002509IT$002bOperations.$002509IT$002bOperations.$0026ps$003d300?dt=list 2026-03-24T17:45:18Z Agile Methods 7th Brazilian Workshop, WBMA 2016, Curitiba, Brazil, November 7-9, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617225 2026-03-24T17:45:18Z 2026-03-24T17:45:18Z Author&#160;Silva da Silva, Tiago. editor.&#160;Est&aacute;cio, Bernardo. editor.&#160;Kroll, Josiane. editor.&#160;Mantovani Fontana, Rafaela. 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-55907-0">https://doi.org/10.1007/978-3-319-55907-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611832 2026-03-24T17:45:18Z 2026-03-24T17:45:18Z Author&#160;Ribeiro, Leila. editor.&#160;Lecomte, Thierry. 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-49815-7">https://doi.org/10.1007/978-3-319-49815-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 12th International Conference, FACS 2015, Niter&oacute;i, Brazil, October 14-16, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612298 2026-03-24T17:45:18Z 2026-03-24T17:45:18Z Author&#160;Braga, Christiano. editor.&#160;&Ouml;lveczky, Peter Csaba. 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-28934-2">https://doi.org/10.1007/978-3-319-28934-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Process Management 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings ent://SD_ILS/0/SD_ILS:616403 2026-03-24T17:45:18Z 2026-03-24T17:45:18Z Author&#160;La Rosa, Marcello. editor. (orcid)0000-0001-9568-4035&#160;Loos, Peter. editor.&#160;Pastor, Oscar. 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-45348-4">https://doi.org/10.1007/978-3-319-45348-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings ent://SD_ILS/0/SD_ILS:616634 2026-03-24T17:45:18Z 2026-03-24T17:45:18Z Author&#160;Corn&eacute;lio, M&aacute;rcio. editor.&#160;Roscoe, Bill. 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-29473-5">https://doi.org/10.1007/978-3-319-29473-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>