Resultados
|
|
1.
|
Computational Methods in Systems Biology : 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings / edited by Pierpaolo Degano, Roberto Gorrieri. por
- Degano, Pierpaolo [editor.]
- Gorrieri, Roberto [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5688
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
|
|
|
3.
|
Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers / edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli. por
- Degano, Pierpaolo [editor.]
- Guttman, Joshua [editor.]
- Martinelli, Fabio [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5491
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
Formal Aspects in Security and Trust : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Joshua D. Guttman. por
- Degano, Pierpaolo [editor.]
- Guttman, Joshua D [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5983
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.
|
|
|
5.
|
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.
|
|
|
6.
|
Foundations and Applications of Security Analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Luca Viganò. por
- Degano, Pierpaolo [editor.]
- Viganò, Luca [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5511
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.
|
|
|
7.
|
Principles of Security and Trust : First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / edited by Pierpaolo Degano, Joshua D. Guttman. por
- Degano, Pierpaolo [editor.]
- Guttman, Joshua D [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7215
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.
|
