cartcart

    Popularity
    Temporal Verification of Reactive Systems: Safety
    New €106.99
    You save €49.50 (46%)
    Book€57.49
    You save €49.50 (46%)
    New €106.99€57.49

    Proof Theory of N4-Paraconsistent Logics
    Proof Theory of N4-Paraconsistent Logics
    from  Norihiro KamideUsed - very goodBook - Used - very good
    New €26.70
    You save €7.21 (27%)
    Book€19.49
    You save €7.21 (27%)
    New €26.70€19.49

    Readings in Formal Epistemology: Sourcebook (Springer Graduate Texts in Philosophy)
    New €139.09
    You save €64.60 (46%)
    Book€74.49
    You save €64.60 (46%)
    New €139.09€74.49

    Discrete Mathematics for Computer Scientists (International Computer Science Series)
    Book€16.49
    €16.49

    Infinity and the Mind: The Science and Philosophy of the Infinite (Princeton Science Library)
    Book€13.49
    €13.49

    Philosophical Logic: An Introduction
    Philosophical Logic: An Introduction
    from  Sybil WolframUsed - acceptableBook - Used - acceptable
    Book€12.49
    €12.49

    Fractals and Hyperspaces (Lecture Notes in Mathematics)
    New €26.70
    You save €6.71 (25%)
    Book€19.99
    You save €6.71 (25%)
    New €26.70€19.99

    Mathematical Logic for Computer Science
    Mathematical Logic for Computer Science
    from  Mordechai Ben-AriUsed - very goodBook - Used - very good
    Book€33.99
    €33.99

    Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
    New €117.69
    You save €40.20 (34%)
    Book€77.49
    You save €40.20 (34%)
    New €117.69€77.49

    KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, Proceedings (Lecture Notes in Computer Science)
    New €106.99
    You save €74.50 (69%)
    Book€32.49
    You save €74.50 (69%)
    New €106.99€32.49


    Information and Randomness: An Algorithmic Perspective (Texts in Theoretical Computer Science. An EATCS Series)
    New €85.59
    You save €54.10 (63%)
    Book€31.49
    You save €54.10 (63%)
    New €85.59€31.49

    The Art of Logic: How to Make Sense in a World that Doesn't
    Book€24.49
    €24.49

    Godel: A Life Of Logic, The Mind, And Mathematics: A Mathematical Legend
    Book€12.99
    €12.99

    Fuzzy Sets, Decision Making, and Expert Systems (International Series in Management Science Operations Research)
    New €160.49
    You save €154.00 (95%)
    Book€6.49
    You save €154.00 (95%)
    New €160.49€6.49

    Logic and Its Applications (Prentice-Hall International Series in Computer Science)
    Book€4.99
    €4.99

    The Essence of Logic (Essence of Computing)
    The Essence of Logic (Essence of Computing)
    from  John KellyUsed - acceptableBook - Used - acceptable
    Book€19.99
    €19.99

    New Directions in the Philosophy of Mathematics: An Anthology
    New €74.10
    You save €60.11 (81%)
    Book€13.99
    You save €60.11 (81%)
    New €74.10€13.99

    Finite Model Theory: First Edition (Perspectives in Mathematical Logic)
    Book€46.49
    €46.49

    Fuzzy Logic and Applications: 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
    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 €12.49 (11%)
    Book€94.50
    You save €12.49 (11%)
    New €106.99€94.50

    The Mathematical Coloring Book: Mathematics of Coloring and the Colorful Life of its Creators
    New €181.89
    You save €138.90 (76%)
    Book€42.99
    You save €138.90 (76%)
    New €181.89€42.99

    Natural Reasons: Personality and Polity
    Natural Reasons: Personality and Polity
    from  Hurley, S. L.Used - very goodBook - Used - very good
    Book€40.49
    €40.49

    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 €69.90 (93%)
    Book€4.99
    You save €69.90 (93%)
    New €74.89€4.99

    Transactions on Computational Systems Biology VI (Lecture Notes in Computer Science)
    New €74.89
    You save €68.40 (91%)
    Book€6.49
    You save €68.40 (91%)
    New €74.89€6.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 €104.99 (69%)
    Book€45.00
    You save €104.99 (69%)
    New €149.99€45.00

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

    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 €108.26 (98%)
    Book€1.73
    You save €108.26 (98%)
    New €109.99€1.73

    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.76 (96%)
    Book€1.73
    You save €51.76 (96%)
    New €53.49€1.73

    Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings (Lecture Notes in Computer Science)
    New €74.89
    You save €39.40 (52%)
    Book€35.49
    You save €39.40 (52%)
    New €74.89€35.49