2 Resultados para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
tipo de recurso:
Book Chapters
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Capítulo de Livro
|
|
A metamodelling approach for i model translationsCares Gallardo, Carlos ; Franch Gutiérrez, JavierSpringer 2011Texto completo disponível |
| 2 |
Material Type: Capítulo de Livro
|
|
Decidabilite de l'egalite des Langages Algebriques Infinitaires SimplesCaucal, D.STACS 86, 2005, p.37-48 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Sont Identiques (1)
- Semantic Web (1)
- Formal Methods (1)
- Interoperability (1)
- I-Star (1)
- Metadata (1)
- Semantic Preservation (1)
- Algebraic Semantic (1)
- Informàtica (1)
- Metadades (1)
- Formal Language (1)
- Formal Language Theory (1)
- Web Semàntica (1)
- Àrees Temàtiques De La Upc (1)
- Istarml (1)
- Sistemes D'informació (1)
- Mètodes Formals (1)
- Proposition Signifie (1)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (2)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (2)
- Springer Nature - Springer Computer Science eBooks 2011 English International (1)
- Recercat (1)
- Springer Books (1)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (1)
-
Mais opções
Idioma
- Francês (1)
- Inglês (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 