TEST - Catálogo BURRF		    

Su búsqueda retornó 10 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings / edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa. por
  • Aldini, Alessandro [editor.]
  • Bernardo, Marco [editor.]
  • Bononi, Luciano [editor.]
  • Cortellessa, Vittorio [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6342
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.
Data privacy management, autonomous spontaneous security, and security assurance : 9th international workshop, dpm 2014, 7th international workshop, setop 2014, and 3rd international workshop, qasa 2014, wroclaw, poland, september 10-11, 2014. Revised selected papers / edited by Joaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri. por
  • Garcia-Alfaro, Joaquin [editor.]
  • Herrera-Joancomartí, Jordi [editor.]
  • Lupu, Emil [editor.]
  • Posegga, Joachim [editor.]
  • Aldini, Alessandro [editor.]
  • Martinelli, Fabio [editor.]
  • Suri, Neeraj [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8872
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
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
3.
Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky. por
  • Aldini, Alessandro [editor.]
  • Bernardo, Marco [editor.]
  • Pierro, Alessandra [editor.]
  • Wiklicky, Herbert [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6154
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
4.
Foundations of Security Analysis and Design III : FOSAD 2004/2005 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli. por
  • Aldini, Alessandro [editor.]
  • Gorrieri, Roberto [editor.]
  • Martinelli, Fabio [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3655
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
5.
Foundations of Security Analysis and Design IV : FOSAD 2006/2007 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri. por
  • Aldini, Alessandro [editor.]
  • Gorrieri, Roberto [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4677
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
6.
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
7.
Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri. por
  • Aldini, Alessandro [editor.]
  • Gorrieri, Roberto [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6858
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.
Foundations of security analysis and design vii : fosad 2012/2013 tutorial lectures / edited by Alessandro Aldini, Javier Lopez, Fabio Martinelli. por
  • Aldini, Alessandro [editor.]
  • Lopez, Javier [editor.]
  • Martinelli, Fabio [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8604
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, 2014
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
9.
A Process Algebraic Approach to Software Architecture Design / by Alessandro Aldini, Marco Bernardo, Flavio Corradini. por
  • Aldini, Alessandro [autor]
  • Bernardo, Marco [autor]
  • Corradini, Flavio [autor]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London : Imprint: Springer, 2010
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
10.
User-centric networking : future perspectives / edited by Alessandro Aldini, Alessandro Bogliolo. por
  • Aldini, Alessandro [editor.]
  • Bogliolo, Alessandro [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Social Networks
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, 2014
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