Idioma:

4 Resultados para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Refinado por: Base de dados/Biblioteca: Science Citation Index Expanded (Web of Science)

Result Number	Material Type	Record Details and Options
1	Material Type: Artigo	Computational and attribute models of formal languages Penjam, Jaan Theoretical computer science, 1990-03, Vol.71 (2), p.241-264 [Periódico revisado por pares] Elsevier B.V Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Capítulo de Livro	Applications of Structural Synthesis of Programs Tyugu, Enn ; Matskin, Mihhail ; Penjam, Jaan FM’99 — Formal Methods, 1999, p.551-569 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Capítulo de Livro	Compiler construction by object-oriented system nut Penjam, Jaan Compiler Compilers and High Speed Compilation, 1989, p.66-80 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Capítulo de Livro	Attributed models of executable specifications Meriste, Merik ; Penjam, Jaan Programming Languages: Implementations, Logics and Programs, 1995, p.459-460 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por