4 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
Mostrar Somente
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Ontology MatchingEuzenat, Jérôme ; Shvaiko, PavelBerlin, Heidelberg: Springer Berlin / Heidelberg 2013Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Complexity and Real ComputationBlum, Lenore ; Cucker, Felipe ; Shub, Michael ; Smale, SteveNew York, NY: Springer 1997Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 ProceedingsGunter, Elsa L ; Felty, Amy Gunter, Elsa L. ; Felty, AmyBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Computer Safety, Reliability and Security: 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, ProceedingsEhrenberger, Wolfgang Ehrenberger, WolfgangBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Logic, Symbolic And Mathematical (2)
- Software Engineering (2)
- Congresses (2)
- Theory Of Computation (2)
- Congrès (2)
- Logics And Meanings Of Programs (2)
- Systèmes Informatiques (2)
- Mathematical Logic (2)
- Data Processing (2)
- Informatika (2)
- Machine Theory (2)
- Logic Design (2)
- Kongress (2)
- Mathematical Logic And Formal Languages (2)
- Ciencia Da Computacao Ou Informatica (2)
- Mathematical Logic And Foundations (2)
- Algebra Of Logic (1)
-
Mais opções
Data de Publicação
- Antes de1997 (1)
- 1997Até1997 (2)
- 1998Até2002 (2)
- 2003Até2005 (2)
- Após 2005 (1)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (4)
- Springer Books Online Archive (3)
- SpringerLink Books Lecture Notes in Computer Science Archive (3)
- Lecture Notes in Computer Science Archive (through to 1996) (3)
- SpringerLINK Lecture Notes in Computer Science (2015) (2)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (2)
- Gale eBooks (1)
- Springer Nature - Springer Computer Science eBooks 2013 English International (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 