Você está em: Início > Publicações > Visualização > Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Mapa das Instalações
Publicações
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Título
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Tipo
Livro de Atas de Conferência Internacional
Ano
2012
Conferência Internacional
13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012
Cambridge, 17 September 2012 through 20 September 2012
Outras Informações
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica
ISBN:
9783642333132
ISBN Eletrónico:
978-3-642-33314-9
Coleção:
Lecture Notes in Computer Science
Vol.:
7560 LNCS
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Contidas
Artigo em Livro de Atas de Conferência Internacional
Nelma Moreira (Autor) (FCUP); David Pereira (Autor) (Outra); Melo De Sousa, S (Autor) (Outra)
2012
Relations as Executable Specifications: Taming Partiality and Non-determinism Using InvariantsImportada do Authenticus
Artigo em Livro de Atas de Conferência Internacional
Macedo, N (Autor) (Outra); Pacheco, H (Autor) (Outra); Cunha, A (Autor) (Outra)
2012
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto
I Termos e Condições
I Acessibilidade
I Índice A-Z
Página gerada em: 2025-09-25 às 16:36:01 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico
Página gerada em: 2025-09-25 às 16:36:01 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico