Filtros : "IME" "2007" Limpar

Filtros



Refine with date range


  • Unidade: IME

    Subjects: ÁLGEBRA, TEORIA DA REPRESENTAÇÃO

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

      CADAVID SALAZAR, Paula Andrea. Álgebras estandarmente estratificadas e álgebras quase-hereditárias. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-12122014-121334. Acesso em: 14 maio 2024.
    • APA

      Cadavid Salazar, P. A. (2007). Álgebras estandarmente estratificadas e álgebras quase-hereditárias (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-12122014-121334
    • NLM

      Cadavid Salazar PA. Álgebras estandarmente estratificadas e álgebras quase-hereditárias [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-12122014-121334
    • Vancouver

      Cadavid Salazar PA. Álgebras estandarmente estratificadas e álgebras quase-hereditárias [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-12122014-121334
  • Source: Linear and Multilinear Algebra. Unidade: IME

    Subjects: VARIEDADES COMPLEXAS, POLINÔMIOS N-HOMOGÊNEOS EM ESPAÇOS DE BANACH

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

      LOURENÇO, Mary Lilian e TOCHA, Neusa Nogas. Zeros of complex homogeneous polynomials. Linear and Multilinear Algebra, v. 55, n. 5, p. 463-469 , 2007Tradução . . Disponível em: https://doi.org/10.1080/03081080600628273. Acesso em: 14 maio 2024.
    • APA

      Lourenço, M. L., & Tocha, N. N. (2007). Zeros of complex homogeneous polynomials. Linear and Multilinear Algebra, 55( 5), 463-469 . doi:10.1080/03081080600628273
    • NLM

      Lourenço ML, Tocha NN. Zeros of complex homogeneous polynomials [Internet]. Linear and Multilinear Algebra. 2007 ; 55( 5): 463-469 .[citado 2024 maio 14 ] Available from: https://doi.org/10.1080/03081080600628273
    • Vancouver

      Lourenço ML, Tocha NN. Zeros of complex homogeneous polynomials [Internet]. Linear and Multilinear Algebra. 2007 ; 55( 5): 463-469 .[citado 2024 maio 14 ] Available from: https://doi.org/10.1080/03081080600628273
  • Source: Genetics and Molecular Research. Unidade: IME

    Assunto: BIOINFORMÁTICA

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

      CÉSAR JÚNIOR, Roberto Marcondes e SANTORO, Marcelo. X-meeting - International Conference of the AB3C. [Editorial]. Genetics and Molecular Research. Ribeirão Preto, SP: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://www.geneticsmr.com/articles/xmeeting--international-conference-of-the-ab3c.pdf. Acesso em: 14 maio 2024. , 2007
    • APA

      César Júnior, R. M., & Santoro, M. (2007). X-meeting - International Conference of the AB3C. [Editorial]. Genetics and Molecular Research. Ribeirão Preto, SP: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://www.geneticsmr.com/articles/xmeeting--international-conference-of-the-ab3c.pdf
    • NLM

      César Júnior RM, Santoro M. X-meeting - International Conference of the AB3C. [Editorial] [Internet]. Genetics and Molecular Research. 2007 ; 6( 4): 1-2.[citado 2024 maio 14 ] Available from: https://www.geneticsmr.com/articles/xmeeting--international-conference-of-the-ab3c.pdf
    • Vancouver

      César Júnior RM, Santoro M. X-meeting - International Conference of the AB3C. [Editorial] [Internet]. Genetics and Molecular Research. 2007 ; 6( 4): 1-2.[citado 2024 maio 14 ] Available from: https://www.geneticsmr.com/articles/xmeeting--international-conference-of-the-ab3c.pdf
  • Source: Proceedings. Conference titles: Brazilian Conference on Statistical Modelling and Finance. Unidade: IME

    Assunto: ANÁLISE DE WAVELETS

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

      PORTO, Rogério de Faria e MORETTIN, Pedro Alberto e AUBIN, Elisete da Conceição Quintaneiro. Wavelet shrinkage for regression models with uniform design and correlated errors. 2007, Anais.. São Paulo: IME-USP, 2007. . Acesso em: 14 maio 2024.
    • APA

      Porto, R. de F., Morettin, P. A., & Aubin, E. da C. Q. (2007). Wavelet shrinkage for regression models with uniform design and correlated errors. In Proceedings. São Paulo: IME-USP.
    • NLM

      Porto R de F, Morettin PA, Aubin E da CQ. Wavelet shrinkage for regression models with uniform design and correlated errors. Proceedings. 2007 ;[citado 2024 maio 14 ]
    • Vancouver

      Porto R de F, Morettin PA, Aubin E da CQ. Wavelet shrinkage for regression models with uniform design and correlated errors. Proceedings. 2007 ;[citado 2024 maio 14 ]
  • Source: Computational Statistics & Data Analysis. Unidades: FM, IME

    Subjects: CÉREBRO, IMAGEM POR RESSONÂNCIA MAGNÉTICA, MODELOS PARA PROCESSOS ESTOCÁSTICOS

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

      SATO, João R. et al. Wavelet based time-varying vector autoregressive modelling. Computational Statistics & Data Analysis, v. 51, n. 12, p. 5847-5866, 2007Tradução . . Disponível em: https://doi.org/10.1016/j.csda.2006.10.027. Acesso em: 14 maio 2024.
    • APA

      Sato, J. R., Morettin, P. A., Arantes, P. R., & Amaro Jr., E. (2007). Wavelet based time-varying vector autoregressive modelling. Computational Statistics & Data Analysis, 51( 12), 5847-5866. doi:10.1016/j.csda.2006.10.027
    • NLM

      Sato JR, Morettin PA, Arantes PR, Amaro Jr. E. Wavelet based time-varying vector autoregressive modelling [Internet]. Computational Statistics & Data Analysis. 2007 ; 51( 12): 5847-5866.[citado 2024 maio 14 ] Available from: https://doi.org/10.1016/j.csda.2006.10.027
    • Vancouver

      Sato JR, Morettin PA, Arantes PR, Amaro Jr. E. Wavelet based time-varying vector autoregressive modelling [Internet]. Computational Statistics & Data Analysis. 2007 ; 51( 12): 5847-5866.[citado 2024 maio 14 ] Available from: https://doi.org/10.1016/j.csda.2006.10.027
  • Unidade: IME

    Assunto: EQUAÇÕES DIFERENCIAIS PARCIAIS ELÍTICAS DE 2ª ORDEM

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

      MARTINS, Sérgio Tadao. Variação primeira e segunda para o primeiro autovalor de um problema elíptico. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022008-114522/. Acesso em: 14 maio 2024.
    • APA

      Martins, S. T. (2007). Variação primeira e segunda para o primeiro autovalor de um problema elíptico (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022008-114522/
    • NLM

      Martins ST. Variação primeira e segunda para o primeiro autovalor de um problema elíptico [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022008-114522/
    • Vancouver

      Martins ST. Variação primeira e segunda para o primeiro autovalor de um problema elíptico [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022008-114522/
  • Unidade: IME

    Subjects: ANÁLISE MULTIVARIADA, ANÁLISE DE REGRESSÃO E DE CORRELAÇÃO

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

      SATO, Danilo Toshiaki. Uso eficaz de métricas em métodos ágeis de desenvolvimento de software. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06092007-225914/. Acesso em: 14 maio 2024.
    • APA

      Sato, D. T. (2007). Uso eficaz de métricas em métodos ágeis de desenvolvimento de software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06092007-225914/
    • NLM

      Sato DT. Uso eficaz de métricas em métodos ágeis de desenvolvimento de software [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06092007-225914/
    • Vancouver

      Sato DT. Uso eficaz de métricas em métodos ágeis de desenvolvimento de software [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06092007-225914/
  • Unidade: IME

    Subjects: PESQUISA E PLANEJAMENTO ESTATÍSTICO, MODELOS LINEARES GENERALIZADOS

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

      ISHIKAWA, Noemi Ichihara. Uso de transformações em modelos de regressão logística. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45133/tde-05062007-202656/. Acesso em: 14 maio 2024.
    • APA

      Ishikawa, N. I. (2007). Uso de transformações em modelos de regressão logística (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45133/tde-05062007-202656/
    • NLM

      Ishikawa NI. Uso de transformações em modelos de regressão logística [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45133/tde-05062007-202656/
    • Vancouver

      Ishikawa NI. Uso de transformações em modelos de regressão logística [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45133/tde-05062007-202656/
  • Unidade: IME

    Subjects: SISTEMAS DISTRIBUÍDOS, COMPUTAÇÃO MÓVEL

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

      LUZ, Giulian Dalton. Uso de small worlds no roteamento em redes de sensores sem fio. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22022008-030359/. Acesso em: 14 maio 2024.
    • APA

      Luz, G. D. (2007). Uso de small worlds no roteamento em redes de sensores sem fio (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22022008-030359/
    • NLM

      Luz GD. Uso de small worlds no roteamento em redes de sensores sem fio [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22022008-030359/
    • Vancouver

      Luz GD. Uso de small worlds no roteamento em redes de sensores sem fio [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22022008-030359/
  • Unidade: IME

    Subjects: COMPUTAÇÃO APLICADA, INTELIGÊNCIA ARTIFICIAL

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

      MACHION, Andréia Cristina Grisolio. Uso de ontologias e mapas conceituais na descoberta e análise de objetos de aprendizagem: um estudo de caso em eletrostática. 2007. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06042009-122508/. Acesso em: 14 maio 2024.
    • APA

      Machion, A. C. G. (2007). Uso de ontologias e mapas conceituais na descoberta e análise de objetos de aprendizagem: um estudo de caso em eletrostática (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06042009-122508/
    • NLM

      Machion ACG. Uso de ontologias e mapas conceituais na descoberta e análise de objetos de aprendizagem: um estudo de caso em eletrostática [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06042009-122508/
    • Vancouver

      Machion ACG. Uso de ontologias e mapas conceituais na descoberta e análise de objetos de aprendizagem: um estudo de caso em eletrostática [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06042009-122508/
  • Unidade: IME

    Subjects: PROCESSOS ESTOCÁSTICOS, ANÁLISE DE SOBREVIVÊNCIA

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

      PAES, Ângela Tavares. Uso de modelos com fração de cura na análise de dados de sobrevivência com omissão nas covariáveis. 2007. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45133/tde-22072007-134749/. Acesso em: 14 maio 2024.
    • APA

      Paes, Â. T. (2007). Uso de modelos com fração de cura na análise de dados de sobrevivência com omissão nas covariáveis (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45133/tde-22072007-134749/
    • NLM

      Paes ÂT. Uso de modelos com fração de cura na análise de dados de sobrevivência com omissão nas covariáveis [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45133/tde-22072007-134749/
    • Vancouver

      Paes ÂT. Uso de modelos com fração de cura na análise de dados de sobrevivência com omissão nas covariáveis [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45133/tde-22072007-134749/
  • 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

      MONTEIRO, Julian Geraldes. Uso de grafos evolutivos no roteamento em redes dinâmicas: algoritmos, fluxos e limites. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-18062010-162035/. Acesso em: 14 maio 2024.
    • APA

      Monteiro, J. G. (2007). Uso de grafos evolutivos no roteamento em redes dinâmicas: algoritmos, fluxos e limites (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-18062010-162035/
    • NLM

      Monteiro JG. Uso de grafos evolutivos no roteamento em redes dinâmicas: algoritmos, fluxos e limites [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-18062010-162035/
    • Vancouver

      Monteiro JG. Uso de grafos evolutivos no roteamento em redes dinâmicas: algoritmos, fluxos e limites [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-18062010-162035/
  • Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME

    Subjects: ÁLGEBRA, SISTEMAS DE CONTROLE, GESTÃO POR PROCESSOS

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

      BRAGHETTO, Kelly Rosa e FERREIRA, João Eduardo e PU, Calton. Using control-flow patterns for specifying business processes in cooperative environments. 2007, Anais.. New York: ACM, 2007. Disponível em: https://doi.org/10.1145/1244002.1244270. Acesso em: 14 maio 2024.
    • APA

      Braghetto, K. R., Ferreira, J. E., & Pu, C. (2007). Using control-flow patterns for specifying business processes in cooperative environments. In Proceedings. New York: ACM. doi:10.1145/1244002.1244270
    • NLM

      Braghetto KR, Ferreira JE, Pu C. Using control-flow patterns for specifying business processes in cooperative environments [Internet]. Proceedings. 2007 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.1145/1244002.1244270
    • Vancouver

      Braghetto KR, Ferreira JE, Pu C. Using control-flow patterns for specifying business processes in cooperative environments [Internet]. Proceedings. 2007 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.1145/1244002.1244270
  • Source: Proceedings. Conference titles: International Symposium on Electronic Thesis and Dissertations. Unidades: CISC, ICMC, IME

    Assunto: SISTEMAS DE INFORMAÇÃO

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

      KONDO, Rogério Toshiaki et al. Using ajax to integrate institutional electronic theses and dissertations repository with corporate systems at University of São Paulo. 2007, Anais.. Uppsala: , Universidade de São Paulo, 2007. Disponível em: http://epc.ub.uu.se/etd2007/files/papers/paper-35.pdf. Acesso em: 14 maio 2024.
    • APA

      Kondo, R. T., Lirani, M. de L. R., Zani, V. A. T., Traina Junior, C., Masiero, P. C., & Kon, F. (2007). Using ajax to integrate institutional electronic theses and dissertations repository with corporate systems at University of São Paulo. In Proceedings. Uppsala: , Universidade de São Paulo. Recuperado de http://epc.ub.uu.se/etd2007/files/papers/paper-35.pdf
    • NLM

      Kondo RT, Lirani M de LR, Zani VAT, Traina Junior C, Masiero PC, Kon F. Using ajax to integrate institutional electronic theses and dissertations repository with corporate systems at University of São Paulo [Internet]. Proceedings. 2007 ;[citado 2024 maio 14 ] Available from: http://epc.ub.uu.se/etd2007/files/papers/paper-35.pdf
    • Vancouver

      Kondo RT, Lirani M de LR, Zani VAT, Traina Junior C, Masiero PC, Kon F. Using ajax to integrate institutional electronic theses and dissertations repository with corporate systems at University of São Paulo [Internet]. Proceedings. 2007 ;[citado 2024 maio 14 ] Available from: http://epc.ub.uu.se/etd2007/files/papers/paper-35.pdf
  • Source: European Journal of Obstetrics & Gynecology and Reproductive Biology. Unidades: HU, IME, FM

    Subjects: GRAVIDEZ, PARTO, TRABALHO DE PARTO INDUZIDO

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

      SPALLICCI, Maria Delizete Bentivegna et al. Use of hyaluronidase for cervical ripening: a randomized trial. European Journal of Obstetrics & Gynecology and Reproductive Biology, v. 130, n. ja 2007, p. 46-50, 2007Tradução . . Disponível em: https://doi.org/10.1016/j.ejogrb.2005.10.028. Acesso em: 14 maio 2024.
    • APA

      Spallicci, M. D. B., Chiea, M. A., Singer, J. da M., Albuquerque, P. B. de, Bittar, R. E., & Zugaib, M. (2007). Use of hyaluronidase for cervical ripening: a randomized trial. European Journal of Obstetrics & Gynecology and Reproductive Biology, 130( ja 2007), 46-50. doi:10.1016/j.ejogrb.2005.10.028
    • NLM

      Spallicci MDB, Chiea MA, Singer J da M, Albuquerque PB de, Bittar RE, Zugaib M. Use of hyaluronidase for cervical ripening: a randomized trial [Internet]. European Journal of Obstetrics & Gynecology and Reproductive Biology. 2007 ; 130( ja 2007): 46-50.[citado 2024 maio 14 ] Available from: https://doi.org/10.1016/j.ejogrb.2005.10.028
    • Vancouver

      Spallicci MDB, Chiea MA, Singer J da M, Albuquerque PB de, Bittar RE, Zugaib M. Use of hyaluronidase for cervical ripening: a randomized trial [Internet]. European Journal of Obstetrics & Gynecology and Reproductive Biology. 2007 ; 130( ja 2007): 46-50.[citado 2024 maio 14 ] Available from: https://doi.org/10.1016/j.ejogrb.2005.10.028
  • Source: Indagationes Mathematicae. Unidade: IME

    Assunto: ANÁLISE FUNCIONAL

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

      LOURENÇO, Mary Lilian e PELLEGRINI, Leonardo. Uniqueness of extensions of homogeneous polynomials on c0-sum of Hilbert spaces. Indagationes Mathematicae, v. 18, n. 4, p. 583-588, 2007Tradução . . Disponível em: https://doi.org/10.1016/S0019-3577(07)80064-4. Acesso em: 14 maio 2024.
    • APA

      Lourenço, M. L., & Pellegrini, L. (2007). Uniqueness of extensions of homogeneous polynomials on c0-sum of Hilbert spaces. Indagationes Mathematicae, 18( 4), 583-588. doi:10.1016/S0019-3577(07)80064-4
    • NLM

      Lourenço ML, Pellegrini L. Uniqueness of extensions of homogeneous polynomials on c0-sum of Hilbert spaces [Internet]. Indagationes Mathematicae. 2007 ; 18( 4): 583-588.[citado 2024 maio 14 ] Available from: https://doi.org/10.1016/S0019-3577(07)80064-4
    • Vancouver

      Lourenço ML, Pellegrini L. Uniqueness of extensions of homogeneous polynomials on c0-sum of Hilbert spaces [Internet]. Indagationes Mathematicae. 2007 ; 18( 4): 583-588.[citado 2024 maio 14 ] Available from: https://doi.org/10.1016/S0019-3577(07)80064-4
  • Unidade: IME

    Subjects: SISTEMAS DISTRIBUÍDOS, MIDDLEWARE

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

      SILVA NETO, Ivan Bittencourt de Araújo e. Um serviço de transações atômicas para web services. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03122007-160229/. Acesso em: 14 maio 2024.
    • APA

      Silva Neto, I. B. de A. e. (2007). Um serviço de transações atômicas para web services (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03122007-160229/
    • NLM

      Silva Neto IB de A e. Um serviço de transações atômicas para web services [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03122007-160229/
    • Vancouver

      Silva Neto IB de A e. Um serviço de transações atômicas para web services [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03122007-160229/
  • Unidade: IME

    Assunto: CIENCIA DA COMPUTACAO

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

      LIMA, Fernando Correa. Um resolvedor SAT paralelo com BSP sobre uma grade. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03062007-144527/. Acesso em: 14 maio 2024.
    • APA

      Lima, F. C. (2007). Um resolvedor SAT paralelo com BSP sobre uma grade (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03062007-144527/
    • NLM

      Lima FC. Um resolvedor SAT paralelo com BSP sobre uma grade [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03062007-144527/
    • Vancouver

      Lima FC. Um resolvedor SAT paralelo com BSP sobre uma grade [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03062007-144527/
  • Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, PROVA AUTOMÁTICA DE TEOREMAS

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

      SECA NETO, Adolfo Gustavo Serra. Um provador de teoremas multi-estratégia. 2007. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04052007-175943/. Acesso em: 14 maio 2024.
    • APA

      Seca Neto, A. G. S. (2007). Um provador de teoremas multi-estratégia (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04052007-175943/
    • NLM

      Seca Neto AGS. Um provador de teoremas multi-estratégia [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04052007-175943/
    • Vancouver

      Seca Neto AGS. Um provador de teoremas multi-estratégia [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04052007-175943/
  • Unidade: IME

    Assunto: EQUAÇÕES DIFERENCIAIS PARCIAIS

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

      KAWANO, Alexandre. Um problema inverso de identificação do coeficiente de condutividade da equação do calor envolvendo regiões não simplesmente conexas. 2007. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45132/tde-29062007-102421/. Acesso em: 14 maio 2024.
    • APA

      Kawano, A. (2007). Um problema inverso de identificação do coeficiente de condutividade da equação do calor envolvendo regiões não simplesmente conexas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45132/tde-29062007-102421/
    • NLM

      Kawano A. Um problema inverso de identificação do coeficiente de condutividade da equação do calor envolvendo regiões não simplesmente conexas [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45132/tde-29062007-102421/
    • Vancouver

      Kawano A. Um problema inverso de identificação do coeficiente de condutividade da equação do calor envolvendo regiões não simplesmente conexas [Internet]. 2007 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45132/tde-29062007-102421/

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