Filtros : "MELO, ANA CRISTINA VIEIRA DE" "Brasil" Removido: "2012" Limpar

Filtros



Refine with date range


  • Unidades: IME, EACH

    Assunto: ESTATÍSTICA APLICADA

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ALENCAR, Airlane Pereira et al. Relatório de análise estatística sobre o projeto “Influência das métricas de software no engajamento de contribuidores em repositórios de código aberto”. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/a3cf613e-8dd0-4ae2-9a56-280334cd8b72/3116637.pdf. Acesso em: 18 out. 2024. , 2022
    • APA

      Alencar, A. P., Sandrim, D. C., Melo, A. C. V. de, Lacerda, T. C. de O., & Rocha, F. M. M. da. (2022). Relatório de análise estatística sobre o projeto “Influência das métricas de software no engajamento de contribuidores em repositórios de código aberto”. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/a3cf613e-8dd0-4ae2-9a56-280334cd8b72/3116637.pdf
    • NLM

      Alencar AP, Sandrim DC, Melo ACV de, Lacerda TC de O, Rocha FMM da. Relatório de análise estatística sobre o projeto “Influência das métricas de software no engajamento de contribuidores em repositórios de código aberto” [Internet]. 2022 ;[citado 2024 out. 18 ] Available from: https://repositorio.usp.br/directbitstream/a3cf613e-8dd0-4ae2-9a56-280334cd8b72/3116637.pdf
    • Vancouver

      Alencar AP, Sandrim DC, Melo ACV de, Lacerda TC de O, Rocha FMM da. Relatório de análise estatística sobre o projeto “Influência das métricas de software no engajamento de contribuidores em repositórios de código aberto” [Internet]. 2022 ;[citado 2024 out. 18 ] Available from: https://repositorio.usp.br/directbitstream/a3cf613e-8dd0-4ae2-9a56-280334cd8b72/3116637.pdf
  • Unidade: IME

    Subjects: SEMÂNTICA DE PROGRAMAÇÃO, PROGRAMAÇÃO LÓGICA

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, Flávio Soares Corrêa da e FINGER, Marcelo e MELO, Ana Cristina Vieira de. Lógica para computação. . São Paulo: Cengage Learning. . Acesso em: 18 out. 2024. , 2006
    • APA

      Silva, F. S. C. da, Finger, M., & Melo, A. C. V. de. (2006). Lógica para computação. São Paulo: Cengage Learning.
    • NLM

      Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2024 out. 18 ]
    • Vancouver

      Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2024 out. 18 ]
  • Source: Atas. Conference titles: Colóquio de Iniciação Científica. Unidade: IME

    Assunto: MATEMÁTICA DA COMPUTAÇÃO

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      NUNES, Paulo Roberto de Araújo França e MELO, Ana Cristina Vieira de. OCONGRA - ferramenta para criação de grafos de fluxo de controle de objetos. 2004, Anais.. São Paulo: IME-USP, 2004. . Acesso em: 18 out. 2024.
    • APA

      Nunes, P. R. de A. F., & Melo, A. C. V. de. (2004). OCONGRA - ferramenta para criação de grafos de fluxo de controle de objetos. In Atas. São Paulo: IME-USP.
    • NLM

      Nunes PR de AF, Melo ACV de. OCONGRA - ferramenta para criação de grafos de fluxo de controle de objetos. Atas. 2004 ;[citado 2024 out. 18 ]
    • Vancouver

      Nunes PR de AF, Melo ACV de. OCONGRA - ferramenta para criação de grafos de fluxo de controle de objetos. Atas. 2004 ;[citado 2024 out. 18 ]
  • Source: Alguns Tabalhos do IME-USP para o 10o. SIICUSP. Conference titles: Simpósio Internacional de Iniciação Científica da USP. Unidade: IME

    Assunto: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ANDRADE, André Gustavo e MELO, Ana Cristina Vieira de. PiG - Pi calculus gráfico. 2003, Anais.. São Paulo: IME-USP, 2003. . Acesso em: 18 out. 2024.
    • APA

      Andrade, A. G., & Melo, A. C. V. de. (2003). PiG - Pi calculus gráfico. In Alguns Tabalhos do IME-USP para o 10o. SIICUSP. São Paulo: IME-USP.
    • NLM

      Andrade AG, Melo ACV de. PiG - Pi calculus gráfico. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2024 out. 18 ]
    • Vancouver

      Andrade AG, Melo ACV de. PiG - Pi calculus gráfico. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2024 out. 18 ]
  • Unidade: IME

    Assunto: LINGUAGEM DE PROGRAMAÇÃO

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MELO, Ana Cristina Vieira de e SILVA, Flávio Soares Corrêa da. Princípios de linguagens de programação. . São Paulo: Edgard Blucher. . Acesso em: 18 out. 2024. , 2003
    • APA

      Melo, A. C. V. de, & Silva, F. S. C. da. (2003). Princípios de linguagens de programação. São Paulo: Edgard Blucher.
    • NLM

      Melo ACV de, Silva FSC da. Princípios de linguagens de programação. 2003 ;[citado 2024 out. 18 ]
    • Vancouver

      Melo ACV de, Silva FSC da. Princípios de linguagens de programação. 2003 ;[citado 2024 out. 18 ]
  • Source: Anais. Conference titles: Simpósio Brasileiro de Engenharia de Software - SBES. Unidade: IME

    Subjects: FRAMEWORKS, JAVA

    Versão PublicadaAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MOUTINHO, Bruno Martins e MELO, Ana Cristina Vieira de. Composição de fluxo de controle em frameworks Java. 2000, Anais.. Porto Alegre: SBC, 2000. Disponível em: https://doi.org/10.5753/sbes_estendido.2000.24211. Acesso em: 18 out. 2024.
    • APA

      Moutinho, B. M., & Melo, A. C. V. de. (2000). Composição de fluxo de controle em frameworks Java. In Anais. Porto Alegre: SBC. doi:10.5753/sbes_estendido.2000.24211
    • NLM

      Moutinho BM, Melo ACV de. Composição de fluxo de controle em frameworks Java [Internet]. Anais. 2000 ;[citado 2024 out. 18 ] Available from: https://doi.org/10.5753/sbes_estendido.2000.24211
    • Vancouver

      Moutinho BM, Melo ACV de. Composição de fluxo de controle em frameworks Java [Internet]. Anais. 2000 ;[citado 2024 out. 18 ] Available from: https://doi.org/10.5753/sbes_estendido.2000.24211
  • Unidade: IME

    Assunto: REPRESENTAÇÃO DE CONHECIMENTO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, Flávio Soares Corrêa da et al. Knowledge sharing between a probabilistuc logic and Bayesian belief network. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/91a41f3a-b14c-4f7e-830d-2aef0529a29d/1057695.pdf. Acesso em: 18 out. 2024. , 1999
    • APA

      Silva, F. S. C. da, Agustí, J., Araujo, R. C. de, & Melo, A. C. V. de. (1999). Knowledge sharing between a probabilistuc logic and Bayesian belief network. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/91a41f3a-b14c-4f7e-830d-2aef0529a29d/1057695.pdf
    • NLM

      Silva FSC da, Agustí J, Araujo RC de, Melo ACV de. Knowledge sharing between a probabilistuc logic and Bayesian belief network [Internet]. 1999 ;[citado 2024 out. 18 ] Available from: https://repositorio.usp.br/directbitstream/91a41f3a-b14c-4f7e-830d-2aef0529a29d/1057695.pdf
    • Vancouver

      Silva FSC da, Agustí J, Araujo RC de, Melo ACV de. Knowledge sharing between a probabilistuc logic and Bayesian belief network [Internet]. 1999 ;[citado 2024 out. 18 ] Available from: https://repositorio.usp.br/directbitstream/91a41f3a-b14c-4f7e-830d-2aef0529a29d/1057695.pdf
  • Conference titles: Workshop on Formal Methods - WFM. Unidade: IME

    Assunto: CIÊNCIA DA COMPUTAÇÃO (EVENTOS)

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. . Florianópolis: [s.n.]. . Acesso em: 18 out. 2024. , 1999
    • APA

      Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. (1999). Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. Florianópolis: [s.n.].
    • NLM

      Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. 1999 ;[citado 2024 out. 18 ]
    • Vancouver

      Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. 1999 ;[citado 2024 out. 18 ]
  • Unidade: IME

    Subjects: ONTOLOGIAS, REPRESENTAÇÃO DE CONHECIMENTO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, Flávio Soares Corrêa da et al. Why ontologies are not enough for knowledge sharing. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/1a0e097a-64ff-4129-bca3-525a32187b6d/1033333.pdf. Acesso em: 18 out. 2024. , 1998
    • APA

      Silva, F. S. C. da, Vasconcelos, W. W. M. P. de, Agustí, J., Robertson, D., & Melo, A. C. V. de. (1998). Why ontologies are not enough for knowledge sharing. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/1a0e097a-64ff-4129-bca3-525a32187b6d/1033333.pdf
    • NLM

      Silva FSC da, Vasconcelos WWMP de, Agustí J, Robertson D, Melo ACV de. Why ontologies are not enough for knowledge sharing [Internet]. 1998 ;[citado 2024 out. 18 ] Available from: https://repositorio.usp.br/directbitstream/1a0e097a-64ff-4129-bca3-525a32187b6d/1033333.pdf
    • Vancouver

      Silva FSC da, Vasconcelos WWMP de, Agustí J, Robertson D, Melo ACV de. Why ontologies are not enough for knowledge sharing [Internet]. 1998 ;[citado 2024 out. 18 ] Available from: https://repositorio.usp.br/directbitstream/1a0e097a-64ff-4129-bca3-525a32187b6d/1033333.pdf

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024