TEST - Catálogo BURRF
   

Su búsqueda retornó 6 resultados.

Ordenar
Resultados
1.
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. por
  • Coecke, Bob [editor.]
  • Ong, Luke [editor.]
  • Panangaden, Prakash [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7860
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.

2.
Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings / edited by Luke Ong. por
  • Ong, Luke [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3634
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.

3.
Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 / edited by Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong. por
  • Ausiello, Giorgio [editor.]
  • Karhumäki, Juhani [editor.]
  • Mauri, Giancarlo [editor.]
  • Ong, Luke [editor.]
  • SpringerLink (Servicio en línea)
Series IFIP International Federation for Information Processing ; 273
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2008
Disponibilidad: No hay ítems disponibles.

4.
5.
Logic, Language, Information and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / edited by Luke Ong, Ruy Queiroz. por
  • Ong, Luke [editor.]
  • Queiroz, Ruy [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7456
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, 2012
Disponibilidad: No hay ítems disponibles.

6.
Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / edited by Luke Ong. por
  • Ong, Luke [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6690
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
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