cartcart

    Popularity
    Formal Grammar: 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected Papers FG 2013 Düsseldorf, Germany, ... (Lecture Notes in Computer Science)
    New €53.49
    You save €51.16 (95%)
    Book€2.33
    You save €51.16 (95%)
    New €53.49€2.33

    Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
    New €74.89
    You save €65.40 (87%)
    Book€9.49
    You save €65.40 (87%)
    New €74.89€9.49

    Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 (Monographs in Theoretical Computer Science. An EATCS Series)
    New €149.99
    You save €141.50 (94%)
    Book€8.49
    You save €141.50 (94%)
    New €149.99€8.49

    Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science)
    New €53.49
    You save €49.00 (91%)
    Book€4.49
    You save €49.00 (91%)
    New €53.49€4.49

    Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science)
    New €109.99
    You save €107.50 (97%)
    Book€2.49
    You save €107.50 (97%)
    New €109.99€2.49

    Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes in Computer Science)
    New €53.49
    You save €51.00 (95%)
    Book€2.49
    You save €51.00 (95%)
    New €53.49€2.49

    Integration of World Knowledge for Natural Language Understanding (Atlantis Thinking Machines)
    New €106.99
    You save €17.50 (16%)
    Book€89.49
    You save €17.50 (16%)
    New €106.99€89.49