ReP USP - Resultado da busca

Dissertação (Mestrado)
Metamodelo unificado de linguagens de requisitos (2024)
Amaral, Larissa Mangolim ; Siqueira, Fábio Levy (Orientador) ; Brandão, Anarosa Alves Franco (coorient)
Unidade: EP
Assuntos: ENGENHARIA DE REQUISITOS, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
AMARAL, Larissa Mangolim. Metamodelo unificado de linguagens de requisitos. 2024. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-080619/pt-br.php. Acesso em: 21 out. 2025.
APA
Amaral, L. M. (2024). Metamodelo unificado de linguagens de requisitos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-080619/pt-br.php
NLM
Amaral LM. Metamodelo unificado de linguagens de requisitos [Internet]. 2024 ;[citado 2025 out. 21 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-080619/pt-br.php
Vancouver
Amaral LM. Metamodelo unificado de linguagens de requisitos [Internet]. 2024 ;[citado 2025 out. 21 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-080619/pt-br.php
Trabalho de evento-resumo
Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab (2022)
Moreira, Gabriel Brandão de Carvalho ; José Neto, João ; Lima, Ariane Machado
Fonte: 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos. Nome do evento: Simpósio Internacional de Iniciação Científica e Tecnológica da USP. Unidades: EP, EACH
Assuntos: RNA, LINGUAGENS FORMAIS, RECONHECIMENTO DE PADRÕES, BIOINFORMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MOREIRA, Gabriel Brandão de Carvalho e JOSÉ NETO, João e LIMA, Ariane Machado. Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab. 2022, Anais.. São Paulo: Escola de Artes, Ciências e Humanidades, 2022. p. 71-72. Disponível em: http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf. Acesso em: 21 out. 2025.
APA
Moreira, G. B. de C., José Neto, J., & Lima, A. M. (2022). Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab. In 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos (p. 71-72). São Paulo: Escola de Artes, Ciências e Humanidades. Recuperado de http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf
NLM
Moreira GB de C, José Neto J, Lima AM. Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab [Internet]. 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos. 2022 ; 71-72.[citado 2025 out. 21 ] Available from: http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf
Vancouver
Moreira GB de C, José Neto J, Lima AM. Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab [Internet]. 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos. 2022 ; 71-72.[citado 2025 out. 21 ] Available from: http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf
Dissertação (Mestrado)
Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós (2018)
Santos, Gilmar Pereira dos; Lima, Ariane Machado (Orientador)
Unidade: EACH
Assuntos: RECONHECIMENTO DE PADRÕES, ANÁLISE SINTÁTICA, LINGUAGENS FORMAIS, LINGUAGENS LIVRES DE CONTEXTO, RNA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Gilmar Pereira dos. Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/. Acesso em: 21 out. 2025.
APA
Santos, G. P. dos. (2018). Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/
NLM
Santos GP dos. Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós [Internet]. 2018 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/
Vancouver
Santos GP dos. Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós [Internet]. 2018 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/
Tese (Doutorado)
Macros como mecanismos de abstração em transformações textuais (2018)
Cereda, Paulo Roberto Massa; José Neto, João (Orientador)
Unidade: EP
Assuntos: LINGUAGENS FORMAIS, AUTÔMATOS FINITOS, TRANSFORMAÇÃO DE PROGRAMAS, GRAMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CEREDA, Paulo Roberto Massa. Macros como mecanismos de abstração em transformações textuais. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/. Acesso em: 21 out. 2025.
APA
Cereda, P. R. M. (2018). Macros como mecanismos de abstração em transformações textuais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/
NLM
Cereda PRM. Macros como mecanismos de abstração em transformações textuais [Internet]. 2018 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/
Vancouver
Cereda PRM. Macros como mecanismos de abstração em transformações textuais [Internet]. 2018 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/
Tese (Doutorado)
Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva (2012)
Silva Filho, Reginaldo Inojosa da; Rocha, Ricardo Luis de Azevedo da (Orientador)
Unidade: EP
Assuntos: TEORIA DOS AUTÔMATOS, APRENDIZADO COMPUTACIONAL, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA FILHO, Reginaldo Inojosa da. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva. 2012. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/. Acesso em: 21 out. 2025.
APA
Silva Filho, R. I. da. (2012). Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/
NLM
Silva Filho RI da. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva [Internet]. 2012 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/
Vancouver
Silva Filho RI da. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva [Internet]. 2012 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/
Dissertação (Mestrado)
Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais (2012)
Dalla Valle, Luís Emílio Cavechiolli; Rocha, Ricardo Luis de Azevedo da (Orientador)
Unidade: EP
Assuntos: LINGUAGENS FORMAIS, RECONHECIMENTO DE PADRÕES, IMAGEAMENTO DE SATÉLITE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DALLA VALLE, Luís Emílio Cavechiolli. Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/. Acesso em: 21 out. 2025.
APA
Dalla Valle, L. E. C. (2012). Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/
NLM
Dalla Valle LEC. Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais [Internet]. 2012 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/
Vancouver
Dalla Valle LEC. Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais [Internet]. 2012 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/
Trabalho de evento-resumo
Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade (2011)
Oliveira, Diogo de Queiroz; Sperling, David Moreno
Fonte: Resumos. Nome do evento: Simpósio Internacional de Iniciação Científica da Universidade de São Paulo - SIICUSP. Unidade: IAU
Assuntos: CONTEMPORANEIDADE, LINGUAGENS FORMAIS, ARQUITETURA, ARTES, CIDADES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Diogo de Queiroz e SPERLING, David Moreno. Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade. 2011, Anais.. São Paulo: USP/Pró-Reitoria de Pesquisa, 2011. Disponível em: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210. Acesso em: 21 out. 2025.
APA
Oliveira, D. de Q., & Sperling, D. M. (2011). Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade. In Resumos. São Paulo: USP/Pró-Reitoria de Pesquisa. Recuperado de https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
NLM
Oliveira D de Q, Sperling DM. Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade [Internet]. Resumos. 2011 ;[citado 2025 out. 21 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
Vancouver
Oliveira D de Q, Sperling DM. Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade [Internet]. Resumos. 2011 ;[citado 2025 out. 21 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
Trabalho de evento
Memórias do WTA 2010: quarto workshop de tecnologia adaptativa (2010)
Rocha, Ricardo Luis de Azevedo da
Fonte: Workshop de Tecnologia Adaptativa. Nome do evento: Workshop de Tecnologia Adaptativa. Unidade: EP
Assuntos: ENGENHARIA DE COMPUTAÇÃO, TEORIA DA COMPUTAÇÃO, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Ricardo Luis de Azevedo da. Memórias do WTA 2010: quarto workshop de tecnologia adaptativa. 2010, Anais.. São Paulo: Escola Politécnica, Universidade de São Paulo, 2010. . Acesso em: 21 out. 2025.
APA
Rocha, R. L. de A. da. (2010). Memórias do WTA 2010: quarto workshop de tecnologia adaptativa. In Workshop de Tecnologia Adaptativa. São Paulo: Escola Politécnica, Universidade de São Paulo.
NLM
Rocha RL de A da. Memórias do WTA 2010: quarto workshop de tecnologia adaptativa. Workshop de Tecnologia Adaptativa. 2010 ;[citado 2025 out. 21 ]
Vancouver
Rocha RL de A da. Memórias do WTA 2010: quarto workshop de tecnologia adaptativa. Workshop de Tecnologia Adaptativa. 2010 ;[citado 2025 out. 21 ]
Tese (Doutorado)
Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos (2010)
Martins Junior, José; Caurin, Glauco Augusto de Paula (Orientador)
Unidade: EESC
Assuntos: ROBÓTICA, INTERAÇÃO HOMEM-MÁQUINA, LINGUAGENS FORMAIS, AMBIENTE COLABORATIVO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS JUNIOR, José. Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos. 2010. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/. Acesso em: 21 out. 2025.
APA
Martins Junior, J. (2010). Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/
NLM
Martins Junior J. Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos [Internet]. 2010 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/
Vancouver
Martins Junior J. Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos [Internet]. 2010 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/
Dissertação (Mestrado)
Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais (2008)
Oliveira, Valter Castelhano de; Silva, José Reinaldo (Orientador)
Unidade: EP
Assuntos: ENGENHARIA DE REQUISITOS, NEGÓCIOS (MODELAGEM), LINGUAGENS FORMAIS, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Valter Castelhano de. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/. Acesso em: 21 out. 2025.
APA
Oliveira, V. C. de. (2008). Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/
NLM
Oliveira VC de. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais [Internet]. 2008 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/
Vancouver
Oliveira VC de. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais [Internet]. 2008 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/
Dissertação (Mestrado)
Sistema computacional de representação e manipulação de redes de Petri (2006)
Alves, Gustavo Ribeiro; Santos Filho, Diolino Jose dos (Orientador)
Unidade: EP
Assuntos: REDES DE PETRI, LINGUAGENS FORMAIS, MONTADORES E COMPILADORES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVES, Gustavo Ribeiro. Sistema computacional de representação e manipulação de redes de Petri. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/. Acesso em: 21 out. 2025.
APA
Alves, G. R. (2006). Sistema computacional de representação e manipulação de redes de Petri (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/
NLM
Alves GR. Sistema computacional de representação e manipulação de redes de Petri [Internet]. 2006 ;[citado 2025 out. 21 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/
Vancouver
Alves GR. Sistema computacional de representação e manipulação de redes de Petri [Internet]. 2006 ;[citado 2025 out. 21 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/
Relatorio tecnico
Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto (2005)
Bravo Pariente, César Alberto; José Neto, João
Unidade: EP
Assuntos: TEORIA DA COMPUTAÇÃO, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAVO PARIENTE, César Alberto e JOSÉ NETO, João. Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto. . São Paulo: EPUSP. . Acesso em: 21 out. 2025. , 2005
APA
Bravo Pariente, C. A., & José Neto, J. (2005). Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto. São Paulo: EPUSP.
NLM
Bravo Pariente CA, José Neto J. Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto. 2005 ;[citado 2025 out. 21 ]
Vancouver
Bravo Pariente CA, José Neto J. Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto. 2005 ;[citado 2025 out. 21 ]
Dissertação (Mestrado)
Propriedades de algumas classes de relações racionais (2004)
Souza, Rodrigo Nonamor Pereira Mariano de; Kobayashi, Nami (Orientador)
Unidade: IME
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Rodrigo Nonamor Pereira Mariano de. Propriedades de algumas classes de relações racionais. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/. Acesso em: 21 out. 2025.
APA
Souza, R. N. P. M. de. (2004). Propriedades de algumas classes de relações racionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/
NLM
Souza RNPM de. Propriedades de algumas classes de relações racionais [Internet]. 2004 ;[citado 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/
Vancouver
Souza RNPM de. Propriedades de algumas classes de relações racionais [Internet]. 2004 ;[citado 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/
Tese (Doutorado)
Gramáticas livres de contexto adaptativas com verificação de aparência (2004)
Bravo Pariente, César Alberto; José Neto, João (Orientador)
Unidade: EP
Assuntos: TEORIA DA COMPUTAÇÃO, LINGUAGENS FORMAIS, AUTÔMATOS FINITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAVO PARIENTE, César Alberto. Gramáticas livres de contexto adaptativas com verificação de aparência. 2004. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/. Acesso em: 21 out. 2025.
APA
Bravo Pariente, C. A. (2004). Gramáticas livres de contexto adaptativas com verificação de aparência (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/
NLM
Bravo Pariente CA. Gramáticas livres de contexto adaptativas com verificação de aparência [Internet]. 2004 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/
Vancouver
Bravo Pariente CA. Gramáticas livres de contexto adaptativas com verificação de aparência [Internet]. 2004 ;[citado 2025 out. 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/
Dissertação (Mestrado)
Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade (2003)
Mattes, Leonardo; Zuffo, João Antonio (Orientador)
Unidade: EP
Assuntos: SEGURANÇA DE REDES, MIDDLEWARE, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATTES, Leonardo. Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. . Acesso em: 21 out. 2025.
APA
Mattes, L. (2003). Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.
NLM
Mattes L. Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade. 2003 ;[citado 2025 out. 21 ]
Vancouver
Mattes L. Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade. 2003 ;[citado 2025 out. 21 ]
Artigo de periodico
Introdução às gramáticas adaptativas (2001)
Iwai, Margarete Keiko; José Neto, João
Fonte: Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais. Unidade: EP
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IWAI, Margarete Keiko e JOSÉ NETO, João. Introdução às gramáticas adaptativas. Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais, n. 05, 2001Tradução . . Disponível em: https://repositorio.usp.br/directbitstream/726d80dc-240d-4bf0-921f-ecb25606680f/BT-PCS-01_05_250912_150928.pdf. Acesso em: 21 out. 2025.
APA
Iwai, M. K., & José Neto, J. (2001). Introdução às gramáticas adaptativas. Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais, (05). Recuperado de https://repositorio.usp.br/directbitstream/726d80dc-240d-4bf0-921f-ecb25606680f/BT-PCS-01_05_250912_150928.pdf
NLM
Iwai MK, José Neto J. Introdução às gramáticas adaptativas [Internet]. Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais. 2001 ;(05):[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/726d80dc-240d-4bf0-921f-ecb25606680f/BT-PCS-01_05_250912_150928.pdf
Vancouver
Iwai MK, José Neto J. Introdução às gramáticas adaptativas [Internet]. Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais. 2001 ;(05):[citado 2025 out. 21 ] Available from: https://repositorio.usp.br/directbitstream/726d80dc-240d-4bf0-921f-ecb25606680f/BT-PCS-01_05_250912_150928.pdf
Tese (Doutorado)
Um formalismo gramatical adaptativo para linguagens dependentes de contexto (2000)
Iwai, Margarete Keiko; José Neto, João (Orientador)
Unidade: EP
Assuntos: ENGENHARIA ELÉTRICA, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IWAI, Margarete Keiko. Um formalismo gramatical adaptativo para linguagens dependentes de contexto. 2000. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2000. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-07112024-143550/pt-br.php. Acesso em: 21 out. 2025.
APA
Iwai, M. K. (2000). Um formalismo gramatical adaptativo para linguagens dependentes de contexto (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-07112024-143550/pt-br.php
NLM
Iwai MK. Um formalismo gramatical adaptativo para linguagens dependentes de contexto [Internet]. 2000 ;[citado 2025 out. 21 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-07112024-143550/pt-br.php
Vancouver
Iwai MK. Um formalismo gramatical adaptativo para linguagens dependentes de contexto [Internet]. 2000 ;[citado 2025 out. 21 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-07112024-143550/pt-br.php
Dissertação (Mestrado)
Sistemas de reescrita de termos: teoria e uma aplicação (1999)
Zanutto, Jefferson; Silva, Flávio Soares Corrêa da (Orientador)
Unidade: IME
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ZANUTTO, Jefferson. Sistemas de reescrita de termos: teoria e uma aplicação. 1999. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1999. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-022745/. Acesso em: 21 out. 2025.
APA
Zanutto, J. (1999). Sistemas de reescrita de termos: teoria e uma aplicação (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-022745/
NLM
Zanutto J. Sistemas de reescrita de termos: teoria e uma aplicação [Internet]. 1999 ;[citado 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-022745/
Vancouver
Zanutto J. Sistemas de reescrita de termos: teoria e uma aplicação [Internet]. 1999 ;[citado 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-022745/
Dissertação (Mestrado)
Automato dos sufixos (1993)
Karpischek, Ricardo Ueda; Simon, Imre (Orientador)
Unidade: IME
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KARPISCHEK, Ricardo Ueda. Automato dos sufixos. 1993. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1993. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210728-235623/. Acesso em: 21 out. 2025.
APA
Karpischek, R. U. (1993). Automato dos sufixos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20210728-235623/
NLM
Karpischek RU. Automato dos sufixos [Internet]. 1993 ;[citado 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210728-235623/
Vancouver
Karpischek RU. Automato dos sufixos [Internet]. 1993 ;[citado 2025 out. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210728-235623/
Bibliografia
Palavras, autômatos e algoritmos: uma bibliografia (1990)
Simon, Imre
Unidade: IME
Assunto: LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMON, Imre. Palavras, autômatos e algoritmos: uma bibliografia. . São Paulo: IME-USP. . Acesso em: 21 out. 2025. , 1990
APA
Simon, I. (1990). Palavras, autômatos e algoritmos: uma bibliografia. São Paulo: IME-USP.
NLM
Simon I. Palavras, autômatos e algoritmos: uma bibliografia. 1990 ;[citado 2025 out. 21 ]
Vancouver
Simon I. Palavras, autômatos e algoritmos: uma bibliografia. 1990 ;[citado 2025 out. 21 ]

Unidades USP

ReP

Filtros

Tipo de material

Unidades USP

Departamento

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

Área de concentração

Sigla do Departamento/Programa de Pós Graduação

Departamento/Programa de Pós Graduação