Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Filiale in Ihrer Nähe.
-
Dependence Logic
Dependence LogiceBook (PDF) + weitere
Fr. 62.90
-
Automata, Languages and Programming
Band 6198
Automata, Languages and ProgrammingBuch (Taschenbuch) + weitere
Fr. 138.00
-
Theoretical Foundations of VLSI Design
K. Tucker, J. V. Mcevoy
Theoretical Foundations of VLSI DesignBuch (Taschenbuch)
Fr. 82.90
-
Extensions of First-Order Logic
Maria Manzano
Extensions of First-Order LogicBuch (Taschenbuch)
Fr. 118.00
-
Updating Logical Databases
Marianne Winslett
Updating Logical DatabasesBuch (Taschenbuch)
Fr. 62.90
-
Topology Via Logic
Steven Vickers
Topology Via LogicBuch (Taschenbuch)
Fr. 88.90
-
Algorithmic Information Theory
Gregory J. Chaitin
Algorithmic Information TheoryBuch (Taschenbuch)
Fr. 94.90
-
Applications of Process Algebra
J. C. M. Baeten
Applications of Process AlgebraBuch (Taschenbuch)
Fr. 148.00
-
Handbook of Logic in Computer Science
Samson Abramsky, T. S. Maibaum + weitere
Handbook of Logic in Computer ScienceBuch (Gebundene Ausgabe) + weitere
Fr. 672.00
-
Handbook of Logic in Computer Science
Samson Abramsky, Dov M. Gabbay + weitere
Handbook of Logic in Computer ScienceBuch (Gebundene Ausgabe)
Fr. 812.00
-
Formal Methods in Artificial Intelligence
Allan Ramsay
Formal Methods in Artificial IntelligenceBuch (Taschenbuch)
Fr. 72.90
-
The Optimal Implementation of Functional Programming Languages
Andrea Asperti
The Optimal Implementation of Functional Programming LanguagesBuch (Gebundene Ausgabe)
Fr. 138.00
-
Belief Revision
Peter Gardenfors
Belief RevisionBuch (Taschenbuch)
Fr. 108.00
-
Category Theory and Computer Programming
Band 240David Pitt, Samson Abramsky, Axel Poigne + weitere
Category Theory and Computer ProgrammingBuch (Taschenbuch)
Fr. 72.90
-
Category Theory and Computer Science
Band 530David H. Pitt, Pierre-Louis Curien + weitere
Category Theory and Computer ScienceBuch (Taschenbuch) + weitere
Fr. 72.90
-
The Logic of Typed Feature Structures
Bob Carpenter
The Logic of Typed Feature StructuresBuch (Taschenbuch)
Fr. 78.90
-
Logic and Computation
Lawrence C. Paulson
Logic and ComputationBuch (Taschenbuch)
Fr. 88.90
-
Nets, Terms and Formulas
E. R. Olderog
Nets, Terms and FormulasBuch (Taschenbuch) + weitere
Fr. 78.90
-
Typed Lambda Calculi and Applications
Band 2044Samson Abramsky
Typed Lambda Calculi and ApplicationsBuch (Taschenbuch)
Fr. 72.90
-
The Uncertain Reasoner's Companion
J. B. Paris
The Uncertain Reasoner's CompanionBuch (Taschenbuch)
Fr. 82.90
-
Mathematical Foundations of Information Flow
Samson (EDT)/ Mislove, Michael (EDT) Abramsky
Mathematical Foundations of Information FlowBuch (Gebundene Ausgabe)
Fr. 182.00
von 21 Treffern werden angezeigt