People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010 /
People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives are clever algorithms, and for every worthwhile algorithm there is a problem that it solves and a proof that it works. Before this proof there...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Lipton, Richard J. (Autor), Regan, Kenneth W. (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
Edición: | 1st ed. 2013. |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
The P=NP Question and Gödel's Lost Letter
por: Lipton, Richard J.
Publicado: (2010) -
The Complexity of Valued Constraint Satisfaction Problems
por: Živný, Stanislav
Publicado: (2012) -
Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings /
Publicado: (2010) -
Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
Publicado: (2012) -
Extremal Combinatorics With Applications in Computer Science /
por: Jukna, Stasys
Publicado: (2011)