Pular para o conteúdo
Ir para o
Conteúdo
1
Ir para a
Página Inicial
2
Ir para o menu de
Navegação
3
Ir para a
Busca
4
Ir para o
Mapa do site
5
Atenção!
Seu navegador não pode executar javascript. Alguns recursos podem não funcionar corretamente.
Portal Gov.br
Ministério da Ciência, Tecnologia e Inovações
Acesso rápido
Acesso rápido
Órgãos do Governo
Acesso à Informação
Legislação
Acessibilidade
pt
Escolher o idioma
en
es
Redefinir Cookies
Mudar para o modo de alto contraste
Abrir menu principal de navegação
Instituto Brasileiro de Informação em Ciência e Tecnologia
Assuntos
Informação Científica
Informação para o Governo
Informação Tecnológica
Tecnologias para Informação
Ensino e Pesquisa
Informação para a Pesquisa
BDTD
Biblioteca do IBICT
CCN
Centro Brasileiro do ISSN
Centro Brasileiro do Latindex
Diadorim
Oasisbr
Portal do Livro Aberto em Ciência, Tecnologia e Inovação
COMUT
RIDI
EmeRI
Acesso à Informação
Institucional
Institucional
Histórico
Organograma
Competências
Avaliação Institucional
Programa de Gestão Desempenho
PDTI
Atos Normativos
Logomarca
Documentos Oficiais
Regimento Interno
PDTI
PDU
Política de Preservação Digital do Ibict
Termos de Execução Descentralizada
Editais
Oportunidades
PIBIC
Prodoc
Bolsas de Pesquisa
Projetos de Pesquisa
Editais Antigos
Dados Abertos
Ações e Programas
Participação Social
Auditorias
Convênios e Transferências
Receitas e Despesas
Licitações e Contratos
Servidores
Informações Classificadas
Serviço de Informação ao Cidadão (SIC)
Perguntas Frequentes
Agenda de Autoridades
Plano de Dados Abertos
Prestação de Contas
Relatórios dos Termos de Compromisso e Gestão
Relatórios de Gestão do Ibict
Execução Financeira
Relatório de Gestão Integrada MCTI
Canais de Atendimento
Contato
Ouvidoria
Fale Conosco
e-SIC
Reclamação
Central de Conteúdos
Notícias
2023
2022
2021
2020
2019
Redes Sociais
Galeria Multimídia
Publicações
Anais do Colóquio
Catálogo de Publicações
Ciência da Informação
Classificação Decimal Universal (CDU)
Coletânea BRCRIS
Inclusão Social
Liinc em Revista
Logeion: Filosofia da Informação
Monitoramento em CI
P2P e Inovação
Tesauro Brasileiro de Ciência da Informação
Sala de Imprensa
Notícias Ibict
Dezembro
Novembro
Outubro
Agosto
Julho/2022
Junho/2022
Composição
Quem é Quem
Coordenação de Tecnologias Aplicadas a Novos Produtos - COTEA
Coordenação-Geral de Informação Cientifíca e Tecnica - CGIC
PPGCI
CTC
Grupos de Trabalho
Serviços
Informação Científica
Informação para o Governo
Informação Tecnológica
Tecnologias para Informação
Ensino e Pesquisa
GOV.BR
Serviços
Buscar serviços por
Categorias
Órgãos
Estados
Serviços por público alvo
Cidadãos
Empresas
Órgãos e Entidades Públicas
Demais segmentos (ONGs, organizações sociais, etc)
Servidor Público
Notícias
Serviços para o cidadão
Saúde
Agricultura e Pecuária
Cidadania e Assistência Social
Ciência e Tecnologia
Comunicação
Cultura e Esporte
Economia e Gestão Pública
Educação e Pesquisa
Energia
Forças Armadas e Defesa Civil
Infraestrutura
Justiça e Segurança
Meio Ambiente
Trabalho e Previdência
Turismo
Galeria de Aplicativos
Acompanhe o Planalto
Navegação
Acessibilidade
Mapa do Site
Termos de Uso
Sobre o gov.br
Acesse sua conta gov.br
Órgãos do Governo
Temas em Destaque
Por dentro do Gov.br
Dúvidas Frequentes em relação ao Portal gov.br
Dúvidas Frequentes da conta gov.br
Ajuda para Navegar o Portal
Conheça os elementos do Portal
Política de e-participação
Termos de Uso
Governo Digital
Guia de Edição de Serviços do Portal Gov.br
Dados do Governo Federal
Dados Abertos
Painel Estatístico de Pessoal
Painel de Compras do Governo Federal
Acesso à Informação
Links Úteis
Galeria de Aplicativos
Participe
Galeria de Aplicativos
Participe
Redes sociais
YouTube
Instagram
Facebook
Twitter
Voltar ao topo da página
Institucional
Documentos
Dúvidas Frequentes
Idioma
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Todos os campos
Título
ISSN
Instituição
Institution_Menu
Código CCN
Buscar
Avançada
Formal Aspects of Computing
Citar
Exportar registro
Exportar para RefWorks
Exportar para EndNoteWeb
Exportar para EndNote
Formal Aspects of Computing
Código CCN:
086659-8
ISSN (Online):
0934-5043
País:
Não informado
Editor:
Springer International
Imprenta:
London:
Springer International,
1989
Numbering area:
Vol. 1, No. 1 (Mar. 1989)-
Coleção
Coleção 2.0
Registro fonte
Coleção 2.0
Registros relacionados
Formal Methods in Systems Design
Publicado em: 2001
ISSN:
0925-9856
Health aspects of pesticides
Publicado em: 1968
ISSN:
0017-8918
Molecular Aspects of Medicine
Publicado em: 1975
ISSN:
0098-2997
Modern Aspects of Immunobiology
Publicado em: 2003
Modern Aspects of Neurosurgery
Publicado em: 2020
Carregando...
