Filtros : "ICMC" "1985" Limpar

Filtros



Refine with date range


  • Source: Anais. Conference titles: Simpósio Fluminense de Lógica, Filosofia e Teoria da Ciência. Unidade: ICMC

    Assunto: CIÊNCIA DA COMPUTAÇÃO

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

      PEREIRA, Antonio Eduardo Costa e MONARD, Maria Carolina e NUNES, Maria das Graças Volpe. Um método simples de implementar linguagens lógicas. 1985, Anais.. [S.l.]: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 1985. . Acesso em: 28 mar. 2024.
    • APA

      Pereira, A. E. C., Monard, M. C., & Nunes, M. das G. V. (1985). Um método simples de implementar linguagens lógicas. In Anais. Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
    • NLM

      Pereira AEC, Monard MC, Nunes M das GV. Um método simples de implementar linguagens lógicas. Anais. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Pereira AEC, Monard MC, Nunes M das GV. Um método simples de implementar linguagens lógicas. Anais. 1985 ;[citado 2024 mar. 28 ]
  • Source: Atas. Conference titles: Colóquio Brasileiro de Matemática. Unidade: ICMC

    Assunto: FUNÇÕES ESPECIAIS

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

      FAVARO, L. A e MENDES, C. M e MANCINI, S. Envoltorias, versalidade e estabilidade. 1985, Anais.. Rio de Janeiro: IMPA, 1985. . Acesso em: 28 mar. 2024.
    • APA

      Favaro, L. A., Mendes, C. M., & Mancini, S. (1985). Envoltorias, versalidade e estabilidade. In Atas. Rio de Janeiro: IMPA.
    • NLM

      Favaro LA, Mendes CM, Mancini S. Envoltorias, versalidade e estabilidade. Atas. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Favaro LA, Mendes CM, Mancini S. Envoltorias, versalidade e estabilidade. Atas. 1985 ;[citado 2024 mar. 28 ]
  • Unidade: ICMC

    Subjects: PROGRAMAÇÃO CONVEXA, MÉTODOS ITERATIVOS

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

      SANTOS, Lucio Tunes dos. A parallel subgradient projections method for the convex feasibility problem. . São Carlos: ICMSC-USP. . Acesso em: 28 mar. 2024. , 1985
    • APA

      Santos, L. T. dos. (1985). A parallel subgradient projections method for the convex feasibility problem. São Carlos: ICMSC-USP.
    • NLM

      Santos LT dos. A parallel subgradient projections method for the convex feasibility problem. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Santos LT dos. A parallel subgradient projections method for the convex feasibility problem. 1985 ;[citado 2024 mar. 28 ]
  • Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

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

      MALDONADO, José Carlos. Comparative study of link protocols for typical fault-tolerant multiprocessing unit for on board satellite applications. . São Carlos: ICMSC-USP. . Acesso em: 28 mar. 2024. , 1985
    • APA

      Maldonado, J. C. (1985). Comparative study of link protocols for typical fault-tolerant multiprocessing unit for on board satellite applications. São Carlos: ICMSC-USP.
    • NLM

      Maldonado JC. Comparative study of link protocols for typical fault-tolerant multiprocessing unit for on board satellite applications. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Maldonado JC. Comparative study of link protocols for typical fault-tolerant multiprocessing unit for on board satellite applications. 1985 ;[citado 2024 mar. 28 ]
  • Source: Ciência e Cultura. Conference titles: Reunião Anual da SBPC. Unidades: IFSC, ICMC

    Assunto: BANCO DE DADOS

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

      SLAETS, Jan Frans Willem e TRAINA JUNIOR, C. Desenvolvimento de sistemas baseados em microprocessadores. Ciência e Cultura. [S.l.]: Instituto de Física de São Carlos, Universidade de São Paulo. . Acesso em: 28 mar. 2024. , 1985
    • APA

      Slaets, J. F. W., & Traina Junior, C. (1985). Desenvolvimento de sistemas baseados em microprocessadores. Ciência e Cultura. Instituto de Física de São Carlos, Universidade de São Paulo.
    • NLM

      Slaets JFW, Traina Junior C. Desenvolvimento de sistemas baseados em microprocessadores. Ciência e Cultura. 1985 ;37( 7 supl.): 349.[citado 2024 mar. 28 ]
    • Vancouver

      Slaets JFW, Traina Junior C. Desenvolvimento de sistemas baseados em microprocessadores. Ciência e Cultura. 1985 ;37( 7 supl.): 349.[citado 2024 mar. 28 ]
  • Unidade: ICMC

    Assunto: EQUAÇÕES DIFERENCIAIS PARCIAIS HIPERBÓLICAS

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

      NEVES, Aloisio Freiria e LOPES, Orlando e RIBEIRO, Hermano de Souza. On the spectrum of evolution operators generated by hyperbolic systems. . Campinas: IMECC-UNICAMP. . Acesso em: 28 mar. 2024. , 1985
    • APA

      Neves, A. F., Lopes, O., & Ribeiro, H. de S. (1985). On the spectrum of evolution operators generated by hyperbolic systems. Campinas: IMECC-UNICAMP.
    • NLM

      Neves AF, Lopes O, Ribeiro H de S. On the spectrum of evolution operators generated by hyperbolic systems. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Neves AF, Lopes O, Ribeiro H de S. On the spectrum of evolution operators generated by hyperbolic systems. 1985 ;[citado 2024 mar. 28 ]
  • Source: Siam Journal on Mathematical Analysis. Unidades: IME, ICMC

    Assunto: FUNÇÕES ESPECIAIS

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

      OLIVEIRA, José Carlos Fernandes de e CARVALHO, Luiz Antonio Vieira de. A Lyapunov functional for a retarded differential equation. Siam Journal on Mathematical Analysis, v. 16, n. 6, p. 1295-1305, 1985Tradução . . Disponível em: https://doi.org/10.1137/0516093. Acesso em: 28 mar. 2024.
    • APA

      Oliveira, J. C. F. de, & Carvalho, L. A. V. de. (1985). A Lyapunov functional for a retarded differential equation. Siam Journal on Mathematical Analysis, 16( 6), 1295-1305. doi:10.1137/0516093
    • NLM

      Oliveira JCF de, Carvalho LAV de. A Lyapunov functional for a retarded differential equation [Internet]. Siam Journal on Mathematical Analysis. 1985 ; 16( 6): 1295-1305.[citado 2024 mar. 28 ] Available from: https://doi.org/10.1137/0516093
    • Vancouver

      Oliveira JCF de, Carvalho LAV de. A Lyapunov functional for a retarded differential equation [Internet]. Siam Journal on Mathematical Analysis. 1985 ; 16( 6): 1295-1305.[citado 2024 mar. 28 ] Available from: https://doi.org/10.1137/0516093
  • Unidade: ICMC

    Assunto: INTELIGÊNCIA ARTIFICIAL

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

      NUNES, Maria das Graças Volpe. Algoritmos de busca de texto. 1985. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 1985. . Acesso em: 28 mar. 2024.
    • APA

      Nunes, M. das G. V. (1985). Algoritmos de busca de texto (Dissertação (Mestrado). Universidade de São Paulo, São Carlos.
    • NLM

      Nunes M das GV. Algoritmos de busca de texto. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Nunes M das GV. Algoritmos de busca de texto. 1985 ;[citado 2024 mar. 28 ]
  • Unidade: ICMC

    Assunto: ÁLGEBRAS DE CLIFFORD

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

      CREPALDI, Celi Vasquez. Álgebra de Clifford canônica. 1985. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 1985. . Acesso em: 28 mar. 2024.
    • APA

      Crepaldi, C. V. (1985). Álgebra de Clifford canônica (Tese (Doutorado). Universidade de São Paulo, São Carlos.
    • NLM

      Crepaldi CV. Álgebra de Clifford canônica. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Crepaldi CV. Álgebra de Clifford canônica. 1985 ;[citado 2024 mar. 28 ]
  • Unidade: ICMC

    Assunto: MATEMÁTICA APLICADA

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

      CARVALHO, L. A. V. Sobre uma equacao a diferencas finitas nao linear e um teorema de a n sarkovskii. 1985. Tese (Livre Docência) – Universidade de São Paulo, São Carlos, 1985. . Acesso em: 28 mar. 2024.
    • APA

      Carvalho, L. A. V. (1985). Sobre uma equacao a diferencas finitas nao linear e um teorema de a n sarkovskii (Tese (Livre Docência). Universidade de São Paulo, São Carlos.
    • NLM

      Carvalho LAV. Sobre uma equacao a diferencas finitas nao linear e um teorema de a n sarkovskii. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Carvalho LAV. Sobre uma equacao a diferencas finitas nao linear e um teorema de a n sarkovskii. 1985 ;[citado 2024 mar. 28 ]
  • Source: Atas. Conference titles: Colóquio Brasileiro de Matemática. Unidade: ICMC

    Assunto: FUNÇÕES DE UMA VARIÁVEL COMPLEXA

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

      PORTO JUNIOR, Paulo Ferreira da Silva. Aplicações estáveis de 3-variedades no plano: um estudo geométrico. 1985, Anais.. Rio de Janeiro: IMPA, 1985. . Acesso em: 28 mar. 2024.
    • APA

      Porto Junior, P. F. da S. (1985). Aplicações estáveis de 3-variedades no plano: um estudo geométrico. In Atas. Rio de Janeiro: IMPA.
    • NLM

      Porto Junior PF da S. Aplicações estáveis de 3-variedades no plano: um estudo geométrico. Atas. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Porto Junior PF da S. Aplicações estáveis de 3-variedades no plano: um estudo geométrico. Atas. 1985 ;[citado 2024 mar. 28 ]
  • Source: Anais. Conference titles: Congresso Nacional de Matemática Aplicada e Computacional. Unidade: ICMC

    Assunto: SISTEMAS LINEARES

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

      ARENALES, Marcos Nereu e FRANCELIN, Roseli Aparecida e ANDRADE, Célia Maria Finazzi de. Resolução de sistemas lineares inconsistentes usando a norma de Chebyshev. 1985, Anais.. São Carlos, SP: SBMAC, 1985. . Acesso em: 28 mar. 2024.
    • APA

      Arenales, M. N., Francelin, R. A., & Andrade, C. M. F. de. (1985). Resolução de sistemas lineares inconsistentes usando a norma de Chebyshev. In Anais. São Carlos, SP: SBMAC.
    • NLM

      Arenales MN, Francelin RA, Andrade CMF de. Resolução de sistemas lineares inconsistentes usando a norma de Chebyshev. Anais. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Arenales MN, Francelin RA, Andrade CMF de. Resolução de sistemas lineares inconsistentes usando a norma de Chebyshev. Anais. 1985 ;[citado 2024 mar. 28 ]
  • Source: International Journal of Computer Mathematics. Unidade: ICMC

    Assunto: EQUAÇÕES DE VOLTERRA

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

      FRANCO, Neide Maria Bertoldi e MCKEE, S. Family of high order product integration methods for an integral equation of lighthill. International Journal of Computer Mathematics, v. 18, n. 2 , p. 173-84, 1985Tradução . . Disponível em: https://doi.org/10.1080/00207168508803487. Acesso em: 28 mar. 2024.
    • APA

      Franco, N. M. B., & Mckee, S. (1985). Family of high order product integration methods for an integral equation of lighthill. International Journal of Computer Mathematics, 18( 2 ), 173-84. doi:10.1080/00207168508803487
    • NLM

      Franco NMB, Mckee S. Family of high order product integration methods for an integral equation of lighthill [Internet]. International Journal of Computer Mathematics. 1985 ; 18( 2 ): 173-84.[citado 2024 mar. 28 ] Available from: https://doi.org/10.1080/00207168508803487
    • Vancouver

      Franco NMB, Mckee S. Family of high order product integration methods for an integral equation of lighthill [Internet]. International Journal of Computer Mathematics. 1985 ; 18( 2 ): 173-84.[citado 2024 mar. 28 ] Available from: https://doi.org/10.1080/00207168508803487
  • Conference titles: Congresso Nacional de Automação Industrial. Unidade: ICMC

    Assunto: BANCO DE DADOS

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

      TRAINA JUNIOR, C. Gerenciamento de configuração de software usando o modelo entidade-relacionamento. 1985, Anais.. São Paulo: SUCESU, 1985. . Acesso em: 28 mar. 2024.
    • APA

      Traina Junior, C. (1985). Gerenciamento de configuração de software usando o modelo entidade-relacionamento. In . São Paulo: SUCESU.
    • NLM

      Traina Junior C. Gerenciamento de configuração de software usando o modelo entidade-relacionamento. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Traina Junior C. Gerenciamento de configuração de software usando o modelo entidade-relacionamento. 1985 ;[citado 2024 mar. 28 ]
  • Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

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

      CEREDA, R. L. D. MTSB - monitor de testes para sistemas de supervisão de bordo. . São José dos Campos: INPE. . Acesso em: 28 mar. 2024. , 1985
    • APA

      Cereda, R. L. D. (1985). MTSB - monitor de testes para sistemas de supervisão de bordo. São José dos Campos: INPE.
    • NLM

      Cereda RLD. MTSB - monitor de testes para sistemas de supervisão de bordo. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Cereda RLD. MTSB - monitor de testes para sistemas de supervisão de bordo. 1985 ;[citado 2024 mar. 28 ]
  • Unidade: ICMC

    Subjects: FORTRAN, LINGUAGEM DE PROGRAMAÇÃO

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

      HEHL, Maximilian Emil. Sistema de programação FORTRAN IV GH. . São Paulo: Mcgraw Hill do Brasil. . Acesso em: 28 mar. 2024. , 1985
    • APA

      Hehl, M. E. (1985). Sistema de programação FORTRAN IV GH. São Paulo: Mcgraw Hill do Brasil.
    • NLM

      Hehl ME. Sistema de programação FORTRAN IV GH. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Hehl ME. Sistema de programação FORTRAN IV GH. 1985 ;[citado 2024 mar. 28 ]
  • Source: Revista do Professor de Matemática. Unidade: ICMC

    Assunto: ARITMÉTICA

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

      RIBEIRO, Hermano de Souza e TÁBOAS, Carmen Maria Guacelli. Sobre critérios de divisibilidade. Revista do Professor de Matemática, v. 6 , n. 1 , p. 21-24, 1985Tradução . . Acesso em: 28 mar. 2024.
    • APA

      Ribeiro, H. de S., & Táboas, C. M. G. (1985). Sobre critérios de divisibilidade. Revista do Professor de Matemática, 6 ( 1 ), 21-24.
    • NLM

      Ribeiro H de S, Táboas CMG. Sobre critérios de divisibilidade. Revista do Professor de Matemática. 1985 ; 6 ( 1 ): 21-24.[citado 2024 mar. 28 ]
    • Vancouver

      Ribeiro H de S, Táboas CMG. Sobre critérios de divisibilidade. Revista do Professor de Matemática. 1985 ; 6 ( 1 ): 21-24.[citado 2024 mar. 28 ]
  • Source: ACM SIGSOFT Software Engineering Notes. Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

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

      PENTEADO, R. D e MASIERO, Paulo Cesar e GERMANO, F. S. R. Structure charts for Jackson system development. ACM SIGSOFT Software Engineering Notes, v. 10 , n. 3, p. 40-46, 1985Tradução . . Disponível em: https://doi.org/10.1145/1012483.1012488. Acesso em: 28 mar. 2024.
    • APA

      Penteado, R. D., Masiero, P. C., & Germano, F. S. R. (1985). Structure charts for Jackson system development. ACM SIGSOFT Software Engineering Notes, 10 ( 3), 40-46. doi:10.1145/1012483.1012488
    • NLM

      Penteado RD, Masiero PC, Germano FSR. Structure charts for Jackson system development [Internet]. ACM SIGSOFT Software Engineering Notes. 1985 ; 10 ( 3): 40-46.[citado 2024 mar. 28 ] Available from: https://doi.org/10.1145/1012483.1012488
    • Vancouver

      Penteado RD, Masiero PC, Germano FSR. Structure charts for Jackson system development [Internet]. ACM SIGSOFT Software Engineering Notes. 1985 ; 10 ( 3): 40-46.[citado 2024 mar. 28 ] Available from: https://doi.org/10.1145/1012483.1012488
  • Unidade: ICMC

    Assunto: EQUAÇÕES DIFERENCIAIS COM RETARDAMENTO

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

      NUNES, Wagner Vieira Leite. Solucoes periodicas de equacoes diferenciais autonomas do tipo retardado. 1985. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 1985. . Acesso em: 28 mar. 2024.
    • APA

      Nunes, W. V. L. (1985). Solucoes periodicas de equacoes diferenciais autonomas do tipo retardado (Dissertação (Mestrado). Universidade de São Paulo, São Carlos.
    • NLM

      Nunes WVL. Solucoes periodicas de equacoes diferenciais autonomas do tipo retardado. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Nunes WVL. Solucoes periodicas de equacoes diferenciais autonomas do tipo retardado. 1985 ;[citado 2024 mar. 28 ]
  • Unidade: ICMC

    Assunto: EQUAÇÕES DIFERENCIAIS

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

      BENA, Maria Aparecida. Perturbacao de orbitas homoclinicas simetricas em equacoes de segunda ordem. 1985. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 1985. . Acesso em: 28 mar. 2024.
    • APA

      Bena, M. A. (1985). Perturbacao de orbitas homoclinicas simetricas em equacoes de segunda ordem (Dissertação (Mestrado). Universidade de São Paulo, São Carlos.
    • NLM

      Bena MA. Perturbacao de orbitas homoclinicas simetricas em equacoes de segunda ordem. 1985 ;[citado 2024 mar. 28 ]
    • Vancouver

      Bena MA. Perturbacao de orbitas homoclinicas simetricas em equacoes de segunda ordem. 1985 ;[citado 2024 mar. 28 ]

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