TEST - Catálogo BURRF		    

Su búsqueda retornó 4 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Automata, Languages and Programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis. por
  • Abramsky, Samson [editor.]
  • Gavoille, Cyril [editor.]
  • Kirchner, Claude [editor.]
  • Meyer auf der Heide, Friedhelm [editor.]
  • Spirakis, Paul G [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6199
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
Automata, Languages and Programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis. por
  • Abramsky, Samson [editor.]
  • Gavoille, Cyril [editor.]
  • Kirchner, Claude [editor.]
  • Meyer auf der Heide, Friedhelm [editor.]
  • Spirakis, Paul G [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6198
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
3.
Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration / edited by Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada. por
  • Cortier, Véronique [editor.]
  • Kirchner, Claude [editor.]
  • Okada, Mitsuhiro [editor.]
  • Sakurada, Hideki [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5458
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
4.
Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner. por
  • Comon-Lundh, Hubert [editor.]
  • Kirchner, Claude [editor.]
  • Kirchner, Hélène [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4600
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