TEST - Catálogo BURRF		    

Su búsqueda retornó 4 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
E-Voting and Identify : 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings / edited by James Heather, Steve Schneider, Vanessa Teague. por
  • Heather, James [editor.]
  • Schneider, Steve [editor.]
  • Teague, Vanessa [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7985
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
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
Formal Aspects in Security and Trust : Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers / edited by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider. por
  • Dimitrakos, Theo [editor.]
  • Martinelli, Fabio [editor.]
  • Ryan, Peter Y. A [editor.]
  • Schneider, Steve [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3866
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
3.
Formal Aspects in Security and Trust : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers / edited by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider. por
  • Dimitrakos, Theo [editor.]
  • Martinelli, Fabio [editor.]
  • Ryan, Peter Y. A [editor.]
  • Schneider, Steve [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4691
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
4.
ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings / edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider. por
  • Treharne, Helen [editor.]
  • King, Steve [editor.]
  • Henson, Martin [editor.]
  • Schneider, Steve [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3455
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
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