TEST - Catálogo BURRF
   

Su búsqueda retornó 2 resultados.

Ordenar
Resultados
1.
Mathematical Foundations of Computer Science 2006 : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings / edited by Rastislav Královi?, Pawe? Urzyczyn. por
  • Královi?, Rastislav [editor.]
  • Urzyczyn, Pawe? [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4162
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.

2.
Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings / edited by Pawe? Urzyczyn. por
  • Urzyczyn, Pawe? [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3461
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.

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