Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Complexity and Real ComputationBlum, Lenore ; Cucker, Felipe ; Shub, Michael ; Smale, SteveNew York, NY: Springer 1997Texto completo disponível |
2 |
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 |
3 |
Material Type: Livro
|
![]() |
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected PapersPacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, JerzyBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable InformationCicalese, FerdinandoBerlin, Heidelberg: Springer Nature 2013Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
The Blackwell Guide to the Philosophy of Computing and InformationFloridi, LucianoNewark: Wiley-Blackwell 2008Texto completo disponível |