TEST - Catálogo BURRF		    

Su búsqueda retornó 2 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
The Concrete Tetrahedron : Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates / by Manuel Kauers, Peter Paule. por
  • Kauers, Manuel [autor]
  • Paule, Peter [autor]
  • SpringerLink (Servicio en línea)
Series Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Vienna : Springer Vienna : Imprint: Springer, 2011
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
Towards Mechanized Mathematical Assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger. por
  • Kauers, Manuel [editor.]
  • Kerber, Manfred [editor.]
  • Miner, Robert [editor.]
  • Windsteiger, Wolfgang [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4573
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

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