Saxo Access
Indkøbskurv

PBC

Vis søgefilter

Vis mig kun

Theoretical Computer Science for the Working Category Theorist

Theoretical Computer Science for the Working Category Theorist

Yanofsky, Noson S.

165,78 DKK

Combinatorics

Combinatorics

Mavron, V. C.

436,85 DKK

Surveys in Combinatorics

Surveys in Combinatorics

Lloyd, E. Keith

253,01 DKK

Mathematical Constants

Mathematical Constants

Finch, Steven R.

1459,97 DKK

Field Arithmetic

Field Arithmetic

Jarden, Moshe

1094,57 DKK

How the World Computes

How the World Computes

Lowe, Benedikt

436,85 DKK

Handbook of Weighted Automata

Handbook of Weighted Automata

Vogler, Heiko

1313,81 DKK

Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing

Walsh, Toby

436,85 DKK

Collegium Logicum

Collegium Logicum

Kurt-Godel-Gesellschaft

436,85 DKK

Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

Palomino, Miguel

436,85 DKK

Recursion Theory and Computational Complexity

Recursion Theory and Computational Complexity

Lolli, G.

302,96 DKK

Theoretische Informatik

Theoretische Informatik

Wimmel, Harro

322,59 DKK

Unifying Petri Nets

Unifying Petri Nets

Rozenberg, Grzegorz

436,85 DKK

Developments in Language Theory

Developments in Language Theory

Salomaa, Arto

436,85 DKK

Structural Complexity I

Structural Complexity I

Gabarro, Joaquim

436,85 DKK

Zehn Vorlesungen Über die Grundlegung der Mengenlehre

Zehn Vorlesungen Über die Grundlegung der Mengenlehre

Fraenkel, Adolf

265,81 DKK

Apartness and Uniformity

Apartness and Uniformity

Vita, Luminita Simona

875,33 DKK

Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

Kreowski, Hans-Jorg

436,85 DKK

Automated Deduction - CADE-17

Automated Deduction - CADE-17

McAllester, David

436,85 DKK

Gottlob Frege

Gottlob Frege

Wille, Matthias

473,39 DKK

Mathematische Modelle des Kontinuums

Mathematische Modelle des Kontinuums

Kleinert, Ernst

192,41 DKK

Logic, Rationality, and Interaction

Logic, Rationality, and Interaction

Wang, Wen-fang

436,85 DKK

Logic Symposia, Hakone, 1979, 1980

Logic Symposia, Hakone, 1979, 1980

Tugue, T.

337,32 DKK

Model Theory and Arithmetic

Model Theory and Arithmetic

Ressayre, J.-P.

337,32 DKK

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Abramsky, Samson

436,85 DKK

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Thomas, W.

322,59 DKK

Valued Fields

Valued Fields

Prestel, Alexander

1021,49 DKK

Computer Science Logic

Computer Science Logic

Esik, Zoltan

875,33 DKK

Developments in Language Theory

Developments in Language Theory

Dinneen, Michael J.

436,85 DKK

Theory and Applications of Satisfiability Testing - SAT 2006

Theory and Applications of Satisfiability Testing - SAT 2006

Gomes, Carla P.

436,85 DKK