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
Fonte: Anais. Nome do evento: 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: 10 nov. 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 nov. 10 ]
Vancouver
Pereira AEC, Monard MC, Nunes M das GV. Um método simples de implementar linguagens lógicas. Anais. 1985 ;[citado 2024 nov. 10 ]
Trabalho de evento
Resolução de sistemas lineares inconsistentes usando a norma de Chebyshev (1985)
Arenales, Marcos Nereu ; Romero, Roseli Aparecida Francelin ; Andrade, Célia Maria Finazzi de
Fonte: Anais. Nome do evento: 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 ROMERO, Roseli Aparecida Francelin 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: 10 nov. 2024.
APA
Arenales, M. N., Romero, R. A. F., & 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, Romero RAF, Andrade CMF de. Resolução de sistemas lineares inconsistentes usando a norma de Chebyshev. Anais. 1985 ;[citado 2024 nov. 10 ]
Vancouver
Arenales MN, Romero RAF, Andrade CMF de. Resolução de sistemas lineares inconsistentes usando a norma de Chebyshev. Anais. 1985 ;[citado 2024 nov. 10 ]
Trabalho de evento
Input process in queues with delayed retrials (1985)
Salles, Maria Creusa Bretas; Dantas, Carlos Alberto Barbosa
Fonte: Anais. Nome do evento: Reuniao Isi. Unidades: IME, ICMC
Assunto: PROCESSOS ESTOCÁSTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALLES, Maria Creusa Bretas e DANTAS, Carlos Alberto Barbosa. Input process in queues with delayed retrials. 1985, Anais.. Amsterdam: International Statistical Institute, 1985. . Acesso em: 10 nov. 2024.
APA
Salles, M. C. B., & Dantas, C. A. B. (1985). Input process in queues with delayed retrials. In Anais. Amsterdam: International Statistical Institute.
NLM
Salles MCB, Dantas CAB. Input process in queues with delayed retrials. Anais. 1985 ;[citado 2024 nov. 10 ]
Vancouver
Salles MCB, Dantas CAB. Input process in queues with delayed retrials. Anais. 1985 ;[citado 2024 nov. 10 ]
Trabalho de evento
Comparative study of link protocols for typical fault-tolerant multiprocessing unit for on board satellite applications (1985)
Maldonado, José Carlos
Fonte: Anais. Nome do evento: Simpósio em Sistemas de Computadores Tolerantes a Falhas. 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. 1985, Anais.. São Jose dos Campos: INPE, 1985. . Acesso em: 10 nov. 2024.
APA
Maldonado, J. C. (1985). Comparative study of link protocols for typical fault-tolerant multiprocessing unit for on board satellite applications. In Anais. São Jose dos Campos: INPE.
NLM
Maldonado JC. Comparative study of link protocols for typical fault-tolerant multiprocessing unit for on board satellite applications. Anais. 1985 ;[citado 2024 nov. 10 ]
Vancouver
Maldonado JC. Comparative study of link protocols for typical fault-tolerant multiprocessing unit for on board satellite applications. Anais. 1985 ;[citado 2024 nov. 10 ]
Trabalho de evento
Problema de aproximacao linear no 'L POT.1' (1985)
Arenales, Marcos Nereu
Fonte: Anais. Nome do evento: Congresso Nacional de Matemática Aplicada e Computacional. Unidade: ICMC
Assunto: ENGENHARIA DE PRODUÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARENALES, Marcos Nereu. Problema de aproximacao linear no 'L POT.1'. 1985, Anais.. Florianopolis, SC: Universidade Federal de Santa Catarina, 1985. . Acesso em: 10 nov. 2024.
APA
Arenales, M. N. (1985). Problema de aproximacao linear no 'L POT.1'. In Anais. Florianopolis, SC: Universidade Federal de Santa Catarina.
NLM
Arenales MN. Problema de aproximacao linear no 'L POT.1'. Anais. 1985 ;[citado 2024 nov. 10 ]
Vancouver
Arenales MN. Problema de aproximacao linear no 'L POT.1'. Anais. 1985 ;[citado 2024 nov. 10 ]
Trabalho de evento
Sobre as dificuldades em resolver a equação do calor com condições de contorno envolvendo derivadas (1985)
Andrade, Célia Maria Finazzi de; Mckee, S
Fonte: Anais. Nome do evento: Congresso Nacional de Matematica Aplicada e Computacional. Unidade: ICMC
Assunto: EQUAÇÕES DIFERENCIAIS ORDINÁRIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRADE, Célia Maria Finazzi de e MCKEE, S. Sobre as dificuldades em resolver a equação do calor com condições de contorno envolvendo derivadas. 1985, Anais.. Florianópolis: Universidade Federal de Santa Catarina, 1985. . Acesso em: 10 nov. 2024.
APA
Andrade, C. M. F. de, & Mckee, S. (1985). Sobre as dificuldades em resolver a equação do calor com condições de contorno envolvendo derivadas. In Anais. Florianópolis: Universidade Federal de Santa Catarina.
NLM
Andrade CMF de, Mckee S. Sobre as dificuldades em resolver a equação do calor com condições de contorno envolvendo derivadas. Anais. 1985 ;[citado 2024 nov. 10 ]
Vancouver
Andrade CMF de, Mckee S. Sobre as dificuldades em resolver a equação do calor com condições de contorno envolvendo derivadas. Anais. 1985 ;[citado 2024 nov. 10 ]
Trabalho de evento
Método de busca em texto usando pré-processamento (1985)
Nunes, Maria das Graças Volpe
Fonte: Anais. Nome do evento: Congresso Nacional da SBC. Unidade: ICMC
Assuntos: INTELIGÊNCIA ARTIFICIAL, ALGORITMOS, SISTEMAS ESPECIALISTAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NUNES, Maria das Graças Volpe. Método de busca em texto usando pré-processamento. 1985, Anais.. Porto Alegre, RS: UFRGS, 1985. . Acesso em: 10 nov. 2024.
APA
Nunes, M. das G. V. (1985). Método de busca em texto usando pré-processamento. In Anais. Porto Alegre, RS: UFRGS.
NLM
Nunes M das GV. Método de busca em texto usando pré-processamento. Anais. 1985 ;[citado 2024 nov. 10 ]
Vancouver
Nunes M das GV. Método de busca em texto usando pré-processamento. Anais. 1985 ;[citado 2024 nov. 10 ]
Trabalho de evento
Sobre métodos de resolução do problema de aproximação linear discreta no 'L POT. 1' (1985)
Arenales, Marcos Nereu
Fonte: Anais. Nome do evento: Reunião Regional da SBMAC. Unidade: ICMC
Assunto: ENGENHARIA DE PRODUÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARENALES, Marcos Nereu. Sobre métodos de resolução do problema de aproximação linear discreta no 'L POT. 1'. 1985, Anais.. Rio Claro, SP: SBMAC, 1985. . Acesso em: 10 nov. 2024.
APA
Arenales, M. N. (1985). Sobre métodos de resolução do problema de aproximação linear discreta no 'L POT. 1'. In Anais. Rio Claro, SP: SBMAC.
NLM
Arenales MN. Sobre métodos de resolução do problema de aproximação linear discreta no 'L POT. 1'. Anais. 1985 ;[citado 2024 nov. 10 ]
Vancouver
Arenales MN. Sobre métodos de resolução do problema de aproximação linear discreta no 'L POT. 1'. Anais. 1985 ;[citado 2024 nov. 10 ]

Unidades USP

ReP

Filtros

Autores

Autores USP

Assuntos

Editora

Nome do evento