All categories
caret-down
cartcart

Popularity
Comprehensive Mathematics for Computer Scientists 1: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Universitext)
New €80.24
You save €25.25 (31%)
Book€54.99
You save €25.25 (31%)
New €80.24€54.99

Applied Logistic Regression Analysis (Quantitative Applications in the Social Sciences) (v. 106)
New €33.40
You save €13.41 (40%)
Book€19.99
You save €13.41 (40%)
New €33.40€19.99

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Book€65.59
€65.59

Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics (Texts in Theoretical Computer Science. An EATCS Series)
New €96.29
You save €49.80 (51%)
Book€46.49
You save €49.80 (51%)
New €96.29€46.49

Temporal Verification of Reactive Systems: Safety
New €106.99
You save €79.00 (73%)
Book€27.99
You save €79.00 (73%)
New €106.99€27.99

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 €11.21 (41%)
Book€15.49
You save €11.21 (41%)
New €26.70€15.49

The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science)
New €69.99
You save €32.50 (46%)
Book€37.49
You save €32.50 (46%)
New €69.99€37.49

Readings in Formal Epistemology: Sourcebook (Springer Graduate Texts in Philosophy)
New €139.09
You save €88.60 (63%)
Book€50.49
You save €88.60 (63%)
New €139.09€50.49

Self-Reference and Modal Logic (Universitext)
New €106.99
You save €79.50 (74%)
Book€27.49
You save €79.50 (74%)
New €106.99€27.49

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

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

Fractals and Hyperspaces (Lecture Notes in Mathematics)
New €26.70
You save €23.21 (86%)
Book€3.49
You save €23.21 (86%)
New €26.70€3.49

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

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

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


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

Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes in Computer Science)
New €53.49
You save €12.48 (23%)
Book€41.01
You save €12.48 (23%)
New €53.49€41.01

Reasoning Web. Semantic Interoperability on the Web: 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures (Lecture Notes in Computer Science)
New €53.49
You save €13.00 (24%)
Book€40.49
You save €13.00 (24%)
New €53.49€40.49

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

Number Theory: An approach through history from Hammurapi to Legendre (Modern Birkhäuser Classics)
New €117.69
You save €13.65 (11%)
Book€104.04
You save €13.65 (11%)
New €117.69€104.04

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 €66.40 (88%)
Book€8.49
You save €66.40 (88%)
New €74.89€8.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 €142.00 (94%)
Book€7.99
You save €142.00 (94%)
New €149.99€7.99

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.17 (95%)
Book€2.32
You save €51.17 (95%)
New €53.49€2.32

Graph Theory, Computational Intelligence and Thought: Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
New €53.49
You save €36.00 (67%)
Book€17.49
You save €36.00 (67%)
New €53.49€17.49

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 €52.40 (69%)
Book€22.49
You save €52.40 (69%)
New €74.89€22.49

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.17 (95%)
Book€2.32
You save €51.17 (95%)
New €53.49€2.32