ReP USP - Resultado da busca

Trabalho de evento
Um método simples de implementar linguagens lógicas (1985)
Pereira, Antonio Eduardo Costa; Monard, Maria Carolina; Nunes, Maria das Graças Volpe
Source: Anais. Conference titles: Simpósio Fluminense de Lógica, Filosofia e Teoria da Ciência. Unidade: ICMC
Assunto: CIÊNCIA DA COMPUTAÇÃO
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: 21 set. 2023.
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 2023 set. 21 ]
Vancouver
Pereira AEC, Monard MC, Nunes M das GV. Um método simples de implementar linguagens lógicas. Anais. 1985 ;[citado 2023 set. 21 ]
Artigo de periodico
Family of high order product integration methods for an integral equation of lighthill (1985)
Franco, Neide Maria Bertoldi; Mckee, S
Source: International Journal of Computer Mathematics. Unidade: ICMC
Assunto: EQUAÇÕES DE VOLTERRA
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 . . Acesso em: 21 set. 2023.
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. International Journal of Computer Mathematics. 1985 ; 18( 2 ): 173-84.[citado 2023 set. 21 ]
Vancouver
Franco NMB, Mckee S. Family of high order product integration methods for an integral equation of lighthill. International Journal of Computer Mathematics. 1985 ; 18( 2 ): 173-84.[citado 2023 set. 21 ]
Trabalho de evento
Envoltorias, versalidade e estabilidade (1985)
Favaro, L. A; Mendes, C. M; Mancini, S
Source: Atas. Conference titles: Colóquio Brasileiro de Matemática. Unidade: ICMC
Assunto: FUNÇÕES ESPECIAIS
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: 21 set. 2023.
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 2023 set. 21 ]
Vancouver
Favaro LA, Mendes CM, Mancini S. Envoltorias, versalidade e estabilidade. Atas. 1985 ;[citado 2023 set. 21 ]
Trabalho de evento
Resolução de sistemas lineares inconsistentes usando a norma de Chebyshev (1985)
Arenales, Marcos Nereu; Francelin, Roseli Aparecida; Andrade, Célia Maria Finnazzi de
Source: Anais. Conference titles: Congresso Nacional de Matemática Aplicada e Computacional. Unidade: ICMC
Assunto: SISTEMAS LINEARES
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 Finnazzi de. Resolução de sistemas lineares inconsistentes usando a norma de Chebyshev. 1985, Anais.. São Carlos, SP: SBMAC, 1985. . Acesso em: 21 set. 2023.
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 2023 set. 21 ]
Vancouver
Arenales MN, Francelin RA, Andrade CMF de. Resolução de sistemas lineares inconsistentes usando a norma de Chebyshev. Anais. 1985 ;[citado 2023 set. 21 ]
Trabalho de evento
Aplicações estáveis de 3-variedades no plano: um estudo geométrico (1985)
Porto Junior, Paulo Ferreira da Silva
Source: Atas. Conference titles: Colóquio Brasileiro de Matemática. Unidade: ICMC
Assunto: FUNÇÕES DE UMA VARIÁVEL COMPLEXA
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: 21 set. 2023.
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 2023 set. 21 ]
Vancouver
Porto Junior PF da S. Aplicações estáveis de 3-variedades no plano: um estudo geométrico. Atas. 1985 ;[citado 2023 set. 21 ]
Artigo de periodico
A Lyapunov functional for a retarded differential equation (1985)
Oliveira, José Carlos Fernandes de; Carvalho, Luiz Antonio Vieira de
Source: Siam Journal on Mathematical Analysis. Unidades: IME, ICMC
Assunto: FUNÇÕES ESPECIAIS
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: 21 set. 2023.
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 2023 set. 21 ] 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 2023 set. 21 ] Available from: https://doi.org/10.1137/0516093
Monografia/livro
A parallel subgradient projections method for the convex feasibility problem (1985)
Santos, Lucio Tunes dos
Unidade: ICMC
Subjects: PROGRAMAÇÃO CONVEXA, MÉTODOS ITERATIVOS
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: 21 set. 2023. , 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 2023 set. 21 ]
Vancouver
Santos LT dos. A parallel subgradient projections method for the convex feasibility problem. 1985 ;[citado 2023 set. 21 ]
Monografia/livro
Comparative study of link protocols for typical fault-tolerant multiprocessing unit for on board satellite applications (1985)
Maldonado, José Carlos
Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
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: 21 set. 2023. , 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 2023 set. 21 ]
Vancouver
Maldonado JC. Comparative study of link protocols for typical fault-tolerant multiprocessing unit for on board satellite applications. 1985 ;[citado 2023 set. 21 ]
Dissertação (Mestrado)
Algoritmos de busca de texto (1985)
Nunes, Maria das Graças Volpe; Monard, Maria Carolina (Orientador)
Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
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, Sao Carlos, 1985. . Acesso em: 21 set. 2023.
APA
Nunes, M. das G. V. (1985). Algoritmos de busca de texto (Dissertação (Mestrado). Universidade de São Paulo, Sao Carlos.
NLM
Nunes M das GV. Algoritmos de busca de texto. 1985 ;[citado 2023 set. 21 ]
Vancouver
Nunes M das GV. Algoritmos de busca de texto. 1985 ;[citado 2023 set. 21 ]
Tese (Livre Docência)
Sobre uma equacao a diferencas finitas nao linear e um teorema de a n sarkovskii (1985)
Carvalho, L. A. V.
Unidade: ICMC
Assunto: MATEMÁTICA APLICADA
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, Sao Carlos, 1985. . Acesso em: 21 set. 2023.
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, Sao Carlos.
NLM
Carvalho LAV. Sobre uma equacao a diferencas finitas nao linear e um teorema de a n sarkovskii. 1985 ;[citado 2023 set. 21 ]
Vancouver
Carvalho LAV. Sobre uma equacao a diferencas finitas nao linear e um teorema de a n sarkovskii. 1985 ;[citado 2023 set. 21 ]
Tese (Doutorado)
Álgebra de Clifford canônica (1985)
Crepaldi, Celi Vasquez; Dias, Candido Lima da Silva (Orientador)
Unidade: ICMC
Assunto: ÁLGEBRAS DE CLIFFORD
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, Sao Carlos, 1985. . Acesso em: 21 set. 2023.
APA
Crepaldi, C. V. (1985). Álgebra de Clifford canônica (Tese (Doutorado). Universidade de São Paulo, Sao Carlos.
NLM
Crepaldi CV. Álgebra de Clifford canônica. 1985 ;[citado 2023 set. 21 ]
Vancouver
Crepaldi CV. Álgebra de Clifford canônica. 1985 ;[citado 2023 set. 21 ]
Trabalho de evento-resumo periodico
Desenvolvimento de sistemas baseados em microprocessadores (1985)
Slaets, Jan Frans Willem; Traina Junior, C
Source: Ciência e Cultura. Conference titles: Reunião Anual da SBPC. Unidades: IFSC, ICMC
Assunto: BANCO DE DADOS
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: 21 set. 2023. , 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 2023 set. 21 ]
Vancouver
Slaets JFW, Traina Junior C. Desenvolvimento de sistemas baseados em microprocessadores. Ciência e Cultura. 1985 ;37( 7 supl.): 349.[citado 2023 set. 21 ]
Monografia/livro
On the spectrum of evolution operators generated by hyperbolic systems (1985)
Neves, Aloisio Freiria; Lopes, Orlando; Ribeiro, Hermano de Souza
Unidade: ICMC
Assunto: EQUAÇÕES DIFERENCIAIS PARCIAIS HIPERBÓLICAS
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: 21 set. 2023. , 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 2023 set. 21 ]
Vancouver
Neves AF, Lopes O, Ribeiro H de S. On the spectrum of evolution operators generated by hyperbolic systems. 1985 ;[citado 2023 set. 21 ]
Dissertação (Mestrado)
Solucoes periodicas de equacoes diferenciais autonomas do tipo retardado (1985)
Nunes, Wagner Vieira Leite; Taboas, Placido Zoega (Orientador)
Unidade: ICMC
Assunto: EQUAÇÕES DIFERENCIAIS COM RETARDAMENTO
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, Sao Carlos, 1985. . Acesso em: 21 set. 2023.
APA
Nunes, W. V. L. (1985). Solucoes periodicas de equacoes diferenciais autonomas do tipo retardado (Dissertação (Mestrado). Universidade de São Paulo, Sao Carlos.
NLM
Nunes WVL. Solucoes periodicas de equacoes diferenciais autonomas do tipo retardado. 1985 ;[citado 2023 set. 21 ]
Vancouver
Nunes WVL. Solucoes periodicas de equacoes diferenciais autonomas do tipo retardado. 1985 ;[citado 2023 set. 21 ]
Dissertação (Mestrado)
Pae-processador de auxilio ao ensino (1985)
Furuya, Noritsuma; Paciornik, Silvio David (Orientador)
Unidade: ICMC
Assunto: MATEMÁTICA (ESTUDO E ENSINO)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FURUYA, Noritsuma. Pae-processador de auxilio ao ensino. 1985. Dissertação (Mestrado) – Universidade de São Paulo, Sao Carlos, 1985. . Acesso em: 21 set. 2023.
APA
Furuya, N. (1985). Pae-processador de auxilio ao ensino (Dissertação (Mestrado). Universidade de São Paulo, Sao Carlos.
NLM
Furuya N. Pae-processador de auxilio ao ensino. 1985 ;[citado 2023 set. 21 ]
Vancouver
Furuya N. Pae-processador de auxilio ao ensino. 1985 ;[citado 2023 set. 21 ]
Dissertação (Mestrado)
Perturbacao de orbitas homoclinicas simetricas em equacoes de segunda ordem (1985)
Bena, Maria Aparecida; Spezamiglio, Adalberto (Orientador)
Unidade: ICMC
Assunto: EQUAÇÕES DIFERENCIAIS
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, Sao Carlos, 1985. . Acesso em: 21 set. 2023.
APA
Bena, M. A. (1985). Perturbacao de orbitas homoclinicas simetricas em equacoes de segunda ordem (Dissertação (Mestrado). Universidade de São Paulo, Sao Carlos.
NLM
Bena MA. Perturbacao de orbitas homoclinicas simetricas em equacoes de segunda ordem. 1985 ;[citado 2023 set. 21 ]
Vancouver
Bena MA. Perturbacao de orbitas homoclinicas simetricas em equacoes de segunda ordem. 1985 ;[citado 2023 set. 21 ]
Tese (Doutorado)
Construcao de parametrizes e hipoeliticidade de certos problemas de fronteira (1985)
Petronilho, Gerson; Bergamasco, Adalberto Panobianco (Orientador)
Unidade: ICMC
Assunto: TOPOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PETRONILHO, Gerson. Construcao de parametrizes e hipoeliticidade de certos problemas de fronteira. 1985. Tese (Doutorado) – Universidade de São Paulo, Sao Carlos, 1985. . Acesso em: 21 set. 2023.
APA
Petronilho, G. (1985). Construcao de parametrizes e hipoeliticidade de certos problemas de fronteira (Tese (Doutorado). Universidade de São Paulo, Sao Carlos.
NLM
Petronilho G. Construcao de parametrizes e hipoeliticidade de certos problemas de fronteira. 1985 ;[citado 2023 set. 21 ]
Vancouver
Petronilho G. Construcao de parametrizes e hipoeliticidade de certos problemas de fronteira. 1985 ;[citado 2023 set. 21 ]
Dissertação (Mestrado)
Metodos de projecao de subgradiente para o problema de factibilidade convexa (1985)
Santos, L. T. dos; Perez, Jose M. M. (Orientador)
Unidade: ICMC
Assunto: MATEMÁTICA APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, L. T. dos. Metodos de projecao de subgradiente para o problema de factibilidade convexa. 1985. Dissertação (Mestrado) – Universidade de São Paulo, Sao Carlos, 1985. . Acesso em: 21 set. 2023.
APA
Santos, L. T. dos. (1985). Metodos de projecao de subgradiente para o problema de factibilidade convexa (Dissertação (Mestrado). Universidade de São Paulo, Sao Carlos.
NLM
Santos LT dos. Metodos de projecao de subgradiente para o problema de factibilidade convexa. 1985 ;[citado 2023 set. 21 ]
Vancouver
Santos LT dos. Metodos de projecao de subgradiente para o problema de factibilidade convexa. 1985 ;[citado 2023 set. 21 ]
Artigo de periodico
Structure charts for Jackson system development (1985)
Penteado, R. D; Masiero, Paulo Cesar; Germano, F. S. R
Source: ACM SIGSOFT Software Engineering Notes. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
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 . . Acesso em: 21 set. 2023.
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. ACM SIGSOFT Software Engineering Notes. 1985 ; 10 ( 3): 40-46.[citado 2023 set. 21 ]
Vancouver
Penteado RD, Masiero PC, Germano FSR. Structure charts for Jackson system development. ACM SIGSOFT Software Engineering Notes. 1985 ; 10 ( 3): 40-46.[citado 2023 set. 21 ]
Artigo de periodico
Sobre critérios de divisibilidade (1985)
Ribeiro, Hermano de Souza; Táboas, Carmen Maria Guacelli
Source: Revista do Professor de Matemática. Unidade: ICMC
Assunto: ARITMÉTICA
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: 21 set. 2023.
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 2023 set. 21 ]
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 2023 set. 21 ]

USP Schools

ReP

Filtros

Document Types

Departament

Authors

USP affiliated authors

Subjects

Source title

Publisher

Conference titles