Your search returned 7 results.

Results
	1.	New Computational Paradigms [electronic resource] : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Leen Torenvliet. by Cooper, S. Barry Löwe, Benedikt Torenvliet, Leen SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3526 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.59 C66 2005. Place hold Add to cart (remove)
	2.	Logic and computation: proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor by Workshop on Logic and Computation (1987 : Carnegie Mellon University) 1987 Sieg, Wilfried [editor.] Series: Contemporary mathematics ; V. 106 Edition: 1a ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Providence, Rhode Island : American Mathematical Society, 1990 Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (2)Call number: QA9.59 W67 1990 , ... Place hold Add to cart (remove)
	3.	Computability and unsolvability / Martin Davis. by Davis, Martin Series: Dover books on mathematics Edition: 1a ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, 1982 Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (1)Call number: QA9.64 D38 1982 C:1. Place hold Add to cart (remove)
	4.	Computability : a mathematical sketchbook / Douglas S. Bridges. by Bridges, Douglas S Series: Graduate texts in mathematics ; V. 146 Edition: 1a ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, 1994 Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (1)Call number: QA9.59 B75 1994 C:1. Place hold Add to cart (remove)
	5.	Lenguajes formales y teoría de la computación / John C. Martin ; traducción Jorge Luis Blanco y Correa Magallanes ; revisión técnica Jorge Valeriano Assem. by Martín, John C [autor] Blanco y Correa Magallanes, Jorge Luis [traductor] Edition: 1a ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: México : McGraw Hill / Interamericana, 2004 Availability: Items available for reference: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas: Consulta (1)Call number: QA267.5.S4 M37 2004. Add to cart (remove)
	6.	Lenguajes formales y teoría de la computación / John C. Martín ; tr. Jorge Luis Blanco y Correa Magallanes ; rev. tec. Jorge Valeriano Assem. by Martín, John C Blanco y Correa Magallanes, Jorge Luis, tr Edition: 3a ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: México : McGraw Hill, c2004 Availability: No items available. Add to cart (remove)
	7.	The languaje of machines : an introduction to computability and formal languages / Robert W. Floyd, Richard Beigel. by Floyd, Robert W Beigel, Richard [autor] Edition: 1a ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York, NY. : Computer Science Press, c1994 Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Eléctrica (1)Call number: QA267.3 F56 1994. Place hold Add to cart (remove)

Powered by Koha