Saxo Access
Indkøbskurv

PBC

Vis søgefilter

Vis mig kun

Programmverifikation

Programmverifikation

Olderog, Ernst-Rudiger

192,41 DKK

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Hermes, H.

322,59 DKK

Logical Number Theory I

Logical Number Theory I

Smorynski, Craig

619,55 DKK

Diskrete Mathematik mit Grundlagen

Diskrete Mathematik mit Grundlagen

Lang, Rainer

209,76 DKK

Mathematik für Informatiker

Mathematik für Informatiker

Berghammer, Rudolf

192,41 DKK

Boolean Functions and Computation Models

Boolean Functions and Computation Models

Kranakis, Evangelos

619,55 DKK

Mechanizing Hypothesis Formation

Mechanizing Hypothesis Formation

Havranek, T.

436,85 DKK

Grundzüge der Theoretischen Logik

Grundzüge der Theoretischen Logik

Ackermann, Wilhelm

436,85 DKK

12 × 12 Schlüsselkonzepte zur Mathematik

12 × 12 Schlüsselkonzepte zur Mathematik

Werner, Dirk

209,76 DKK

Briefe

Briefe

Cantor, Georg

436,85 DKK

Foundations of Mathematics

Foundations of Mathematics

Engeler, Erwin

436,85 DKK

Elementare Aussagenlogik

Elementare Aussagenlogik

Wirsing, Martin

295,53 DKK

Zur Robustheit von Konfidenzbereichen und Tests für Erwartungswerte

Zur Robustheit von Konfidenzbereichen und Tests für Erwartungswerte

Mees, Achim

317,82 DKK

Extremal Combinatorics

Extremal Combinatorics

Jukna, Stasys

692,63 DKK

Elementare Berechenbarkeitstheorie

Elementare Berechenbarkeitstheorie

Smith, Einar

96,50 DKK

Mathematik für die Informatik

Mathematik für die Informatik

Berghammer, Rudolf

253,01 DKK

Automated Practical Reasoning

Automated Practical Reasoning

Wang, Dongming

692,63 DKK

Grenzen der Mathematik

Grenzen der Mathematik

Hoffmann, Dirk W.

209,76 DKK

Many-Valued Logics 1

Many-Valued Logics 1

Borowik, Piotr

875,33 DKK

Parametric Lambda Calculus

Parametric Lambda Calculus

Paolini, Luca

436,85 DKK

Ernst Zermelo

Ernst Zermelo

Peckhaus, Volker

436,85 DKK

Computer Algebra

Computer Algebra

Loos, R.

436,85 DKK

Set Theory

Set Theory

Jech, Thomas

692,63 DKK

Theory of Sets

Theory of Sets

Bourbaki, N.

509,93 DKK

Beauty of Fractals

Beauty of Fractals

Richter, Peter H.

802,25 DKK

Logic and Structure

Logic and Structure

Dalen, Dirk van

692,63 DKK

Mathematik für die Informatik

Mathematik für die Informatik

Berghammer, Rudolf

209,76 DKK

Boolean Algebras

Boolean Algebras

Sikorski, Roman

436,85 DKK

Iteration Theories

Iteration Theories

Esik, Zoltan

875,33 DKK

Arbeiten zur Analysis und zur mathematischen Logik

Arbeiten zur Analysis und zur mathematischen Logik

Peano, Giuseppe

322,59 DKK