Search Results for Brazil. - Narrowed by: Programming Techniques. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dBrazil.$0026qf$003dSUBJECT$002509Subject$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-22T06:02:33Z Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Bras&iacute;lia, Brazil, September 25-28, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616211 2026-03-22T06:02:33Z 2026-03-22T06:02:33Z Author&#160;Schmidt, Renate A. editor.&#160;Nalon, Cl&aacute;udia. 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-66902-1">https://doi.org/10.1007/978-3-319-66902-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616111 2026-03-22T06:02:33Z 2026-03-22T06:02:33Z Author&#160;Botterweck, Goetz. editor.&#160;Werner, Claudia. 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-56856-0">https://doi.org/10.1007/978-3-319-56856-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages 20th Brazilian Symposium, SBLP 2016, Maring&aacute;, Brazil, September 22-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612614 2026-03-22T06:02:33Z 2026-03-22T06:02:33Z Author&#160;Castor, Fernando. editor.&#160;Liu, Yu David. 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-45279-1">https://doi.org/10.1007/978-3-319-45279-1</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-22T06:02:33Z 2026-03-22T06:02:33Z 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/> Programming Languages 17th Brazilian Symposium, SBLP 2013, Bras&iacute;lia, Brazil, October 3 - 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335028 2026-03-22T06:02:33Z 2026-03-22T06:02:33Z Author&#160;Bois, Andr&eacute; Rauber. editor.&#160;Trinder, Phil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335028.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40922-6">http://dx.doi.org/10.1007/978-3-642-40922-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>