PBC

Vis mig kun

Combinatorial Set Theory

Combinatorial Set Theory

Halbeisen, Lorenz J.

1021,49 DKK

Computability and Models

Computability and Models

Goncharov, Sergei S.

875,33 DKK

Lectures on Boolean Algebras

Lectures on Boolean Algebras

Halmos, P.R.

583,01 DKK

Sheaves in Geometry and Logic

Sheaves in Geometry and Logic

Moerdijk, Ieke

619,55 DKK

Geometry of Subanalytic and Semialgebraic Sets

Geometry of Subanalytic and Semialgebraic Sets

Shiota, Masahiro

619,55 DKK

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

Ben-Ari, Mordechai

692,63 DKK

Mathematical Structure for Emergent Computation

Mathematical Structure for Emergent Computation

Korotkikh, Victor

875,33 DKK

Proof Theory for General Unification

Proof Theory for General Unification

Snyder, W.

436,85 DKK

Concepts & Images

Concepts & Images

Loeb, Arthur

875,33 DKK

Mathematical Principles of Fuzzy Logic

Mathematical Principles of Fuzzy Logic

Mockor, J.

2190,77 DKK

Fuzzy Hardware

Fuzzy Hardware

Langholz, Gideon

875,33 DKK

Zermelo's Axiom of Choice

Zermelo's Axiom of Choice

Moore, G.H.

436,85 DKK

Random Sets

Random Sets

Nguyen, Hung T.

875,33 DKK

Mathematical Logic

Mathematical Logic

Petkov, Petio P.

436,85 DKK

Solving Higher-Order Equations

Solving Higher-Order Equations

Prehofer, Christian

875,33 DKK

Software Defect and Operational Profile Modeling

Software Defect and Operational Profile Modeling

Cai, Kai-Yuan

2190,77 DKK

Pell and Pell-Lucas Numbers with Applications

Pell and Pell-Lucas Numbers with Applications

Koshy, Thomas

509,93 DKK

Introduction to Fuzzy Reliability

Introduction to Fuzzy Reliability

Cai, Kai-Yuan

1240,73 DKK

Parameterized Complexity

Parameterized Complexity

Fellows, M.R.

2190,77 DKK

Automata Theory and its Applications

Automata Theory and its Applications

Nerode, Anil

436,85 DKK

Logic of Domains

Logic of Domains

Zhang, G.

875,33 DKK

Finite Automata, Formal Logic, and Circuit Complexity

Finite Automata, Formal Logic, and Circuit Complexity

Straubing, Howard

875,33 DKK

Foundations of Image Understanding

Foundations of Image Understanding

Davis, Larry S.

1240,73 DKK

Lecture Notes on O-Minimal Structures and Real Analytic Geometry

Lecture Notes on O-Minimal Structures and Real Analytic Geometry

Speissegger, Patrick

1021,49 DKK

First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

Fitting, Melvin

692,63 DKK

Automated Theorem Proving

Automated Theorem Proving

Newborn, Monty

948,41 DKK

Complexity Theory Retrospective

Complexity Theory Retrospective

Selman, Alan L.

875,33 DKK

Many Valued Topology and its Applications

Many Valued Topology and its Applications

Hohle, Ulrich

875,33 DKK

Code Recognition and Set Selection with Neural Networks

Code Recognition and Set Selection with Neural Networks

Jeffries, C.

436,85 DKK

Algebra for Computer Science

Algebra for Computer Science

Tambour, Torbjorn

436,85 DKK