TEST - Catálogo BURRF
   

Su búsqueda retornó 3 resultados.

Ordenar
Resultados
1.
Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring. por
  • Backhouse, Roland [editor.]
  • Gibbons, Jeremy [editor.]
  • Hinze, Ralf [editor.]
  • Jeuring, Johan [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4719
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.

2.
Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze. por
  • Hinze, Ralf [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8241
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.

3.
Mathematics of program construction : 12th international conference, mpc 2015, königswinter, germany, june 29--july 1, 2015. Proceedings / edited by Ralf Hinze, Janis Voigtländer. por
  • Hinze, Ralf [editor.]
  • Voigtländer, Janis [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9129
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Cham : Springer International Publishing : Springer, 2015
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