Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
Adapting Proofs-as-Programs: The Curry--Howard Protocol
|
EDV / Informatik |
203.00 |
|
Buch |
Sprache:
Englisch / Autor: Martin Wirsing / Einband: Gebunden |
|
|
|
|
|
Building Theories: Heuristics and Hypotheses in Sciences
|
Philosophie |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Mathematics of Fuzzy Sets and Fuzzy Logic
|
Naturwissensch., Medizin, Technik |
179.00 |
|
Buch |
Sprache:
Englisch / Autor: Barnabas Bede / Einband: Kartoniert |
|
|
|
|
|
Essays on Go¨del’s Reception of Leibniz, Husserl, and Brouwer
|
Philosophie |
147.00 |
|
Buch |
Sprache:
Englisch / Autor: Mark van Atten / Einband: Gebunden |
|
|
|
|
|
104 Number Theory Problems: From the Training of the USA Imo Team
|
Schulbücher |
89.00 |
|
Buch |
Sprache:
Englisch / Autor: Titu Andreescu / Einband: Kartoniert |
|
|
|
|
|
Turing Computability: Theory and Applications
|
EDV / Informatik |
109.00 |
|
Buch |
Sprache:
Englisch / Autor: Robert I. Soare / Einband: Gebunden |
|
|
|
|
|
Conformal Field Theories and Tensor Categories: Proceedings of a Workshop Held at Beijing International Center for Mathematical Research
|
Naturwissensch., Medizin, Technik |
158.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Foundations of Image Understanding
|
EDV / Informatik |
188.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
|
EDV / Informatik |
124.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
A History of Folding in Mathematics: Mathematizing the Margins
|
Schulbücher |
260.00 |
|
Buch |
Sprache:
Englisch / Autor: Michael Friedman / Einband: Kartoniert |
|
|
|
|
|
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
|
EDV / Informatik |
158.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Constructive Semantics: Meaning in Between Phenomenology and Constructivism
|
Philosophie |
157.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Philosophical Logic: Current Trends in Asia - Proceedings of AWPL-TPLC 2016
|
Philosophie |
237.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
The Incomputable: Journeys Beyond the Turing Barrier
|
EDV / Informatik |
158.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
|
EDV / Informatik |
135.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Alex's Adventures in Numberland: Tenth Anniversary Edition
|
Naturwissensch., Medizin, Technik |
22.90 |
|
Buch |
Sprache:
Englisch / Autor: Alex Bellos / Einband: Kartoniert |
|
|
|
|
|
Unifying Petri Nets: Advances in Petri Nets
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Denken in Strukturen und seine Geschichte: Von der Kraft des mathematischen Beweises
|
Naturwissensch., Medizin, Technik |
41.50 |
|
Buch |
Sprache:
Deutsch / Autor: Josef Honerkamp / Einband: Set (Buch und div.) |
|
|
|
|
|
Equivariant Ordinary Homology and Cohomology
|
Schulbücher |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Stefan Waner / Einband: Kartoniert |
|
|
|
|
|
Logics for Computer Science: Classical and Non-Classical
|
EDV / Informatik |
135.00 |
|
Buch |
Sprache:
Englisch / Autor: Anita Wasilewska / Einband: Gebunden |
|
|
|
|
|
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
|
Schulbücher |
189.00 |
|
Buch |
Sprache:
Englisch / Autor: Evgueni D. Solojentsev / Einband: Kartoniert |
|
|
|
|
|
L.E.J. Brouwer ¿ Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life
|
Schulbücher |
109.00 |
|
Buch |
Sprache:
Englisch / Autor: Dirk Van Dalen / Einband: Gebunden |
|
|
|
| / 16 |