Showing 1 - 16 results of 16 for search 'Aldini, Alessandro', query time: 0.04s Refine Results
  1. 1
    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
    by Aldini, Alessandro
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
    by Aldini, Alessandro
    Published 2010
    Get full text
    Electronic Kit Book
  3. 3
    A Process Algebraic Approach to Software Architecture Design
    by Aldini, Alessandro
    Published 2010
    Get full text
    Electronic Kit Book
  4. 4
    A Process Algebraic Approach to Software Architecture Design
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures /
    Published 2007
    Other Authors: “…Aldini, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    User-Centric Networking Future Perspectives /
    Published 2014
    Other Authors: “…Aldini, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures /
    Published 2011
    Other Authors: “…Aldini, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Foundations of Security Analysis and Design VIII FOSAD 2014/2015/2016 Tutorial Lectures /
    Published 2016
    Other Authors: “…Aldini, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures /
    Published 2009
    Other Authors: “…Aldini, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures /
    Published 2014
    Other Authors: “…Aldini, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures /
    Published 2005
    Other Authors: “…Aldini, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings /
    Published 2010
    Other Authors: “…Aldini, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    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 /
    Published 2010
    Other Authors: “…Aldini, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Data Privacy Management and Security Assurance 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings /
    Published 2016
    Other Authors: “…Aldini, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Data Privacy Management, and Security Assurance 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21–22, 2015. Revised Selected Papers /
    Published 2016
    Other Authors: “…Aldini, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    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 /
    Published 2015
    Other Authors: “…Aldini, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search