Durchsuche "Logic" (Zeige 881 - 900 von 1268 Ergebnissen)
Conditionals and Modularity in General Logics
- Format: Fest
- €128.39 EURPreis inkl. MwSt.
Mathematics of Discrete Structures for Computer Science
- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Mathematik für Informatiker
Grundlegende Begriffe und Strukturen- Format: Fest
- €22.99 EURPreis inkl. MwSt.
STACS 2007
24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings- Auflage: 1st
- Format: Fest
- €96.29 EURPreis inkl. MwSt.
Practical Foundations of Business System Specifications
- Auflage: 1st
- Format: Fest
- €149.79 EURPreis inkl. MwSt.
New Directions in Paraconsistent Logic
5th WCP, Kolkata, India, February 2014- Format: Fest
- €128.39 EURPreis inkl. MwSt.
104 Number Theory Problems
From the Training of the USA IMO Team- Format: Fest
- €64.19 EURPreis inkl. MwSt.
Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings- Auflage: 1st
- Format: Fest
- €96.29 EURPreis inkl. MwSt.
The Pillars of Computation Theory
State, Encoding, Nondeterminism- Format: Fest
- €53.49 EURPreis inkl. MwSt.
Un mondo di idee
La matematica ovunque- Auflage: 1st
- Format: Fest
- €15.28 EURPreis inkl. MwSt.
A Modern Perspective on Type Theory
From its Origins until Today- Format: Fest
- €128.39 EURPreis inkl. MwSt.
Recent Trends in Philosophical Logic
- Format: reflowable eBook
- €96.29 EURPreis inkl. MwSt.
Treatise on Intuitionistic Type Theory
- Format: Fest
- €139.09 EURPreis inkl. MwSt.
Saved from the Cellar
Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics- Format: Fest
- €106.99 EURPreis inkl. MwSt.
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher
How Mathematics Is Rooted in Life- Format: reflowable eBook
- €60.98 EURPreis inkl. MwSt.
Springer Handbook of Model-Based Science
- Format: Fest
- €341.33 EURPreis inkl. MwSt.
Model Theory in Algebra, Analysis and Arithmetic
Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori- Format: reflowable eBook
- €21.39 EURPreis inkl. MwSt.
Mathematics, Computer Science and Logic - A Never Ending ...
The Bruno Buchberger Festschrift- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Logic Based Program Synthesis and Transformation
15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers- Auflage: 1st
- Format: Fest
- €53.49 EURPreis inkl. MwSt.
Fuzzy Database Modeling
- Format: Fest
- €96.29 EURPreis inkl. MwSt.