2 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
Refinado por:
Base de dados/Biblioteca:
ACM Digital Library Complete
assunto:
Mathematical Logic And Formal Languages
Kongress
assunto:
Mathematical Logic And Formal Languages
Kongress
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, ProceedingsSchrijvers, Tom ; Thiemann, Peter Schrijvers, Tom ; Thiemann, PeterNetherlands: Springer Nature 2012Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Reliable Software Technologies - Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, ProceedingsBrorsson, Mats ; Pinho, Luis Miguel Brorsson, Mats ; Pinho, Luis MiguelNetherlands: Springer Nature 2012Texto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Base de Dados/Biblioteca
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (2)
- SpringerLINK Lecture Notes in Computer Science (2012) (2)
- Springer Books (2)
- SpringerLINK Lecture Notes in Computer Science (2015) (2)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (2)
- ACM (2)
- Springer Nature - Springer Computer Science eBooks 2012 English International (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 