	TEST - Catálogo BURRF

Su búsqueda retornó 4 resultados.

Resultados
	1.	Introduction to the Theory of Programming Languages / by Gilles Dowek, Jean-Jacques Lévy. por Dowek, Gilles [autor] Lévy, Jean-Jacques [autor] SpringerLink (Servicio en línea) Series Undergraduate Topics in Computer Science Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London : Imprint: Springer, 2011 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificaciÃ³n en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	2.	Principles of Programming Languages / by Gilles Dowek. por Dowek, Gilles [autor] SpringerLink (Servicio en línea) Series Undergraduate Topics in Computer Science Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London, 2009 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	3.	Proofs and Algorithms : An Introduction to Logic and Computability / by Gilles Dowek. por Dowek, Gilles [autor] SpringerLink (Servicio en línea) Series Undergraduate Topics in Computer Science Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London, 2011 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificaciÃ³n en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	4.	Rewriting and typed lambda calculi : joint international conference, rta-tlca 2014, held as part of the vienna summer of logic, vsl 2014, vienna, austria, july 14-17, 2014. Proceedings / edited by Gilles Dowek. por Dowek, Gilles [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 8560 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Springer, 2014 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)

Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha