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

Gilles Barthe

We need a photo of Gilles Barthe

Born 1967

8 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: Applied semantics: international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures

    First published in 2002 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: Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

    First published in 2012 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: Software Engineering And Formal Methods 9th International Conference Proceedings

    First published in 2011 1 edition — 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: Engineering Secure Software And Systems 4th International Symposium Essos 2012 Eindhoven The Netherlands February 1617 2012 Proceedings

    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: Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

    First published in 2011 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: Formal Aspects Of Security And Trust 8th International Workshop Fast 2011 Leuven Belgium September 1214 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: Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

    First published in 2008 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: Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

    First published in 2012 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
We need a photo of Gilles Barthe

Born 1967
Subjects
Computer science, Software engineering, Computer networks, Logic design, Artificial intelligence, Computer Communication Networks, Computer networks, security measures, Computer security, Data Encryption, Data encryption (Computer science), Programming languages (electronic computers), Computer programming, Computers and Society, Congresses, Cryptography, data processing, Cryptology and Information Theory Data Structures, Data protection, Data structures (Computer science), Distributed processing, Electronic data processing, Electronic data processing, distributed processing, Formal methods (Computer science), Information Systems, Information organization, Information retrieval

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7202650A

Links (outside Open Library)

No links yet. Add one?

History

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