Su búsqueda retornó 5 resultados.

Resultados
		Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Kenneth J. Supowit. por Supowit, Kenneth J [author.] \| SpringerLink (Online service). Series Computer Science Foundations and Applied LogicEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Automata and computability / Dexter C. Kozen. por Kozen, Dexter, 1951-. Series Undergraduate texts in computer scienceTipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: New York : Springer, c1997Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (2) Signatura topográfica: QA267 K69 1997, ...
		Introduction to languages and the theory of computation / John C. Martin. por Martin, John C. Edición: 3a.Tipo de material: Texto; Formato: braille ; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: spa. Detalles de publicación: Boston : McGraw-Hill, c2003Acceso en línea: Publisher description \| Table of contents Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (4) Signatura topográfica: QA267.5 .S4 M37 2003, ...
		Lenguajes formales y teoría de la computación / John C. Martin ; tr. Jorge Luis Blanco y Correa Magallanes. por Martin, John C \| Blanco y Correa Magallanes, Jorge Luis. Tipo de material: Texto; Forma literaria: No es ficción Idioma: Español Lenguaje original: Inglés Detalles de publicación: México : McGraw-Hill, 2004Disponibilidad: Ítems disponibles para préstamo: Facultad de Ciencias Administrativas (1) Signatura topográfica: QA267.5 .S4 M3718 2004, Biblioteca Central Tijuana (2) Signatura topográfica: QA267.5 .S4 M3718 2004, .., Tecate (1) Signatura topográfica: QA267.5 .S4 M3718 2004.
		Programs as Diagrams [electronic resource] : From Categorical Computability to Computable Categories / by Dusko Pavlovic. por Pavlovic, Dusko [author.] \| SpringerLink (Online service). Series Theory and Applications of Computability, In cooperation with the association Computability in EuropeEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Con tecnología Koha