Del 27 - Cambridge Tracts in Theoretical Computer Science
Programs, Recursion and Unbounded Choice
Häftad, Engelska, 2005
1 019 kr
Skickas inom 5-8 vardagar
C. J. van Rijsbergen – författare
Visar alla böcker från författaren C. J. van Rijsbergen.
23 produkter
23 produkter
- Del 23 - Cambridge Tracts in Theoretical Computer Science
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
Häftad, Engelska, 20051 019 kr
Skickas inom 5-8 vardagar
- Del 34 - Cambridge Tracts in Theoretical Computer Science
Two-Level Functional Languages
Häftad, Engelska, 20051 149 kr
Skickas inom 5-8 vardagar
- Del 19 - Cambridge Tracts in Theoretical Computer Science
Extensions of First-Order Logic
Häftad, Engelska, 20051 509 kr
Skickas inom 5-8 vardagar
- Del 40 - Cambridge Tracts in Theoretical Computer Science
Free Choice Petri Nets
Häftad, Engelska, 2005909 kr
Skickas inom 5-8 vardagar
- Del 32 - Cambridge Tracts in Theoretical Computer Science
The Logic of Typed Feature Structures
With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Häftad, Engelska, 20051 019 kr
Skickas inom 5-8 vardagar
- Del 28 - Cambridge Tracts in Theoretical Computer Science
Deductive and Declarative Programming
Häftad, Engelska, 20061 019 kr
Skickas inom 5-8 vardagar
- Del 39 - Cambridge Tracts in Theoretical Computer Science
The Uncertain Reasoner's Companion
A Mathematical Perspective
Häftad, Engelska, 20061 069 kr
Skickas inom 5-8 vardagar
- Del 2 - Cambridge Tracts in Theoretical Computer Science
Logic and Computation
Interactive Proof with Cambridge LCF
Häftad, Engelska, 1990979 kr
Skickas inom 5-8 vardagar
- Del 6 - Cambridge Tracts in Theoretical Computer Science
Formal Methods in Artificial Intelligence
Häftad, Engelska, 1991789 kr
Skickas inom 5-8 vardagar
- Del 42 - Cambridge Tracts in Theoretical Computer Science
Basic Simple Type Theory
Inbunden, Engelska, 19971 879 kr
Skickas inom 5-8 vardagar
- Del 5 - Cambridge Tracts in Theoretical Computer Science
Topology via Logic
Häftad, Engelska, 19961 119 kr
Skickas inom 5-8 vardagar
- Del 44 - Cambridge Tracts in Theoretical Computer Science
Information Flow
The Logic of Distributed Systems
Inbunden, Engelska, 19971 509 kr
Skickas inom 5-8 vardagar
- Del 38 - Cambridge Tracts in Theoretical Computer Science
Metamathematics, Machines and Gödel's Proof
Häftad, Engelska, 1997989 kr
Skickas inom 5-8 vardagar
- Del 30 - Cambridge Tracts in Theoretical Computer Science
Computational Learning Theory
Häftad, Engelska, 1997999 kr
Skickas inom 5-8 vardagar
- Del 8 - Cambridge Tracts in Theoretical Computer Science
Formal Semantics and Pragmatics for Natural Language Querying
Häftad, Engelska, 20041 019 kr
Skickas inom 5-8 vardagar
- Del 1 - Cambridge Tracts in Theoretical Computer Science
Algorithmic Information Theory
Häftad, Engelska, 20041 149 kr
Skickas inom 5-8 vardagar
- Del 33 - Cambridge Tracts in Theoretical Computer Science
Predicate Transformer Semantics
Häftad, Engelska, 20041 239 kr
Skickas inom 5-8 vardagar
- Del 26 - Cambridge Tracts in Theoretical Computer Science
Action Semantics
Häftad, Engelska, 20051 239 kr
Skickas inom 5-8 vardagar
- Del 9 - Cambridge Tracts in Theoretical Computer Science
Updating Logical Databases
Häftad, Engelska, 2005849 kr
Skickas inom 5-8 vardagar
- Del 45 - Cambridge Tracts in Theoretical Computer Science
The Optimal Implementation of Functional Programming Languages
Inbunden, Engelska, 19981 809 kr
Skickas inom 5-8 vardagar
- Inbunden, Engelska, 2004
1 729 kr
Skickas inom 5-8 vardagar
- Häftad, Engelska, 2006
749 kr
Skickas inom 10-15 vardagar