9 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Predominant Solidification Modes of 316 Austenitic Stainless Steel Coatings Deposited by Laser Cladding on 304 Stainless Steel SubstratesApolinario, L. H. R. ; Wallerstein, D. ; Montealegre, M. A. ; Urtiga Filho, S. L. ; Torres, E. A. ; Hermenegildo, T. F. C. ; Santos, T. F. A.Metallurgical and materials transactions. A, Physical metallurgy and materials science, 2019-08, Vol.50 (8), p.3617-3628 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Fracture toughness of ISO 3183 X80M (API 5L X80) steel friction stir weldsSantos, T.F.A. ; Hermenegildo, T.F.C. ; Afonso, C.R.M. ; Marinho, R.R. ; Paes, M.T.P. ; Ramirez, A.J.Engineering fracture mechanics, 2010-10, Vol.77 (15), p.2937-2945 [Periódico revisado por pares]Kidlington: Elsevier LtdTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Study of microstructural evolution of friction taper plug welded joints of C-Mn steelsUnfried S., J. ; Paes, M. T. P. ; Hermenegildo, T. F. C. ; Bastian, F. L. ; Ramirez, A. J.Science and technology of welding and joining, 2010-08, Vol.15 (6), p.506-513 [Periódico revisado por pares]London, England: Taylor & FrancisTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
lpopt: A Rule Optimization Tool for Answer Set ProgrammingBichler, Manuel ; Morak, Michael ; Woltran, Stefan Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, MaurizioFundamenta informaticae, 2020, Vol.177 (3-4), p.275-296 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity AxiomsAlpuente, María ; Cuenca-Ortega, Angel ; Escobar, Santiago ; Meseguer, José Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, MaurizioFundamenta informaticae, 2020-01, Vol.177 (3-4), p.297-329 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Dynamic Slicing for Concurrent Constraint LanguagesFalaschi, Moreno ; Gabbrielli, Maurizio ; Olarte, Carlos ; Palamidessi, Catuscia Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, MaurizioFundamenta informaticae, 2020-01, Vol.177 (3-4), p.331-357 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to HaskellAlbert, Elvira ; Bezirgiannis, Nikolaos ; de Boer, Frank ; Martin-Martin, Enrique Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, MaurizioFundamenta informaticae, 2020-01, Vol.177 (3-4), p.203-234 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal FormsTarau, Paul Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, MaurizioFundamenta informaticae, 2020-01, Vol.177 (3-4), p.385-415 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Selective Unification in (Constraint) Logic ProgrammingMesnard, Fred ; Payet, Étienne ; Vidal, Germán Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, MaurizioFundamenta informaticae, 2020-01, Vol.177 (3-4), p.359-383 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Science & Technology (8)
- Technology (8)
- Computer Science, Software Engineering (5)
- Computer Science (5)
- Mathematics (5)
- Mathematics, Applied (5)
- Physical Sciences (5)
- Algorithms (3)
- Heat Affected Zone (2)
- Materials Science (2)
- Materials Science, Multidisciplinary (2)
- Metallurgy & Metallurgical Engineering (2)
- Logic Programming (2)
- General Materials Science (2)
- Artificial Intelligence (1)
- Api (1)
- Applied Sciences (1)
- Answer Set Programming (1)
- Actor Model (1)
- Alloying Elements (1)
-
Mais opções
Base de Dados/Biblioteca
- Materials Research Database (9)
- Engineered Materials Abstracts (8)
- EBSCOhost Computers and Applied Sciences Complete (7)
- EBSCOhost Academic Search Premier (7)
- IOS Press Publications (6)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (6)
- Science Citation Index Expanded (Web of Science) (3)
- IngentaConnect Journals (1)
- Taylor & Francis:Master (3349 titles) (1)
- SAGE Complete (1)
- Springer Nature - Springer Journals All 2022 (1)
- ASFA: Aquatic Sciences and Fisheries Abstracts (1)
- Taylor & Francis Open access Read & Publish (1)
- Taylor & Francis (1)
- Elsevier ScienceDirect Journals (1)
- Aluminium Industry Abstracts (1)
- SpringerLink (Online service) (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 