skip to main content
Mostrar Somente
Refinado por: assunto: Information Theory remover assunto: Machine Theory remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Complexity and Real Computation
Material Type:
Livro
Adicionar ao Meu Espaço

Complexity and Real Computation

Blum, Lenore ; Cucker, Felipe ; Shub, Michael ; Smale, Steve

New York, NY: Springer 1997

Texto completo disponível

2
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings

Gunter, Elsa L ; Felty, Amy Gunter, Elsa L. ; Felty, Amy

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

3
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Pacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, Jerzy

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

4
Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable Information
Material Type:
Livro
Adicionar ao Meu Espaço

Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable Information

Cicalese, Ferdinando

Berlin, Heidelberg: Springer Nature 2013

Texto completo disponível

5
The Blackwell Guide to the Philosophy of Computing and Information
Material Type:
Livro
Adicionar ao Meu Espaço

The Blackwell Guide to the Philosophy of Computing and Information

Floridi, Luciano

Newark: Wiley-Blackwell 2008

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.