ReP USP - Resultado da busca

Tese (Doutorado)
O processo de elicitação de metas de dependabilidade para sistemas computacionais críticos: estudo de caso aplicado a área espacial (2009)
Lahoz, Carlos Henrique Netto ; Camargo Júnior, João Batista (Orientador)
Unidade: EP
Assuntos: ENGENHARIA DE REQUISITOS, SEGURANÇA DE COMPUTADORES, CONFIABILIDADE DE SOFTWARE, COMPUTADORES DIGITAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LAHOZ, Carlos Henrique Netto. O processo de elicitação de metas de dependabilidade para sistemas computacionais críticos: estudo de caso aplicado a área espacial. 2009. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-14102009-103227/. Acesso em: 26 out. 2025.
APA
Lahoz, C. H. N. (2009). O processo de elicitação de metas de dependabilidade para sistemas computacionais críticos: estudo de caso aplicado a área espacial (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-14102009-103227/
NLM
Lahoz CHN. O processo de elicitação de metas de dependabilidade para sistemas computacionais críticos: estudo de caso aplicado a área espacial [Internet]. 2009 ;[citado 2025 out. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-14102009-103227/
Vancouver
Lahoz CHN. O processo de elicitação de metas de dependabilidade para sistemas computacionais críticos: estudo de caso aplicado a área espacial [Internet]. 2009 ;[citado 2025 out. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-14102009-103227/
Artigo de periodico
Mock circulatory system for the evaluation of left ventricular assist devices, endoluminal prostheses,and vascular diseases (2008)
Legendre, Daniel; Fonseca, Jeison William Gomes da; Andrade, Aron José Pazin de; Biscegli, José Francisco; Manrique, R; Guerrino, Domingos; Prakasan, Akash Kuzhiparambil; Ortiz, Jayme Pinto ; Lucchi, Julio Cesar
Fonte: Artificial Organs. Unidade: EP
Assuntos: COMPUTADORES DIGITAIS, DOENÇAS VASCULARES (AVALIAÇÃO), SISTEMA CARDIOVASCULAR (CARACTERÍSTICAS)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LEGENDRE, Daniel et al. Mock circulatory system for the evaluation of left ventricular assist devices, endoluminal prostheses,and vascular diseases. Artificial Organs, v. 32, n. 6, p. 461-7, 2008Tradução . . Disponível em: https://doi.org/10.1111/j.1525-1594.2008.00569.x. Acesso em: 26 out. 2025.
APA
Legendre, D., Fonseca, J. W. G. da, Andrade, A. J. P. de, Biscegli, J. F., Manrique, R., Guerrino, D., et al. (2008). Mock circulatory system for the evaluation of left ventricular assist devices, endoluminal prostheses,and vascular diseases. Artificial Organs, 32( 6), 461-7. doi:10.1111/j.1525-1594.2008.00569.x
NLM
Legendre D, Fonseca JWG da, Andrade AJP de, Biscegli JF, Manrique R, Guerrino D, Prakasan AK, Ortiz JP, Lucchi JC. Mock circulatory system for the evaluation of left ventricular assist devices, endoluminal prostheses,and vascular diseases [Internet]. Artificial Organs. 2008 ; 32( 6): 461-7.[citado 2025 out. 26 ] Available from: https://doi.org/10.1111/j.1525-1594.2008.00569.x
Vancouver
Legendre D, Fonseca JWG da, Andrade AJP de, Biscegli JF, Manrique R, Guerrino D, Prakasan AK, Ortiz JP, Lucchi JC. Mock circulatory system for the evaluation of left ventricular assist devices, endoluminal prostheses,and vascular diseases [Internet]. Artificial Organs. 2008 ; 32( 6): 461-7.[citado 2025 out. 26 ] Available from: https://doi.org/10.1111/j.1525-1594.2008.00569.x
Dissertação (Mestrado)
Um meta-editor dirigido por sintaxe para linguagens estruturadas em blocos (1995)
Iwai, Margarete Keiko; José Neto, João (Orientador)
Unidade: EP
Assuntos: EDITORES DE TEXTO, LINGUAGEM DE PROGRAMAÇÃO, COMPUTADORES DIGITAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IWAI, Margarete Keiko. Um meta-editor dirigido por sintaxe para linguagens estruturadas em blocos. 1995. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1995. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-28082024-135405/pt-br.php. Acesso em: 26 out. 2025.
APA
Iwai, M. K. (1995). Um meta-editor dirigido por sintaxe para linguagens estruturadas em blocos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-28082024-135405/pt-br.php
NLM
Iwai MK. Um meta-editor dirigido por sintaxe para linguagens estruturadas em blocos [Internet]. 1995 ;[citado 2025 out. 26 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-28082024-135405/pt-br.php
Vancouver
Iwai MK. Um meta-editor dirigido por sintaxe para linguagens estruturadas em blocos [Internet]. 1995 ;[citado 2025 out. 26 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-28082024-135405/pt-br.php
Relatorio tecnico
Administracao do unix i (1994)
Ramos, P R; Arrienti, L
Unidade: IEE
Assuntos: COMPUTADORES DIGITAIS, COMPUTADORES HÍBRIDOS E ANALÓGICOS, SISTEMAS OPERACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RAMOS, P R e ARRIENTI, L. Administracao do unix i. . São Paulo: Iee-Usp. . Acesso em: 26 out. 2025. , 1994
APA
Ramos, P. R., & Arrienti, L. (1994). Administracao do unix i. São Paulo: Iee-Usp.
NLM
Ramos PR, Arrienti L. Administracao do unix i. 1994 ;[citado 2025 out. 26 ]
Vancouver
Ramos PR, Arrienti L. Administracao do unix i. 1994 ;[citado 2025 out. 26 ]
Relatorio tecnico
Administracao do unix ii (1994)
Ramos, P R; Arrienti, L
Unidade: IEE
Assuntos: COMPUTADORES DIGITAIS, COMPUTADORES HÍBRIDOS E ANALÓGICOS, SISTEMAS OPERACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RAMOS, P R e ARRIENTI, L. Administracao do unix ii. . São Paulo: Iee-Usp. . Acesso em: 26 out. 2025. , 1994
APA
Ramos, P. R., & Arrienti, L. (1994). Administracao do unix ii. São Paulo: Iee-Usp.
NLM
Ramos PR, Arrienti L. Administracao do unix ii. 1994 ;[citado 2025 out. 26 ]
Vancouver
Ramos PR, Arrienti L. Administracao do unix ii. 1994 ;[citado 2025 out. 26 ]
Relatorio tecnico
Sistemas digitais ii (1993)
Slaets, Annie France Frère; Schiabel, Homero
Unidade: EESC
Assunto: COMPUTADORES DIGITAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SLAETS, Annie France Frère e SCHIABEL, Homero. Sistemas digitais ii. . Sao Carlos: Eesc-Usp. . Acesso em: 26 out. 2025. , 1993
APA
Slaets, A. F. F., & Schiabel, H. (1993). Sistemas digitais ii. Sao Carlos: Eesc-Usp.
NLM
Slaets AFF, Schiabel H. Sistemas digitais ii. 1993 ;[citado 2025 out. 26 ]
Vancouver
Slaets AFF, Schiabel H. Sistemas digitais ii. 1993 ;[citado 2025 out. 26 ]
Trabalho de evento
Desenvolvimento de sistemas digitais de alta confiabilidade: descricao de um caso real (1991)
Kobayashi, G; Melnikoff, Selma Shin Shimizu; Souza, Benício José de
Fonte: Anais. Nome do evento: Congresso Nacional de Informatica. Unidade: EP
Assunto: COMPUTADORES DIGITAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KOBAYASHI, G e MELNIKOFF, Selma Shin Shimizu e SOUZA, Benício José de. Desenvolvimento de sistemas digitais de alta confiabilidade: descricao de um caso real. 1991, Anais.. São Paulo: Sucesu, 1991. . Acesso em: 26 out. 2025.
APA
Kobayashi, G., Melnikoff, S. S. S., & Souza, B. J. de. (1991). Desenvolvimento de sistemas digitais de alta confiabilidade: descricao de um caso real. In Anais. São Paulo: Sucesu.
NLM
Kobayashi G, Melnikoff SSS, Souza BJ de. Desenvolvimento de sistemas digitais de alta confiabilidade: descricao de um caso real. Anais. 1991 ;[citado 2025 out. 26 ]
Vancouver
Kobayashi G, Melnikoff SSS, Souza BJ de. Desenvolvimento de sistemas digitais de alta confiabilidade: descricao de um caso real. Anais. 1991 ;[citado 2025 out. 26 ]
Dissertação (Mestrado)
Simulacao logica em computadores digitais (1990)
Goya, Rodolfo Riyoei; Zuffo, João Antonio (Orientador)
Unidade: EP
Assunto: COMPUTADORES DIGITAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GOYA, Rodolfo Riyoei. Simulacao logica em computadores digitais. 1990. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1990. . Acesso em: 26 out. 2025.
APA
Goya, R. R. (1990). Simulacao logica em computadores digitais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.
NLM
Goya RR. Simulacao logica em computadores digitais. 1990 ;[citado 2025 out. 26 ]
Vancouver
Goya RR. Simulacao logica em computadores digitais. 1990 ;[citado 2025 out. 26 ]
Dissertação (Mestrado)
Avaliação da confiabilidade em sistemas digitais triplicados (1980)
Cortes, Mario Lucio; Dias, Francisco José de Oliveira (Orientador)
Unidade: EP
Assunto: COMPUTADORES DIGITAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CORTES, Mario Lucio. Avaliação da confiabilidade em sistemas digitais triplicados. 1980. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1980. . Acesso em: 26 out. 2025.
APA
Cortes, M. L. (1980). Avaliação da confiabilidade em sistemas digitais triplicados (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.
NLM
Cortes ML. Avaliação da confiabilidade em sistemas digitais triplicados. 1980 ;[citado 2025 out. 26 ]
Vancouver
Cortes ML. Avaliação da confiabilidade em sistemas digitais triplicados. 1980 ;[citado 2025 out. 26 ]
Tese (Doutorado)
SPD: um sistema automático de apoio ao projeto e desenvolvimento de sistemas digitais (1980)
José Neto, João ; Massola, Antônio Marcos de Aguirra (Orientador)
Unidade: EP
Assunto: COMPUTADORES DIGITAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JOSÉ NETO, João. SPD: um sistema automático de apoio ao projeto e desenvolvimento de sistemas digitais. 1980. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1980. . Acesso em: 26 out. 2025.
APA
José Neto, J. (1980). SPD: um sistema automático de apoio ao projeto e desenvolvimento de sistemas digitais (Tese (Doutorado). Universidade de São Paulo, São Paulo.
NLM
José Neto J. SPD: um sistema automático de apoio ao projeto e desenvolvimento de sistemas digitais. 1980 ;[citado 2025 out. 26 ]
Vancouver
José Neto J. SPD: um sistema automático de apoio ao projeto e desenvolvimento de sistemas digitais. 1980 ;[citado 2025 out. 26 ]
Tese (Doutorado)
Da síntese de um processador digital: um estudo analítico (1976)
Paciornik, Silvio Davi; Porto, José Rubens Dória (Orientador)
Unidade: EP
Assunto: COMPUTADORES DIGITAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PACIORNIK, Silvio Davi. Da síntese de um processador digital: um estudo analítico. 1976. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1976. . Acesso em: 26 out. 2025.
APA
Paciornik, S. D. (1976). Da síntese de um processador digital: um estudo analítico (Tese (Doutorado). Universidade de São Paulo, São Paulo.
NLM
Paciornik SD. Da síntese de um processador digital: um estudo analítico. 1976 ;[citado 2025 out. 26 ]
Vancouver
Paciornik SD. Da síntese de um processador digital: um estudo analítico. 1976 ;[citado 2025 out. 26 ]
Tese (Doutorado)
Automação de projetos de sistemas digitais: simulação em nível de portas lógicas (1974)
Massola, Antônio Marcos de Aguirra; Vieira, Antonio Hélio Guerra (Orientador)
Unidade: EP
Assuntos: COMPUTADORES DIGITAIS, SIMULAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MASSOLA, Antônio Marcos de Aguirra. Automação de projetos de sistemas digitais: simulação em nível de portas lógicas. 1974. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1974. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-09112017-085845/. Acesso em: 26 out. 2025.
APA
Massola, A. M. de A. (1974). Automação de projetos de sistemas digitais: simulação em nível de portas lógicas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-09112017-085845/
NLM
Massola AM de A. Automação de projetos de sistemas digitais: simulação em nível de portas lógicas [Internet]. 1974 ;[citado 2025 out. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-09112017-085845/
Vancouver
Massola AM de A. Automação de projetos de sistemas digitais: simulação em nível de portas lógicas [Internet]. 1974 ;[citado 2025 out. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-09112017-085845/
Dissertação (Mestrado)
Aplicação de computadores digitais para cálculo de parâmetros elétricos de linhas de transmissão (1970)
Jardini, José Antonio; Ivanoff, Dimetri (Orientador)
Unidade: EP
Assuntos: COMPUTADORES DIGITAIS, LINHAS DE TRANSMISSÃO DE ENERGIA ELÉTRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JARDINI, José Antonio. Aplicação de computadores digitais para cálculo de parâmetros elétricos de linhas de transmissão. 1970. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1970. . Acesso em: 26 out. 2025.
APA
Jardini, J. A. (1970). Aplicação de computadores digitais para cálculo de parâmetros elétricos de linhas de transmissão (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.
NLM
Jardini JA. Aplicação de computadores digitais para cálculo de parâmetros elétricos de linhas de transmissão. 1970 ;[citado 2025 out. 26 ]
Vancouver
Jardini JA. Aplicação de computadores digitais para cálculo de parâmetros elétricos de linhas de transmissão. 1970 ;[citado 2025 out. 26 ]
Dissertação (Mestrado)
Dispositivo de acesso a um computador digital (1970)
Paciornik, Silvio Davi; Polga, Trentino (Orientador)
Unidade: EP
Assunto: COMPUTADORES DIGITAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PACIORNIK, Silvio Davi. Dispositivo de acesso a um computador digital. 1970. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1970. . Acesso em: 26 out. 2025.
APA
Paciornik, S. D. (1970). Dispositivo de acesso a um computador digital (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.
NLM
Paciornik SD. Dispositivo de acesso a um computador digital. 1970 ;[citado 2025 out. 26 ]
Vancouver
Paciornik SD. Dispositivo de acesso a um computador digital. 1970 ;[citado 2025 out. 26 ]
Tese (Livre Docência)
Solução de problemas da teoria da elasticidade por meio de computadores digitais (1964)
Souza Lima, Victor Manoel de (Orientador)
Unidade: EP
Assuntos: ELASTICIDADE, COMPUTADORES DIGITAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Solução de problemas da teoria da elasticidade por meio de computadores digitais. 1964. Tese (Livre Docência) – Universidade de São Paulo, São Paulo, 1964. . Acesso em: 26 out. 2025.
APA
Solução de problemas da teoria da elasticidade por meio de computadores digitais (Tese (Livre Docência). (1964). Solução de problemas da teoria da elasticidade por meio de computadores digitais (Tese (Livre Docência). Universidade de São Paulo, São Paulo.
NLM
Solução de problemas da teoria da elasticidade por meio de computadores digitais. 1964 ;[citado 2025 out. 26 ]
Vancouver
Solução de problemas da teoria da elasticidade por meio de computadores digitais. 1964 ;[citado 2025 out. 26 ]
Tese (Livre Docência)
Projeto de transformadores com computadores digitais (1964)
Ivanoff, Dimetri
Unidade: EP
Assuntos: TRANSFORMADORES E REATORES, COMPUTADORES DIGITAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IVANOFF, Dimetri. Projeto de transformadores com computadores digitais. 1964. Tese (Livre Docência) – Universidade de São Paulo, São Paulo, 1964. . Acesso em: 26 out. 2025.
APA
Ivanoff, D. (1964). Projeto de transformadores com computadores digitais (Tese (Livre Docência). Universidade de São Paulo, São Paulo.
NLM
Ivanoff D. Projeto de transformadores com computadores digitais. 1964 ;[citado 2025 out. 26 ]
Vancouver
Ivanoff D. Projeto de transformadores com computadores digitais. 1964 ;[citado 2025 out. 26 ]

Unidades USP

ReP

Filtros

Autores

Autores USP

Ano de publicação

Assuntos