Menu

Filtros : "MAC" "2003" Removidos: "Argentina" "PROLAM" Limpar

Filtros

Refine with date range

21 - 26 (26 records)

  • Dissertação (Mestrado)

    Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento (2003)

    Amorim, Marcelo de Moura; Melo, Ana Cristina Vieira de (Orientador)

    Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteHow 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: 11 jul. 2024.

    • 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 2024 jul. 11 ] 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 2024 jul. 11 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/

  • Dissertação (Mestrado)

    Sistemas modais de conhecimento (2003)

    Yamamoto, Flavio Shigeo; Bianconi, Ricardo (Orientador)

    Unidade: IME

    Assunto: INTELIGÊNCIA ARTIFICIAL

    Acesso à fonteHow 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: 11 jul. 2024.

    • 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 2024 jul. 11 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/

    • Vancouver

      Yamamoto FS. Sistemas modais de conhecimento [Internet]. 2003 ;[citado 2024 jul. 11 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205825/

  • Dissertação (Mestrado)

    Análise experimental de algoritmos de planaridade (2003)

    Noma, Alexandre; Fernandes, Cristina Gomes (Orientador)

    Unidade: IME

    Assunto: ALGORITMOS E ESTRUTURAS DE DADOS

    Acesso à fonteHow 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: 11 jul. 2024.

    • 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 2024 jul. 11 ] 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 2024 jul. 11 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133142/

  • Dissertação (Mestrado)

    Componente de controle transacional para integração assíncrona de bases de dados (2003)

    Souza, Marcelo Camacho de; Ferreira, João Eduardo (Orientador)

    Unidade: IME

    Assunto: BANCO DE DADOS

    Acesso à fonteHow 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: 11 jul. 2024.

    • 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 2024 jul. 11 ] 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 2024 jul. 11 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131719/

  • Tese (Doutorado)

    Adaptação dinâmica de sistemas distribuídos (2003)

    Silva, Francisco José da Silva e; Endler, Markus (Orientador) ; Kon, Fábio (coorient)

    Unidade: IME

    Assunto: SISTEMAS DISTRIBUÍDOS

    Acesso à fonteHow 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: 11 jul. 2024.

    • 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 2024 jul. 11 ] 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 2024 jul. 11 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-132055/

  • Dissertação (Mestrado)

    Alinhamento de seqüências biológicas (2003)

    Brito, Rogério Theodoro de; Soares, José Augusto Ramos (Orientador)

    Unidade: IME

    Assunto: ALGORITMOS E ESTRUTURAS DE DADOS

    Acesso à fonteHow 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: 11 jul. 2024.

    • 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 2024 jul. 11 ] 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 2024 jul. 11 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-133434/

21 - 26 (26 records)

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