It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
July 28, 2014 | History
Edit

Roberto Bruni

We need a photo of Roberto Bruni

5 works Add another?

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

  • Cover of: Models of Computation

    First published in 2017 — 3 editions
    Not in Library

    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: Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

    First published in 2007 — 2 editions
    Not in Library

    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: Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

    First published in 2009 — 1 edition
    Not in Library

    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: Trustworthy Global Computing 6th International Symposium Revised Selected Papers

    First published in 2012 — 1 edition
    Not in Library

    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: Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

    First published in 2011 — 1 edition
    Not in Library

    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 Roberto Bruni

Subjects

Computer networks, Computer science, Computer Communication Networks, Computer software, Congresses, Software engineering, Algorithm Analysis and Problem Complexity, Coding and Information Theory, Coding theory, Computer networks, security measures, Computer security, Computer software, validation, Computer software, verification, Data Encryption, Data encryption (Computer science), Distributed processing, Electronic data processing, Electronic data processing, distributed processing, Information Systems, Logic design, Logics and Meanings of Programs, Management of Computing and Information Systems, Mathematical Logic and Formal Languages, Operating systems (computers), Programming Languages, Compilers, Interpreters

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7204176A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
July 28, 2014 Created by ImportBot import new book