Portal do Governo Brasileiro
BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
Home Bibliotecas Itens selecionados Créditos Ajuda
 






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 213
Primeira ... 123456789 ... Última
1.Imagem marcado/desmarcadoHIGA, R. H. snpQC. versão 1.0. Campinas: Embrapa Informática Agropecuária, 2011. 1 CD-ROM.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
2.Imagem marcado/desmarcadoHIGA, R. H. snpQC. Versão 2.0. Campinas: Embrapa Informática Agropecuária, 2012. 1 CD-ROM.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
3.Imagem marcado/desmarcadoHIGA, R. H. Solvat. Versão 1.0. Campinas: Embrapa Informática Agropecuária, 2010. 1 CD-ROM.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
4.Imagem marcado/desmarcadoHIGA, R. H. Convert2RGWAS. Versão 1.0. Campinas: Embrapa Informática Agropecuária, 2010. 1 CD-ROM.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
5.Imagem marcado/desmarcadoHIGA, R. H. Introdução a especificação formal de módulos de software por traços. Campinas: EMBRAPA-CNPTIA, 1993. 16 p.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
6.Imagem marcado/desmarcadoHIGA, R. H. Predição de regiões de interface proteína-proteína baseada em informações estruturais. 2009. 134 p. Tese (Doutorado em Engenharia Elétrica. Área de concentração Engenharia de Computação) - Faculdade de Engenharia Elétrica e de Computação, Universidade Estadual de Campinas, Campinas.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
7.Imagem marcado/desmarcadoHIGA, R. H. Upload/GenBank/Chado. Versão 1.0. Campinas: Embrapa Informática Agropecuária, 2010. 1 CD-ROM.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
8.Imagem marcado/desmarcadoHIGA, R. H. Especificação formal por traços, composição de componentes e protótipos de ferramentas. Campinas: EMBRAPA-CNPTIA, 1993. 90 p.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
9.Imagem marcado/desmarcadoHIGA, R. H. Entendendo e interpretando os parâmetros utilizados por BLAST. Campinas: Embrapa Informática Agropecuária, 2001. 12 p. (Embrapa Informática Agropecuária. Instruções técnicas, 6).

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
10.Imagem marcado/desmarcadoHIGA, R. H. Um estudo preliminar dos requisitos para construção de um software DRIS. Campinas: Embrapa Informática Agropecuária, 2000. 15 p. (Embrapa Informática Agropecuária. Documentos, 1).

Biblioteca(s): Embrapa Agricultura Digital; Embrapa Amapá; Embrapa Amazônia Oriental; Embrapa Florestas; Embrapa Gado de Leite; Embrapa Hortaliças; Embrapa Mandioca e Fruticultura; Embrapa Meio-Norte; Embrapa Pantanal; Embrapa Semiárido... Mostrar Todas

Visualizar detalhes do registroImprime registro no formato completo
11.Imagem marcado/desmarcadoHIGA, R. H. MicroarrayCluster. Versão 1.0. Campinas: Embrapa Informática Agropecuária, 2010. 1 CD-ROM.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
12.Imagem marcado/desmarcadoHIGA, R. H. Tutorial: introdução ao software brblup. Campinas: Embrapa Informática Agropecuária, 2020. 41 p. il. (Embrapa Informática Agropecuária. Documentos, 168).

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
13.Imagem marcado/desmarcadoHIGA, R. H. Uso de prolog para executar especificações formais por traços. Campinas: EMBRAPA-CNPTIA, 1997. 19 p. (EMBRAPA-CNPTIA. Relatório Técnico, 1).

Biblioteca(s): Embrapa Agrobiologia; Embrapa Agropecuária Oeste; Embrapa Algodão; Embrapa Amazônia Oriental; Embrapa Arroz e Feijão; Embrapa Cerrados; Embrapa Mandioca e Fruticultura; Embrapa Meio-Norte; Embrapa Roraima; Embrapa Soja... Mostrar Todas

Visualizar detalhes do registroImprime registro no formato completo
14.Imagem marcado/desmarcadoHIGA, R. H. Uso do Prolog para executar especificações formais por traços. Campinas: EMBRAPA-CNPTIA, 1997. 19 p. (EMBRAPA-CNPTIA. Relatório Técnico, 1).

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
15.Imagem marcado/desmarcadoPIETROBON, T.; HIGA, R. H. Disponibilização de análise de controle de qualidade em GWAS e seleção de SNPs para exclusão de paternidade na plataforma Galaxy. In: MOSTRA DE ESTAGIÁRIOS E BOLSISTAS DA EMBRAPA INFORMÁTICA AGROPECUÁRIA, 9., 2013, Campinas. Resumos... Brasília, DF: Embrapa, 2013. p. 23-24.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
16.Imagem marcado/desmarcadoHIGA, R. H.; MOURA, M. F. Relatório final do projeto AIDA e parecer final da CTP Programa 12 SEP - 1998. Campinas: EMBRAPA-CNPTIA, 1999. paginação irregular.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
17.Imagem marcado/desmarcadoHIGA, R. H.; TOZZI, C. L. A simple and efficient method for predicting protein-protein binding sites. In: INTERNATIONAL CONFERENCE OF THE BRAZILIAN ASSOCIATION FOR BIOINFORMATICS AND COMPUTATIONAL BIOLOGY, 3., 2007, São Paulo. Proceedings... Campinas: Embrapa Informática Agropecuária, 2007. p. 146. X-meeting 2007.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
18.Imagem marcado/desmarcadoHIGA, R. H.; TOZZI, C. L. A simple and efficient method for predicting protein-protein interaction sites. Genetics and Molecular Research, v. 7, n. 3, p. 898-909, 2008.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
19.Imagem marcado/desmarcadoHIGA, R. H.; LONG, C. K. Sistema de Informação da Rede Genômica Animal - Sirga: manual do usuário. Campinas: Embrapa Informática Agropecuária, 2011. 49 p. il. (Embrapa Informática Agropecuária. Documentos, 114).

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
20.Imagem marcado/desmarcadoHIGA, R. H.; LONG, C. K. SIRGA - Sistema de Informação da Rede Genômica Animal. Versão 1.0. Campinas: Embrapa Informática Agropecuária, 2011. 1 CD-ROM.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 213
Primeira ... 123456789 ... Última






Acesso ao texto completo restrito à biblioteca da Embrapa Agricultura Digital. Para informações adicionais entre em contato com cnptia.biblioteca@embrapa.br.

Registro Completo

Biblioteca(s):  Embrapa Agricultura Digital.
Data corrente:  12/05/1993
Data da última atualização:  21/12/2010
Autoria:  HIGA, R. H.
Afiliação:  ROBERTO HIROSHI HIGA, CNPTIA.
Título:  Especificação formal por traços, composição de componentes e protótipos de ferramentas.
Ano de publicação:  1993
Fonte/Imprenta:  Campinas: EMBRAPA-CNPTIA, 1993.
Páginas:  90 p.
Idioma:  Português
Conteúdo:  Especificação formal por tracos. Especificações formais executáveis em Prolog. Especificação de tipos compostos. Protótipos de ferramentas construídos. Gatinha. A ferramenta para teste. Tradutor traços-C. Bibliografia. Apêndice I: Especificações. Apêndice II: Programas Prolog correspondentes. Apêndice III: Especificações compostas.
Palavras-Chave:  Componentes de software; Components composition; Composição de componentes; Engenharia de softaware; Especificação formal por tracos; Formal specification; Prototipes of tools; Prototipos de ferramentas; Software components; Software engineering; Specification of software; Traces.
Categoria do assunto:  --
Marc:  Mostrar Marc Completo
Registro original:  Embrapa Agricultura Digital (CNPTIA)
Biblioteca ID Origem Tipo/Formato Classificação Cutter Registro Volume Status
CNPTIA1628 - 1UMTNC - PP1993.00008
Fechar
Nenhum registro encontrado para a expressão de busca informada.
  
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita
Embrapa Agricultura Digital
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional