Su búsqueda retornó 2 resultados.

Resultados
	1.	Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Ulrich Furbach, Natarajan Shankar. por Furbach, Ulrich [editor.] Shankar, Natarajan [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 4130 Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 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.	Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / edited by Natarajan Shankar, Jim Woodcock. por Shankar, Natarajan [editor.] Woodcock, Jim [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 5295 Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 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)

Refinar su búsqueda