Search Results for Brazil. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dBrazil.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?
2025-12-20T01:15:33Z
Agile Methods 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482815
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Tonin, Graziela Simone. editor. Estácio, Bernardo. editor. Goldman, Alfredo. editor. Guerra, Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14310-7">https://doi.org/10.1007/978-3-030-14310-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Methods 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486700
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Nelson, Maria Augusta. editor. (orcid)0000-0002-1151-1362 Rocha, Carla. editor. (orcid)0000-0003-3102-5166 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-36701-5">https://doi.org/10.1007/978-3-030-36701-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399851
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author El Fallah-Seghrouchni, Amal. editor. Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91899-0">https://doi.org/10.1007/978-3-319-91899-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Processing of the Portuguese Language 13th International Conference, PROPOR 2018, Canela, Brazil, September 24–26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399987
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Villavicencio, Aline. editor. (orcid)0000-0002-3731-9168 Moreira, Viviane. editor. (orcid)0000-0003-4400-054X Abad, Alberto. editor. Caseli, Helena. editor. (orcid)0000-0003-3996-8599 Gamallo, Pablo. editor. (orcid)0000-0002-5819-2469<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99722-3">https://doi.org/10.1007/978-3-319-99722-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multibody Mechatronic Systems Proceedings of the MUSME Conference held in Florianópolis, Brazil, October 24-28, 2017
ent://SD_ILS/0/SD_ILS:400748
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Carvalho, João Carlos Mendes. editor. Martins, Daniel. editor. Simoni, Roberto. editor. Simas, Henrique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67567-1">https://doi.org/10.1007/978-3-319-67567-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401115
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91587-6">https://doi.org/10.1007/978-3-319-91587-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:401426
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76578-5">https://doi.org/10.1007/978-3-319-76578-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399406
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:401823
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76581-5">https://doi.org/10.1007/978-3-319-76581-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:402321
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73579-5">https://doi.org/10.1007/978-3-319-73579-5</a><br/>Format: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Setubal, João C. editor. Almeida, Nalvo F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332932.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptology and Network Security 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22. 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332957
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Abdalla, Michel. editor. Nita-Rotaru, Cristina. editor. Dahab, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332957.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02937-5">http://dx.doi.org/10.1007/978-3-319-02937-5</a><br/>Format: Electronic Resources<br/>Availability 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çalves, RS, Brazil, July 27-31, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334794
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Dodge, Ronald C. editor. Futcher, Lynn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334794.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335028
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335028.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Entertainment Computing – ICEC 2013 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335058
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Anacleto, Junia C. editor. Clua, Esteban W. G. editor. Silva, Flavio S. Correa. editor. Fels, Sidney. editor. Yang, Hyun S. editor.<br/>Preferred Shelf Number ONLINE(335058.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41106-9">http://dx.doi.org/10.1007/978-3-642-41106-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335052
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Iyoda, Juliano. editor. Moura, Leonardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335052.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41071-0">http://dx.doi.org/10.1007/978-3-642-41071-0</a><br/>Format: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Souto, Marcilio C. editor. Kann, Maricel G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197332
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Carvalho Junior, Francisco Heron. editor. Barbosa, Luis Soares. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33182-4">http://dx.doi.org/10.1007/978-3-642-33182-4</a><br/>Format: Electronic Resources<br/>Availability 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
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence - SBIA 2012 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197520
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Barros, Leliane N. editor. Finger, Marcelo. editor. Pozo, Aurora T. editor. Gimenénez-Lugo, Gustavo A. editor. Castilho, Marcos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34459-6">http://dx.doi.org/10.1007/978-3-642-34459-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Yin, Hujun. editor. Costa, José A. F. editor. Barreto, Guilherme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Aguilera, Marcos K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence – SBIA 2010 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193197
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Rocha Costa, Antônio Carlos. editor. Vicari, Rosa Maria. editor. Tonidandel, Flavio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16138-4">http://dx.doi.org/10.1007/978-3-642-16138-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Computing Technology First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31 – June 2, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194962
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Hruschka, Estevam Rafael. editor. Watada, Junzo. editor. Carmo Nicoletti, Maria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Norberto de Souza, Osmar. editor. Telles, Guilherme P. editor. Palakal, Mathew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptation and Value Creating Collaborative Networks 12th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2011, São Paulo, Brazil, October 17-19, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195311
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Camarinha-Matos, Luis M. editor. Pereira-Klen, Alexandra. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Collaboration and Technology 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195451
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Vivacqua, Adriana S. editor. Gutwin, Carl. editor. Borges, Marcos R. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23801-7">http://dx.doi.org/10.1007/978-3-642-23801-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195825
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Simao, Adenilso. editor. Morgan, Carroll. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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ópolis, Brazil, October 12-14, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195242
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Becker, Jürgen. editor. Johann, Marcelo. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Hissam, Scott A. editor. Russo, Barbara. editor. Mendonça Neto, Manoel G. editor. Kon, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author F. Costa, Luciano. editor. Evsukoff, Alexandre. editor. Mangioni, Giuseppe. editor. Menezes, Ronaldo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Takahashi, Ricardo H. C. editor. Deb, Kalyanmoy. editor. Wanner, Elizabeth F. editor. Greco, Salvatore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191856
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Escobar, Santiago. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11999-6">http://dx.doi.org/10.1007/978-3-642-11999-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Processing of the Portuguese Language 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191957
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Pardo, Thiago Alexandre Salgueiro. editor. Branco, António. editor. Klautau, Aldebaro. editor. Vieira, Renata. editor. Lima, Vera Lúcia Strube. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12320-7">http://dx.doi.org/10.1007/978-3-642-12320-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192775
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Cavalcanti, Ana. editor. Deharbe, David. editor. Gaudel, Marie-Claude. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14808-8">http://dx.doi.org/10.1007/978-3-642-14808-8</a><br/>Format: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Ferreira, Carlos E. editor. Miyano, Satoru. editor. Stadler, Peter F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Dawar, Anuj. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Ecosystems Third International Conference, OPAALS 2010, Aracuju, Sergipe, Brazil, March 22-23, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192792
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Antonio Basile Colugnati, Fernando. editor. Lopes, Lia Carrari Rodrigues. editor. Barretto, Saulo Faria Almeida. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14859-0">http://dx.doi.org/10.1007/978-3-642-14859-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193340
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16573-3">http://dx.doi.org/10.1007/978-3-642-16573-3</a><br/>Format: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Bloch, Isabelle. editor. Cesar, Roberto M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Oliveira, Marcel Vinícius Medeiros. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Adali, Tülay. editor. Jutten, Christian. editor. Romano, João Marcos Travassos. editor. Barros, Allan Kardec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190296
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Treinen, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02348-4">http://dx.doi.org/10.1007/978-3-642-02348-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191076
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Laender, Alberto H. F. editor. Castano, Silvana. editor. Dayal, Umeshwar. editor. Casati, Fabio. editor. Oliveira, José Palazzo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04840-1">http://dx.doi.org/10.1007/978-3-642-04840-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling - Challenging Perspectives ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191107
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Heuser, Carlos Alberto. editor. Pernul, Günther. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04947-7">http://dx.doi.org/10.1007/978-3-642-04947-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190272
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Curien, Pierre-Louis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02273-9">http://dx.doi.org/10.1007/978-3-642-02273-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Education and Technology for a Better World 9th IFIP TC 3 World Conference on Computers in Education, WCCE 2009, Bento Gonçalves, Brazil, July 27-31, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190524
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Tatnall, Arthur. editor. Jones, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03115-1">http://dx.doi.org/10.1007/978-3-642-03115-1</a><br/>Format: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Guimarães, Katia S. editor. Panchenko, Anna. editor. Przytycka, Teresa M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188237
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Laber, Eduardo Sany. editor. Bornstein, Claudson. editor. Nogueira, Loana Tito. editor. Faria, Luerbio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Bioinformatics and Computational Biology Third Brazilian Symposium on Bioinformatics, BSB 2008, Santo André, Brazil, August 28-30, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188723
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Bazzan, Ana L. C. editor. Craven, Mark. editor. Martins, Natália F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85557-6">http://dx.doi.org/10.1007/978-3-540-85557-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graphics Recognition. Recent Advances and New Opportunities 7th International Workshop, GREC 2007, Curitiba, Brazil, September 20-21, 2007. Selected Papers
ent://SD_ILS/0/SD_ILS:189002
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Liu, Wenyin. editor. Lladós, Josep. editor. Ogier, Jean-Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88188-9">http://dx.doi.org/10.1007/978-3-540-88188-9</a><br/>Format: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Zaverucha, Gerson. editor. Costa, Augusto Loureiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Castro, Leandro Nunes. editor. Zuben, Fernando José. editor. Knidel, Helder. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:187267
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74796-3">http://dx.doi.org/10.1007/978-3-540-74796-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:187269
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74800-7">http://dx.doi.org/10.1007/978-3-540-74800-7</a><br/>Format: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Zhou, S. Kevin. editor. Zhao, Wenyi. editor. Tang, Xiaoou. editor. Gong, Shaogang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Human Motion – Understanding, Modeling, Capture and Animation Second Workshop, Human Motion 2007, Rio de Janeiro, Brazil, October 20, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187480
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Elgammal, Ahmed. editor. Rosenhahn, Bodo. editor. Klette, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75703-0">http://dx.doi.org/10.1007/978-3-540-75703-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human–Computer Interaction IEEE International Workshop, HCI 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187502
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Lew, Michael. editor. Sebe, Nicu. editor. Huang, Thomas S. editor. Bakker, Erwin M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75773-3">http://dx.doi.org/10.1007/978-3-540-75773-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:186259
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71351-7">http://dx.doi.org/10.1007/978-3-540-71351-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186279
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Diniz, Pedro C. editor. Marques, Eduardo. editor. Bertels, Koen. editor. Fernandes, Marcio Merino. editor. Cardoso, João M. P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71431-6">http://dx.doi.org/10.1007/978-3-540-71431-6</a><br/>Format: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Sagot, Marie-France. editor. Walter, Maria Emilia M. T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a><br/>Format: Electronic Resources<br/>Availability 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ão Preto, Brazil, October 23-27, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184846
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Sichman, Jaime Simão. editor. Coelho, Helder. editor. Rezende, Solange Oliveira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11874850">http://dx.doi.org/10.1007/11874850</a><br/>Format: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Vieira, Renata. editor. Quaresma, Paulo. editor. Nunes, Maria das Graças Volpe. editor. Mamede, Nuno J. editor. Oliveira, Cláudia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751984">http://dx.doi.org/10.1007/11751984</a><br/>Format: Electronic Resources<br/>Availability 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
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11889229">http://dx.doi.org/10.1007/11889229</a><br/>Format: Electronic Resources<br/>Availability 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-20T01:15:33Z
2025-12-20T01:15:33Z
Author Setubal, João Carlos. editor. Verjovski-Almeida, Sergio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11532323">http://dx.doi.org/10.1007/11532323</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Groupware: Design, Implementation, and Use 11th International Workshop, CRIWG 2005, Porto de Galinhas, Brazil, September 25-29, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183070
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Fukś, Hugo. editor. Lukosch, Stephan. editor. Salgado, Ana Carolina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11560296">http://dx.doi.org/10.1007/11560296</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Spatial and Temporal Databases 9th International Symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182990
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Bauzer Medeiros, Claudia. editor. Egenhofer, Max J. editor. Bertino, Elisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11535331">http://dx.doi.org/10.1007/11535331</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183155
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11572329">http://dx.doi.org/10.1007/11572329</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Specification to Embedded Systems Application
ent://SD_ILS/0/SD_ILS:165390
2025-12-20T01:15:33Z
2025-12-20T01:15:33Z
Author Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11523277">http://dx.doi.org/10.1007/11523277</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>