Filtros : "MAC" "2004" Removido: "Espanha" Limpar

Filtros



Refine with date range


  • 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

      SILVA, Lourival Paulino da. Um modelo formal para a Quinta Disciplina. 2004. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134959/. Acesso em: 17 jun. 2024.
    • APA

      Silva, L. P. da. (2004). Um modelo formal para a Quinta Disciplina (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134959/
    • NLM

      Silva LP da. Um modelo formal para a Quinta Disciplina [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134959/
    • Vancouver

      Silva LP da. Um modelo formal para a Quinta Disciplina [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134959/
  • 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

      RIANI, Joselyto. Em busca de procedimentos de inferência eficientes via relevância por sintaxe. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121031/. Acesso em: 17 jun. 2024.
    • APA

      Riani, J. (2004). Em busca de procedimentos de inferência eficientes via relevância por sintaxe (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121031/
    • NLM

      Riani J. Em busca de procedimentos de inferência eficientes via relevância por sintaxe [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121031/
    • Vancouver

      Riani J. Em busca de procedimentos de inferência eficientes via relevância por sintaxe [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121031/
  • Unidade: IME

    Assunto: COMBINATÓRIA

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

      SALGADO, Liliane Rose Benning. Algoritmos de aproximação para partições conexas em grafos. 2004. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135334/. Acesso em: 17 jun. 2024.
    • APA

      Salgado, L. R. B. (2004). Algoritmos de aproximação para partições conexas em grafos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135334/
    • NLM

      Salgado LRB. Algoritmos de aproximação para partições conexas em grafos [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135334/
    • Vancouver

      Salgado LRB. Algoritmos de aproximação para partições conexas em grafos [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135334/
  • Unidade: IME

    Assunto: COMPUTABILIDADE E COMPLEXIDADE

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

      XAVIER, Fábio Correa. Um sistema de autorização baseado em uma infra-estrutura de gerenciamento de privilégios. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135422/. Acesso em: 17 jun. 2024.
    • APA

      Xavier, F. C. (2004). Um sistema de autorização baseado em uma infra-estrutura de gerenciamento de privilégios (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135422/
    • NLM

      Xavier FC. Um sistema de autorização baseado em uma infra-estrutura de gerenciamento de privilégios [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135422/
    • Vancouver

      Xavier FC. Um sistema de autorização baseado em uma infra-estrutura de gerenciamento de privilégios [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135422/
  • Unidade: IME

    Assunto: COMPUTAÇÃO APLICADA

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

      LAGO, Nelson. Processamento distribuído de áudio em tempo real. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05102004-154239/. Acesso em: 17 jun. 2024.
    • APA

      Lago, N. (2004). Processamento distribuído de áudio em tempo real (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05102004-154239/
    • NLM

      Lago N. Processamento distribuído de áudio em tempo real [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05102004-154239/
    • Vancouver

      Lago N. Processamento distribuído de áudio em tempo real [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05102004-154239/
  • 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

      MORON, Robson. Uma ontologia artificial para o controle cambial brasileiro. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135654/. Acesso em: 17 jun. 2024.
    • APA

      Moron, R. (2004). Uma ontologia artificial para o controle cambial brasileiro (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135654/
    • NLM

      Moron R. Uma ontologia artificial para o controle cambial brasileiro [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135654/
    • Vancouver

      Moron R. Uma ontologia artificial para o controle cambial brasileiro [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135654/
  • 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

      CAREZZATO, Caetano Jimenez. Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135827/. Acesso em: 17 jun. 2024.
    • APA

      Carezzato, C. J. (2004). Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135827/
    • NLM

      Carezzato CJ. Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135827/
    • Vancouver

      Carezzato CJ. Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135827/
  • 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

      MARTINS JUNIOR, David Correa. Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052006-185224/. Acesso em: 17 jun. 2024.
    • APA

      Martins Junior, D. C. (2004). Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052006-185224/
    • NLM

      Martins Junior DC. Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052006-185224/
    • Vancouver

      Martins Junior DC. Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052006-185224/
  • 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

      IDE, Fabio Luiz. Lógicas de raciocínio aproximado e o problema SAT. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/. Acesso em: 17 jun. 2024.
    • APA

      Ide, F. L. (2004). Lógicas de raciocínio aproximado e o problema SAT (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/
    • NLM

      Ide FL. Lógicas de raciocínio aproximado e o problema SAT [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/
    • Vancouver

      Ide FL. Lógicas de raciocínio aproximado e o problema SAT [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/
  • Unidade: IME

    Subjects: CRIPTOLOGIA, COMPUTABILIDADE E COMPLEXIDADE

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

      TONAMI, Jorge Alves. Implementação e análise do protocolo de Katz e Yung para estabelecimento de chaves de grupo. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-140541/. Acesso em: 17 jun. 2024.
    • APA

      Tonami, J. A. (2004). Implementação e análise do protocolo de Katz e Yung para estabelecimento de chaves de grupo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-140541/
    • NLM

      Tonami JA. Implementação e análise do protocolo de Katz e Yung para estabelecimento de chaves de grupo [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-140541/
    • Vancouver

      Tonami JA. Implementação e análise do protocolo de Katz e Yung para estabelecimento de chaves de grupo [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-140541/
  • 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

      CARVALHO, Marcelo Nunes de. Inteligência Artificial para jogos de tabuleiro. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135244/. Acesso em: 17 jun. 2024.
    • APA

      Carvalho, M. N. de. (2004). Inteligência Artificial para jogos de tabuleiro. (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135244/
    • NLM

      Carvalho MN de. Inteligência Artificial para jogos de tabuleiro. [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135244/
    • Vancouver

      Carvalho MN de. Inteligência Artificial para jogos de tabuleiro. [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135244/
  • Unidade: IME

    Assunto: LINGUAGENS FORMAIS

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

      SOUZA, Rodrigo Nonamor Pereira Mariano de. Propriedades de algumas classes de relações racionais. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/. Acesso em: 17 jun. 2024.
    • APA

      Souza, R. N. P. M. de. (2004). Propriedades de algumas classes de relações racionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/
    • NLM

      Souza RNPM de. Propriedades de algumas classes de relações racionais [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/
    • Vancouver

      Souza RNPM de. Propriedades de algumas classes de relações racionais [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/
  • 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

      HEMERLY, Gilberto da Silva. O impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionais. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142657/. Acesso em: 17 jun. 2024.
    • APA

      Hemerly, G. da S. (2004). O impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142657/
    • NLM

      Hemerly G da S. O impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionais [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142657/
    • Vancouver

      Hemerly G da S. O impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionais [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142657/
  • 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

      OKIDA, Gustavo Tadao. Índices para consultas por conteúdo em bancos de dados heterogêneos. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134728/. Acesso em: 17 jun. 2024.
    • APA

      Okida, G. T. (2004). Índices para consultas por conteúdo em bancos de dados heterogêneos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134728/
    • NLM

      Okida GT. Índices para consultas por conteúdo em bancos de dados heterogêneos [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134728/
    • Vancouver

      Okida GT. Índices para consultas por conteúdo em bancos de dados heterogêneos [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134728/
  • Unidade: IME

    Assunto: PROBLEMAS COMBINATÓRIOS CLÁSSICOS

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

      CINTRA, Glauber Ferreira. Algoritmos para problemas de corte de guilhotina bidimensional. 2004. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135851/. Acesso em: 17 jun. 2024.
    • APA

      Cintra, G. F. (2004). Algoritmos para problemas de corte de guilhotina bidimensional (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135851/
    • NLM

      Cintra GF. Algoritmos para problemas de corte de guilhotina bidimensional [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135851/
    • Vancouver

      Cintra GF. Algoritmos para problemas de corte de guilhotina bidimensional [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135851/
  • 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

      VIEIRA, Daniel da Cruz Gouveia. Geração de classificadores de seqüências genéticas utilizando inferência de linguagens regulares. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142514/. Acesso em: 17 jun. 2024.
    • APA

      Vieira, D. da C. G. (2004). Geração de classificadores de seqüências genéticas utilizando inferência de linguagens regulares (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142514/
    • NLM

      Vieira D da CG. Geração de classificadores de seqüências genéticas utilizando inferência de linguagens regulares [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142514/
    • Vancouver

      Vieira D da CG. Geração de classificadores de seqüências genéticas utilizando inferência de linguagens regulares [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142514/
  • Unidade: IME

    Assunto: COMPUTAÇÃO GRÁFICA

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

      CERIBELLI, Henrique Pedreira de Freitas. Construção de imagens panorâmicas a partir de vídeo. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142357/. Acesso em: 17 jun. 2024.
    • APA

      Ceribelli, H. P. de F. (2004). Construção de imagens panorâmicas a partir de vídeo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142357/
    • NLM

      Ceribelli HP de F. Construção de imagens panorâmicas a partir de vídeo [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142357/
    • Vancouver

      Ceribelli HP de F. Construção de imagens panorâmicas a partir de vídeo [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142357/
  • Unidade: IME

    Subjects: COMPUTAÇÃO GRÁFICA, PROCESSAMENTO DE IMAGENS

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

      MIMICA, Marcio Raul Medeiros. Desenvolvimento de um rastreador de olhar apropriado para interação humano computador. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142951/. Acesso em: 17 jun. 2024.
    • APA

      Mimica, M. R. M. (2004). Desenvolvimento de um rastreador de olhar apropriado para interação humano computador (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142951/
    • NLM

      Mimica MRM. Desenvolvimento de um rastreador de olhar apropriado para interação humano computador [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142951/
    • Vancouver

      Mimica MRM. Desenvolvimento de um rastreador de olhar apropriado para interação humano computador [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142951/
  • 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

      PEREIRA FILHO, Nélio Alves. Serviços de pertinência para clusters de alta disponibilidade. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04102004-104700/. Acesso em: 17 jun. 2024.
    • APA

      Pereira Filho, N. A. (2004). Serviços de pertinência para clusters de alta disponibilidade (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04102004-104700/
    • NLM

      Pereira Filho NA. Serviços de pertinência para clusters de alta disponibilidade [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04102004-104700/
    • Vancouver

      Pereira Filho NA. Serviços de pertinência para clusters de alta disponibilidade [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04102004-104700/
  • 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

      PRUDENTE, Leandro César. Um estudo sobre teste versus verificação formal de programas Java. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/. Acesso em: 17 jun. 2024.
    • APA

      Prudente, L. C. (2004). Um estudo sobre teste versus verificação formal de programas Java (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/
    • NLM

      Prudente LC. Um estudo sobre teste versus verificação formal de programas Java [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/
    • Vancouver

      Prudente LC. Um estudo sobre teste versus verificação formal de programas Java [Internet]. 2004 ;[citado 2024 jun. 17 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/

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