Resultados
|
|
1.
|
Formal Aspects of Security and Trust : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers / edited by Pierpaolo Degano, Sandro Etalle, Joshua Guttman. por
- Degano, Pierpaolo [editor.]
- Etalle, Sandro [editor.]
- Guttman, Joshua [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6561
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
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; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
|
|
|
4.
|
Logic Programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Sandro Etalle, Miros?aw Truszczy?ski. por
- Etalle, Sandro [editor.]
- Truszczy?ski, Miros?aw [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4079
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.
|
|
|
5.
|
Trust Management : Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30– August 2, 2007, New Brunswick, Canada / edited by Sandro Etalle, Stephen Marsh. por
- Etalle, Sandro [editor.]
- Marsh, Stephen [editor.]
- SpringerLink (Servicio en línea)
Series IFIP International Federation for Information Processing ; 238
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Boston, MA : Springer US, 2007
Disponibilidad: No hay ítems disponibles.
|
