Surveys in Combinatorics 2015
This book consists of nine survey papers by internationally renowned mathematicians. It will be...
EAN: 9781107462502
Goal-based Reasoning for Argumentation
Practical argumentation is intelligent reasoning from an agent's goals and known circumstances,...
EAN: 9781107545090
Goal-based Reasoning for Argumentation
Practical argumentation is intelligent reasoning from an agent's goals and known circumstances,...
EAN: 9781107119048
Why Prove it Again?
Each chapter that follows provides a detailed case study of alternative proofs for particular...
EAN: 9783319173672
Numerik gewohnlicher Differentialgleichungen
Das Lehrbuch enthält eine umfangreiche und aktuelle Darstellung der numerischen Behandlung von...
EAN: 9783834818478
Mehrgittermethoden
Der Band beschränkt sich auf Modellprobleme, an denen die wichtigsten Verfahren und die Anwendung...
EAN: 9783834813190
Springer-Handbuch der Mathematik II
Als mehrbändiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie fĂĽr...
EAN: 9783658002961
Springer-Handbuch der Mathematik IV
Als mehrbändiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie fĂĽr...
EAN: 9783658002886
Springer-Handbuch der Mathematik I
Als mehrbändiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie fĂĽr...
EAN: 9783658002848
Giuseppe Peano between Mathematics and Logic
This book contains the papers developing out the presentations given at the International...
EAN: 9788847018358
Mathematical Logic and Theoretical Computer Science
This book includes articles on denotational semanitcs, recursion theoretic aspects of computer...
EAN: 9780824777463
Mathematical Elegance
The heart of mathematics is its elegance; the way it all fits together
EAN: 9781412854641
Additive Number Theory
Providing an up-to-date snapshot of the field, this volume presents a broad introduction to the...
EAN: 9781489981462
Introduction to Computational Linear Algebra
EAN: 9781482258691
History of Mathematical Proof in Ancient Traditions
This radical volume explores the purposes and nature of proof in a range of historical settings,...
EAN: 9781107527539
Turing Computability
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing...
EAN: 9783642319327
Budget of Paradoxes
An important figure in mathematical logic and abstract algebra, Augustus De Morgan (1806–71) also...
EAN: 9781108083201
Application of Fuzzy Logic to Social Choice Theory
Fuzzy social choice theory is useful for modeling the uncertainty and imprecision prevalent in...
EAN: 9781482250985
Nichtlineare Optimierung
Das Buch gibt eine EinfĂĽhrung in zentrale Konzepte und Methoden der Nichtlinearen Optimierung....
EAN: 9783034601429
Algorithmische Methoden
Dies ist der zweite Band von Algorithmische Methoden, ein Lehrbuch zur computerorientierten...
EAN: 9783764385156
Alan M. Turing
To commemorate the centenary of Turing's birth, this republication of his mother's biography...
EAN: 9781107524224
Nonlinear Dimensionality Reduction
However, since the late nineties, many new methods have been developed and nonlinear...
EAN: 9781441922885
