It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 29, 2008 | History
Edit

Luca Viganò

We need a photo of Luca Viganò

5 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Principles of Security and Trust: 5th International Conference, POST 2016, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings

    First published in 2016 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Labelled Non-Classical Logics

    First published in 2000 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Socio-Technical Aspects in Security: 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers

    First published in 2022 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 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

    First published in 2009 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Labelled Non-Classical Logics

    First published in 2000 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Luca Viganò

Subjects

Logic, Artificial Intelligence - General, Computer Books: Operating Systems, Computer Programming, Computer networks, security measures, Computer science, Computer security, Computers-Artificial Intelligence - General, Data encryption (computer science), Logic, symbolic and mathematical, Mathematical And Symbolic Logic, Mathematical logic, Mathematical theory of computation, Mathematics, Mathematics / Logic, Mathematics, philosophy, Nonclassical mathematical logic, Philosophy (General), Philosophy / Logic, Philosophy Of Mathematics, Philosophy-Logic, Symbolic and mathematical Logic

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL2785018A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 29, 2008 Created by an anonymous user initial import