Search Results for Brazil. - Narrowed by: Computer software. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dBrazil.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026ic$003dtrue$0026ps$003d300? 2025-12-25T22:17:06Z Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399406 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Massoni, Tiago. editor. (orcid)0000-0002-9423-7556&#160;Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332932 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Setubal, Jo&atilde;o C. editor.&#160;Almeida, Nalvo F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332932.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02624-4">http://dx.doi.org/10.1007/978-3-319-02624-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197015 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31075-1">http://dx.doi.org/10.1007/978-3-642-31075-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197021 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31125-3">http://dx.doi.org/10.1007/978-3-642-31125-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:197022 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31128-4">http://dx.doi.org/10.1007/978-3-642-31128-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III ent://SD_ILS/0/SD_ILS:197025 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31137-6">http://dx.doi.org/10.1007/978-3-642-31137-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Bioinformatics and Computational Biology 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197156 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Souto, Marcilio C. editor.&#160;Kann, Maricel G. 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-31927-3">http://dx.doi.org/10.1007/978-3-642-31927-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Data Engineering and Automated Learning - IDEAL 2012 13th International Conference, Natal, Brazil, August 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197249 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Yin, Hujun. editor.&#160;Costa, Jos&eacute; A. F. editor.&#160;Barreto, Guilherme. 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-32639-4">http://dx.doi.org/10.1007/978-3-642-32639-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197415 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Aguilera, Marcos K. 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-33651-5">http://dx.doi.org/10.1007/978-3-642-33651-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Computing Technology First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31 &ndash; June 2, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194962 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Hruschka, Estevam Rafael. editor.&#160;Watada, Junzo. editor.&#160;Carmo Nicoletti, Maria. 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-22247-4">http://dx.doi.org/10.1007/978-3-642-22247-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Bioinformatics and Computational Biology 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasilia, Brazil, August 10-12, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195151 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Norberto de Souza, Osmar. editor.&#160;Telles, Guilherme P. editor.&#160;Palakal, Mathew. 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-22825-4">http://dx.doi.org/10.1007/978-3-642-22825-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florian&oacute;polis, Brazil, October 12-14, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195242 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Becker, J&uuml;rgen. editor.&#160;Johann, Marcelo. editor.&#160;Reis, Ricardo. 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-23120-9">http://dx.doi.org/10.1007/978-3-642-23120-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194193 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Takahashi, Ricardo H. C. editor.&#160;Deb, Kalyanmoy. editor.&#160;Wanner, Elizabeth F. editor.&#160;Greco, Salvatore. 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-19893-9">http://dx.doi.org/10.1007/978-3-642-19893-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complex Networks Second International Workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195962 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;F. Costa, Luciano. editor.&#160;Evsukoff, Alexandre. editor.&#160;Mangioni, Giuseppe. editor.&#160;Menezes, Ronaldo. 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-25501-4">http://dx.doi.org/10.1007/978-3-642-25501-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Bioinformatics and Computational Biology 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192859 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Ferreira, Carlos E. editor.&#160;Miyano, Satoru. editor.&#160;Stadler, Peter F. 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-15060-9">http://dx.doi.org/10.1007/978-3-642-15060-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193376 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Bloch, Isabelle. editor.&#160;Cesar, Roberto M. 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-16687-7">http://dx.doi.org/10.1007/978-3-642-16687-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192461 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Dawar, Anuj. editor.&#160;Queiroz, Ruy. 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-13824-9">http://dx.doi.org/10.1007/978-3-642-13824-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189742 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Adali, T&uuml;lay. editor.&#160;Jutten, Christian. editor.&#160;Romano, Jo&atilde;o Marcos Travassos. editor.&#160;Barros, Allan Kardec. 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-00599-2">http://dx.doi.org/10.1007/978-3-642-00599-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Bioinformatics and Computational Biology 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190559 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Guimar&atilde;es, Katia S. editor.&#160;Panchenko, Anna. editor.&#160;Przytycka, Teresa M. 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-03223-3">http://dx.doi.org/10.1007/978-3-642-03223-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191347 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Breitman, Karin. editor.&#160;Cavalcanti, Ana. 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-10373-5">http://dx.doi.org/10.1007/978-3-642-10373-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2008: Theoretical Informatics 8th Latin American Symposium, B&uacute;zios, Brazil, April 7-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188237 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Laber, Eduardo Sany. editor.&#160;Bornstein, Claudson. editor.&#160;Nogueira, Loana Tito. editor.&#160;Faria, Luerbio. 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-540-78773-0">http://dx.doi.org/10.1007/978-3-540-78773-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189003 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Zaverucha, Gerson. editor.&#160;Costa, Augusto Loureiro. 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-540-88190-2">http://dx.doi.org/10.1007/978-3-540-88190-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186854 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Leivant, Daniel. editor.&#160;Queiroz, Ruy. 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-540-73445-1">http://dx.doi.org/10.1007/978-3-540-73445-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Bioinformatics and Computational Biology Second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186946 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Sagot, Marie-France. editor.&#160;Walter, Maria Emilia M. T. 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-540-73731-5">http://dx.doi.org/10.1007/978-3-540-73731-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Immune Systems 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187005 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Castro, Leandro Nunes. editor.&#160;Zuben, Fernando Jos&eacute;. editor.&#160;Knidel, Helder. 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-540-73922-7">http://dx.doi.org/10.1007/978-3-540-73922-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis and Modeling of Faces and Gestures Third International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings ent://SD_ILS/0/SD_ILS:187476 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Zhou, S. Kevin. editor.&#160;Zhao, Wenyi. editor.&#160;Tang, Xiaoou. editor.&#160;Gong, Shaogang. 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-540-75690-3">http://dx.doi.org/10.1007/978-3-540-75690-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184697 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Corradini, Andrea. editor.&#160;Ehrig, Hartmut. editor.&#160;Montanari, Ugo. editor.&#160;Ribeiro, Leila. editor.&#160;Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeir&atilde;o Preto, Brazil, October 23-27, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184846 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Sichman, Jaime Sim&atilde;o. editor.&#160;Coelho, Helder. editor.&#160;Rezende, Solange Oliveira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11874850">http://dx.doi.org/10.1007/11874850</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183918 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Vieira, Renata. editor.&#160;Quaresma, Paulo. editor.&#160;Nunes, Maria das Gra&ccedil;as Volpe. editor.&#160;Mamede, Nuno J. editor.&#160;Oliveira, Cl&aacute;udia. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11751984">http://dx.doi.org/10.1007/11751984</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Bioinformatics and Computational Biology Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182947 2025-12-25T22:17:06Z 2025-12-25T22:17:06Z Author&#160;Setubal, Jo&atilde;o Carlos. editor.&#160;Verjovski-Almeida, Sergio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11532323">http://dx.doi.org/10.1007/11532323</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>