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

Catuscia Palamidessi

We need a photo of Catuscia Palamidessi

12 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

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

  • Cover of: CONCUR 2000 - Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings (Lecture Notes in Computer Science)

    First published in 2000 3 editions in 1 language — 1 previewable
    Borrow Listen

    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: Horizons of the Mind. a Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

    First published in 2014 2 editions in 1 language
    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 Objects, Components, and Systems: 34th IFIP WG 6. 1 International Conference, FORTE 2014, Held As Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

    First published in 2014 2 editions in 1 language
    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: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

    First published in 2013 2 editions in 1 language
    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: Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings (Lecture Notes in Computer Science)

    First published in 2003 2 editions in 1 language — 1 previewable
    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: Automata, Languages and Programming: 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

    First published in 2005 1 edition in 1 language
    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: The Science of Quantitative Information Flow

    First published in 2020 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: Computational Logic CL 2000 00: First International Conference London, UK, July 2428, 2000 Proceedings

    First published in 2000 1 edition in 1 language — 1 previewable
    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: Theory Of Security And Applications Joint Workshop Tosca 2011 Saarbrcken Germany March 31 April 1 2011 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: Automata, Languages and Programming: 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings (Lecture Notes in Computer Science)

    First published in 2005 1 edition in 1 language — 1 previewable
    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: Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, 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: Methods for Location Privacy: A Comparative Overview

    First published in 2018 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 Catuscia Palamidessi

Subjects
Computer science, Congresses, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Computation by Abstract Devices, Computer networks, security measures, Computer security, Congres, Software engineering, Algorithme d'approximation, Artificial Intelligence (incl. Robotics), Artificial intelligence, COMPUTERS, Computational complexity, Computer algorithms, Computer multitasking, Computer network protocols, Computer programming, Computer software, validation, Computer software, verification, Concurrent engineering, Concurrente programmering, Data structures (Computer science), Database management

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL3242821A

Links (outside Open Library)

No links yet. Add one?

History

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