Catálogo
39.961 obras en el archivo
Mostrando 24 de 58 obras en “teoria de la computacion”
Elementos de Lógica Matemática y Teoría de la Computación
Raymond Smullyan
filosofia
Teoría de autómatas, lenguajes y computación
John E. Hopcroft
no ficcion
Principios de la teoría de la programación lógica
Joxan Jaffar
no ficcion
La estructura del pensamiento computacional
Edsger W. Dijkstra
no ficcion
Máquinas de Turing
Andrei Markov
ciencia ficcion
La lógica de la programación estructurada
Edsger W. Dijkstra
no ficcion
The Formal Semantics of Programming Languages: An Introduction
Glynn Winskel
no ficcion
Máquinas y Teoría de la Computación: De la Máquina de Turing a la Inteligencia Artificial
Miroslav Novotný
ciencia ficcion
Randomized Algorithms
Rajeev Motwani
algoritmos
Introduccion al Metamatemáticas
Stephen Cole Kleene
ciencia ficcion
Lenguajes formales y máquinas de Turing: Una introducción
Juan José Moreno-Navarro
no ficcion
Un Curso Elemental de Lógica Matemática
Yuri Manin
no ficcion
Computabilidad y Lógica
George S. Boolos, John P. Burgess, Richard Jeffrey
no ficcion
La Computadora y el Cerebro
John von Neumann
divulgacion
Logic, Algebra, and Computability
Stephen Kleene
matematicas
Lógica y fundamentos matemáticos
Stephen Kleene
filosofia
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
Martin D. Davis, Ron Sigal, Elaine J Weyuker
ciencia ficcion
Computability and Complexity
Frank S. de Boer
teoria de la computacion
Elementos de la teoría de los autómatas
Valeriu Beiu
ciencia ficcion
Computational Complexity
Jozef Gruska
teoria de la computacion
Tipos y Polimorfismo en Lenguajes de Programación
Luca Cardelli, Peter Wegner
no ficcion
Principios de Compiladores, Técnicas y Herramientas
Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman
no ficcion
Teoría de la Computación
Michael Sipser
no ficcion
El Problema de la Computación
A.I. Mal'tsev
filosofia