Catálogo
39.961 obras en el archivo
Mostrando 11 de 11 obras en “informatica teorica”
La Sintaxis de los Lenguajes de Programación
Niklaus Wirth
no ficcion
An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson
no ficcion
Teoría de Autómatas, Lenguajes y Computación
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
no ficcion
El Cálculo Lambda y sus Aplicaciones
Dirk Van Dalen
calculo lambda
Elementos de la teoría de los autómatas
Valeriu Beiu
ciencia ficcion
La semántica de los lenguajes de programación
Carl A. Gunter
no ficcion
Categorías para la Ciencia de la Computación
Michael Barr
no ficcion
El cálculo lambda y sus extensiones
Henk Barendregt
no ficcion
El Cálculo de las Lámparas
Y. S. Tseytin
ciencia ficcion
Más Allá de la Elegancia: El Desafío de la Programación Concurrente
Per Brinch Hansen
no ficcion
Teoría de Autómatas: Estructura y Comportamiento Programado
Arto Salomaa
divulgacion