9 results
Type of media (2)
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
9 results

Your search for Claude Kirchner

  1. Cover: Automata, Languages and Programming - Springer
    Samson Abramsky | Cyril Gavoille | Claude Kirchner
    Automata, Languages and Programming
    37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
    07/2010
    Springer
    9783642141652 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: Automata, Languages and Programming - Springer
    Samson Abramsky | Cyril Gavoille | Claude Kirchner
    Automata, Languages and Programming
    37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
    07/2010
    Springer
    9783642141621 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Automata, Languages and Programming - Springer
    Samson Abramsky | Cyril Gavoille | Claude Kirchner
    Automata, Languages and Programming
    37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
    06/2010
    Springer
    9783642141645 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 5-7 days
  4. Cover: Automata, Languages and Programming - Springer
    Samson Abramsky | Cyril Gavoille | Claude Kirchner
    Automata, Languages and Programming
    37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
    06/2010
    Springer
    9783642141614 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 5-7 days
  5. Cover: Formal to Practical Security - Springer
    Véronique Cortier | Claude Kirchner | Mitsuhiro Okada
    Formal to Practical Security
    Papers Issued from the 2005-2008 French-Japanese Collaboration
    05/2009
    Springer
    9783642020018 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  6. Cover: Rewriting, Computation and Proof - Springer
    Hubert Comon-Lundh | Claude Kirchner | Hélène Kirchner
    Rewriting, Computation and Proof
    Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
    06/2007
    Springer
    9783540731467 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Automated Deduction - CADE-15 - Springer
    Claude Kirchner | Helene Kirchner
    Automated Deduction - CADE-15
    15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
    06/1998
    Springer
    9783540646754 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Rewriting Techniques and Applications - Springer
    Claude Kirchner
    Rewriting Techniques and Applications
    5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
    1993
    Springer
    9783540568681 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €45.79
    Exhausted; check different version
  9. This image is currently not available.
    Claude Kirchner
    Unification
    01/1990
    Academic Press
    9780124095908 (ISBN)
    Book
    Hardback
    €40.24
    Exhausted, reprint undefined