TEST - Catálogo BURRF		    

Su búsqueda retornó 10 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean. por
  • Barthe, Gilles [editor.]
  • Burdy, Lilian [editor.]
  • Huisman, Marieke [editor.]
  • Lanet, Jean-Louis [editor.]
  • Muntean, Traian [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3362
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
2.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet. por
  • Barthe, Gilles [editor.]
  • Grégoire, Benjamin [editor.]
  • Huisman, Marieke [editor.]
  • Lanet, Jean-Louis [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3956
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.
Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings / edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato. por
  • Barthe, Gilles [editor.]
  • Livshits, Benjamin [editor.]
  • Scandariato, Riccardo [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7159
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
4.
Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers / edited by Gilles Barthe, Anupam Datta, Sandro Etalle. por
  • Barthe, Gilles [editor.]
  • Datta, Anupam [editor.]
  • Etalle, Sandro [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7140
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
5.
Foundations of Security Analysis and Design V : FOSAD 2007/2008/2009 Tutorial Lectures / edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri. por
  • Aldini, Alessandro [editor.]
  • Barthe, Gilles [editor.]
  • Gorrieri, Roberto [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5705
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
6.
7.
Security and Trust Management : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers / edited by Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner. por
  • Cuellar, Jorge [editor.]
  • Lopez, Javier [editor.]
  • Barthe, Gilles [editor.]
  • Pretschner, Alexander [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6710
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
8.
Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider. por
  • Barthe, Gilles [editor.]
  • Pardo, Alberto [editor.]
  • Schneider, Gerardo [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7041
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
9.
Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / edited by Gilles Barthe, Cédric Fournet. por
  • Barthe, Gilles [editor.]
  • Fournet, Cédric [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4912
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
10.
Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings / edited by Gilles Barthe, Manuel Hermenegildo. por
  • Barthe, Gilles [editor.]
  • Hermenegildo, Manuel [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5944
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
Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha