Filtros : "2003" "CIENCIA DA COMPUTACAO" Limpar

Filtros



Refine with date range


  • Unidade: IME

    Assunto: SISTEMAS DISTRIBUÍDOS

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

      LIMA, Weslley Emmanuel Martins. Uma biblioteca para a simulação de protocolos de entrega de mensagens em redes móveis. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134523/. Acesso em: 23 abr. 2026.
    • APA

      Lima, W. E. M. (2003). Uma biblioteca para a simulação de protocolos de entrega de mensagens em redes móveis (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134523/
    • NLM

      Lima WEM. Uma biblioteca para a simulação de protocolos de entrega de mensagens em redes móveis [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134523/
    • Vancouver

      Lima WEM. Uma biblioteca para a simulação de protocolos de entrega de mensagens em redes móveis [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134523/
  • Unidade: IME

    Assunto: COMPUTAÇÃO GRÁFICA

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

      ENDO, Luis Carlos Yano. Simulação de mini-ecossistemas vegetais em tempo real. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135106/. Acesso em: 23 abr. 2026.
    • APA

      Endo, L. C. Y. (2003). Simulação de mini-ecossistemas vegetais em tempo real (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135106/
    • NLM

      Endo LCY. Simulação de mini-ecossistemas vegetais em tempo real [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135106/
    • Vancouver

      Endo LCY. Simulação de mini-ecossistemas vegetais em tempo real [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135106/
  • Unidade: IME

    Assunto: ALGORITMOS E ESTRUTURAS DE DADOS

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

      NOMA, Alexandre. Análise experimental de algoritmos de planaridade. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133142/. Acesso em: 23 abr. 2026.
    • APA

      Noma, A. (2003). Análise experimental de algoritmos de planaridade (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133142/
    • NLM

      Noma A. Análise experimental de algoritmos de planaridade [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133142/
    • Vancouver

      Noma A. Análise experimental de algoritmos de planaridade [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133142/
  • Unidade: IME

    Assunto: BANCO DE DADOS

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

      SOUZA, Marcelo Camacho de. Componente de controle transacional para integração assíncrona de bases de dados. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131719/. Acesso em: 23 abr. 2026.
    • APA

      Souza, M. C. de. (2003). Componente de controle transacional para integração assíncrona de bases de dados (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131719/
    • NLM

      Souza MC de. Componente de controle transacional para integração assíncrona de bases de dados [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131719/
    • Vancouver

      Souza MC de. Componente de controle transacional para integração assíncrona de bases de dados [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131719/
  • Unidade: IME

    Assunto: SISTEMAS OPERACIONAIS

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

      CASTRO, Rodrigo Souza de. Cache comprimido adaptativo: projeto, estudo e implementação. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133242/. Acesso em: 23 abr. 2026.
    • APA

      Castro, R. S. de. (2003). Cache comprimido adaptativo: projeto, estudo e implementação (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133242/
    • NLM

      Castro RS de. Cache comprimido adaptativo: projeto, estudo e implementação [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133242/
    • Vancouver

      Castro RS de. Cache comprimido adaptativo: projeto, estudo e implementação [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133242/
  • Unidade: IME

    Assunto: ALGORITMOS E ESTRUTURAS DE DADOS

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

      OIKAWA, Márcio Katsumi. Integração para dados e aplicações em Biologia Molecular Computacional. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131827/. Acesso em: 23 abr. 2026.
    • APA

      Oikawa, M. K. (2003). Integração para dados e aplicações em Biologia Molecular Computacional (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131827/
    • NLM

      Oikawa MK. Integração para dados e aplicações em Biologia Molecular Computacional [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131827/
    • Vancouver

      Oikawa MK. Integração para dados e aplicações em Biologia Molecular Computacional [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131827/
  • Unidade: IME

    Assunto: ALGORITMOS E ESTRUTURAS DE DADOS

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

      BRITO, Rogério Theodoro de. Alinhamento de seqüências biológicas. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133434/. Acesso em: 23 abr. 2026.
    • APA

      Brito, R. T. de. (2003). Alinhamento de seqüências biológicas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133434/
    • NLM

      Brito RT de. Alinhamento de seqüências biológicas [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133434/
    • Vancouver

      Brito RT de. Alinhamento de seqüências biológicas [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133434/
  • Unidade: IME

    Assunto: SISTEMAS DISTRIBUÍDOS

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

      SANTOS, Marcelo Brito dos. OGS/R: um serviço para grupos de objetos com consitência relaxada. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133501/. Acesso em: 23 abr. 2026.
    • APA

      Santos, M. B. dos. (2003). OGS/R: um serviço para grupos de objetos com consitência relaxada (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133501/
    • NLM

      Santos MB dos. OGS/R: um serviço para grupos de objetos com consitência relaxada [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133501/
    • Vancouver

      Santos MB dos. OGS/R: um serviço para grupos de objetos com consitência relaxada [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133501/
  • Unidade: IME

    Assunto: SISTEMAS DISTRIBUÍDOS

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

      NARDI, Alexandre Ricardo. Componentes CORBA. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-19082009-133853/. Acesso em: 23 abr. 2026.
    • APA

      Nardi, A. R. (2003). Componentes CORBA (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-19082009-133853/
    • NLM

      Nardi AR. Componentes CORBA [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-19082009-133853/
    • Vancouver

      Nardi AR. Componentes CORBA [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-19082009-133853/
  • Unidade: IME

    Assunto: COMBINATÓRIA

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

      MARREIROS, Ana Lúcia Lima. Algoritmos primal-duais. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120853/. Acesso em: 23 abr. 2026.
    • APA

      Marreiros, A. L. L. (2003). Algoritmos primal-duais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120853/
    • NLM

      Marreiros ALL. Algoritmos primal-duais [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120853/
    • Vancouver

      Marreiros ALL. Algoritmos primal-duais [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120853/
  • Unidade: IME

    Assunto: INTELIGÊNCIA ARTIFICIAL

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

      YAMAMOTO, Flavio Shigeo. Sistemas modais de conhecimento. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/. Acesso em: 23 abr. 2026.
    • APA

      Yamamoto, F. S. (2003). Sistemas modais de conhecimento (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/
    • NLM

      Yamamoto FS. Sistemas modais de conhecimento [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/
    • Vancouver

      Yamamoto FS. Sistemas modais de conhecimento [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/
  • Unidade: IME

    Assunto: SISTEMAS DISTRIBUÍDOS (ARQUITETURA DE COMPUTADORES)

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

      WATANABE, Herbert Yutaka. Configuração automática de sistemas na plataforma Enterprise JavaBeans. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132251/. Acesso em: 23 abr. 2026.
    • APA

      Watanabe, H. Y. (2003). Configuração automática de sistemas na plataforma Enterprise JavaBeans (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132251/
    • NLM

      Watanabe HY. Configuração automática de sistemas na plataforma Enterprise JavaBeans [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132251/
    • Vancouver

      Watanabe HY. Configuração automática de sistemas na plataforma Enterprise JavaBeans [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132251/
  • Unidade: IME

    Assunto: SISTEMAS DISTRIBUÍDOS

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

      SANTOS, Alessandro Santiago dos. Estratégias de hand-off com balanceamento de carga para computação móvel. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132348/. Acesso em: 23 abr. 2026.
    • APA

      Santos, A. S. dos. (2003). Estratégias de hand-off com balanceamento de carga para computação móvel (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132348/
    • NLM

      Santos AS dos. Estratégias de hand-off com balanceamento de carga para computação móvel [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132348/
    • Vancouver

      Santos AS dos. Estratégias de hand-off com balanceamento de carga para computação móvel [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132348/
  • Unidade: IME

    Assunto: COMPUTABILIDADE E COMPLEXIDADE

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

      PAIXÃO, Cesar Alison Monteiro. Implementação e análise comparativa de variações do criptossistema RSA. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120716/. Acesso em: 23 abr. 2026.
    • APA

      Paixão, C. A. M. (2003). Implementação e análise comparativa de variações do criptossistema RSA (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120716/
    • NLM

      Paixão CAM. Implementação e análise comparativa de variações do criptossistema RSA [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120716/
    • Vancouver

      Paixão CAM. Implementação e análise comparativa de variações do criptossistema RSA [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120716/
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

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

      SANCHEZ, Adilson de Jesus. Uso de redes bayesianas no gerenciamento de manutenção de software. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/. Acesso em: 23 abr. 2026.
    • APA

      Sanchez, A. de J. (2003). Uso de redes bayesianas no gerenciamento de manutenção de software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/
    • NLM

      Sanchez A de J. Uso de redes bayesianas no gerenciamento de manutenção de software [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/
    • Vancouver

      Sanchez A de J. Uso de redes bayesianas no gerenciamento de manutenção de software [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/
  • Unidade: IME

    Assunto: TÉCNICAS DE PROGRAMAÇÃO

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

      STEFANES, Marco Aurélio. Algoritmos paralelos de granularidade grossa em grafos bipartidos convexos. 2003. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132319/. Acesso em: 23 abr. 2026.
    • APA

      Stefanes, M. A. (2003). Algoritmos paralelos de granularidade grossa em grafos bipartidos convexos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132319/
    • NLM

      Stefanes MA. Algoritmos paralelos de granularidade grossa em grafos bipartidos convexos [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132319/
    • Vancouver

      Stefanes MA. Algoritmos paralelos de granularidade grossa em grafos bipartidos convexos [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132319/
  • Unidade: IME

    Assunto: SISTEMAS DISTRIBUÍDOS

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

      SILVA, Francisco José da Silva e. Adaptação dinâmica de sistemas distribuídos. 2003. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132055/. Acesso em: 23 abr. 2026.
    • APA

      Silva, F. J. da S. e. (2003). Adaptação dinâmica de sistemas distribuídos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132055/
    • NLM

      Silva FJ da S e. Adaptação dinâmica de sistemas distribuídos [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132055/
    • Vancouver

      Silva FJ da S e. Adaptação dinâmica de sistemas distribuídos [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132055/
  • Unidade: IME

    Assunto: BANCO DE DADOS

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

      CEZAR, Fernando Antonio Mac Cracken. Bancos de dados obsolescentes e uma proposta de implementação. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120516/. Acesso em: 23 abr. 2026.
    • APA

      Cezar, F. A. M. C. (2003). Bancos de dados obsolescentes e uma proposta de implementação (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120516/
    • NLM

      Cezar FAMC. Bancos de dados obsolescentes e uma proposta de implementação [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120516/
    • Vancouver

      Cezar FAMC. Bancos de dados obsolescentes e uma proposta de implementação [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120516/
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

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

      AMORIM, Marcelo de Moura. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/. Acesso em: 23 abr. 2026.
    • APA

      Amorim, M. de M. (2003). Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
    • NLM

      Amorim M de M. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
    • Vancouver

      Amorim M de M. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
  • Unidade: IME

    Assunto: LINGUÍSTICA COMPUTACIONAL

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

      ALMEIDA FILHO, Archias Alves de. Maximização de Entropia em Lingüística Computacional para a Língua Portuguesa. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132221/. Acesso em: 23 abr. 2026.
    • APA

      Almeida Filho, A. A. de. (2003). Maximização de Entropia em Lingüística Computacional para a Língua Portuguesa (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132221/
    • NLM

      Almeida Filho AA de. Maximização de Entropia em Lingüística Computacional para a Língua Portuguesa [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132221/
    • Vancouver

      Almeida Filho AA de. Maximização de Entropia em Lingüística Computacional para a Língua Portuguesa [Internet]. 2003 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132221/

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