Search Results for Brazil - Narrowed by: Information Systems. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dBrazil$0026qf$003dSUBJECT$002509Subject$002509Information$002bSystems.$002509Information$002bSystems.$0026ic$003dtrue$0026ps$003d300? 2026-01-21T20:53:00Z Agile Methods 8th Brazilian Workshop, WBMA 2017, Bel&eacute;m, Brazil, September 13&ndash;14, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399418 2026-01-21T20:53:00Z 2026-01-21T20:53:00Z Author&#160;Santos, Viviane Almeida dos. editor.&#160;Pinto, Gustavo Henrique Lima. editor.&#160;Serra Seca Neto, Adolfo Gustavo. 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-73673-0">https://doi.org/10.1007/978-3-319-73673-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Assurance and Security Education and Training 8th IFIP WG 11.8 World Conference on Information Security Education, WISE 8, Auckland, New Zealand, July 8-10, 2013, Proceedings, WISE 7, Lucerne Switzerland, June 9-10, 2011, and WISE 6, Bento Gon&ccedil;alves, RS, Brazil, July 27-31, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334794 2026-01-21T20:53:00Z 2026-01-21T20:53:00Z Author&#160;Dodge, Ronald C. editor.&#160;Futcher, Lynn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334794.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39377-8">http://dx.doi.org/10.1007/978-3-642-39377-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197352 2026-01-21T20:53:00Z 2026-01-21T20:53:00Z Author&#160;Gheyi, Rohit. editor.&#160;Naumann, 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-33296-8">http://dx.doi.org/10.1007/978-3-642-33296-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194170 2026-01-21T20:53:00Z 2026-01-21T20:53:00Z Author&#160;Davies, Jim. editor.&#160;Silva, Leila. editor.&#160;Simao, Adenilso. 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-19829-8">http://dx.doi.org/10.1007/978-3-642-19829-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, S&atilde;o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195825 2026-01-21T20:53:00Z 2026-01-21T20:53:00Z Author&#160;Simao, Adenilso. editor.&#160;Morgan, Carroll. 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-25032-3">http://dx.doi.org/10.1007/978-3-642-25032-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptation and Value Creating Collaborative Networks 12th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2011, S&atilde;o Paulo, Brazil, October 17-19, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195311 2026-01-21T20:53:00Z 2026-01-21T20:53:00Z Author&#160;Camarinha-Matos, Luis M. editor.&#160;Pereira-Klen, Alexandra. editor.&#160;Afsarmanesh, Hamideh. 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-23330-2">http://dx.doi.org/10.1007/978-3-642-23330-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Systems: Grounding Research 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195631 2026-01-21T20:53:00Z 2026-01-21T20:53:00Z Author&#160;Hissam, Scott A. editor.&#160;Russo, Barbara. editor.&#160;Mendon&ccedil;a Neto, Manoel G. editor.&#160;Kon, Fabio. 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-24418-6">http://dx.doi.org/10.1007/978-3-642-24418-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures ent://SD_ILS/0/SD_ILS:192618 2026-01-21T20:53:00Z 2026-01-21T20:53:00Z Author&#160;Borba, Paulo. editor.&#160;Cavalcanti, Ana. editor.&#160;Sampaio, Augusto. editor.&#160;Woodcook, Jim. 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-14335-9">http://dx.doi.org/10.1007/978-3-642-14335-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers ent://SD_ILS/0/SD_ILS:191371 2026-01-21T20:53:00Z 2026-01-21T20:53:00Z Author&#160;Oliveira, Marcel Vin&iacute;cius Medeiros. editor.&#160;Woodcock, Jim. 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-10452-7">http://dx.doi.org/10.1007/978-3-642-10452-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures ent://SD_ILS/0/SD_ILS:184907 2026-01-21T20:53:00Z 2026-01-21T20:53:00Z Author&#160;Cavalcanti, Ana. editor.&#160;Sampaio, Augusto. editor.&#160;Woodcock, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11889229">http://dx.doi.org/10.1007/11889229</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>