	TEST - Catálogo BURRF

Su búsqueda retornó 2 resultados.

Resultados
	1.	Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. por Abdulla, Parosh Aziz [editor.] Potapov, Igor [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 8169 Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 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.	Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino. por Abdulla, Parosh Aziz [editor.] Leino, K. Rustan M [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 6605 Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 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)

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