Del 27 - Cambridge Tracts in Theoretical Computer Science
Programs, Recursion and Unbounded Choice
Häftad, Engelska, 2005
859 kr
Skickas inom 7-10 vardagar
Cambridge Tracts in Theoretical Computer Science – serie
Visar alla böcker i serien Cambridge Tracts in Theoretical Computer Science.
67 produkter
67 produkter
- Del 23 - Cambridge Tracts in Theoretical Computer Science
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
Häftad, Engelska, 2005859 kr
Skickas inom 7-10 vardagar
- Del 34 - Cambridge Tracts in Theoretical Computer Science
Two-Level Functional Languages
Häftad, Engelska, 2005959 kr
Skickas inom 7-10 vardagar
- Del 19 - Cambridge Tracts in Theoretical Computer Science
Extensions of First-Order Logic
Häftad, Engelska, 20051 269 kr
Skickas inom 7-10 vardagar
- Del 40 - Cambridge Tracts in Theoretical Computer Science
Free Choice Petri Nets
Häftad, Engelska, 2005759 kr
Skickas inom 7-10 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, 2005859 kr
Skickas inom 7-10 vardagar
- Del 28 - Cambridge Tracts in Theoretical Computer Science
Deductive and Declarative Programming
Häftad, Engelska, 2006859 kr
Skickas inom 7-10 vardagar
- Del 39 - Cambridge Tracts in Theoretical Computer Science
The Uncertain Reasoner's Companion
A Mathematical Perspective
Häftad, Engelska, 2006889 kr
Skickas inom 7-10 vardagar
- Del 3 - Cambridge Tracts in Theoretical Computer Science
Understanding Z
A Specification Language and its Formal Semantics
Häftad, Engelska, 2008659 kr
Skickas inom 7-10 vardagar
- Del 42 - Cambridge Tracts in Theoretical Computer Science
Basic Simple Type Theory
Häftad, Engelska, 2008679 kr
Skickas inom 7-10 vardagar
- Del 46 - Cambridge Tracts in Theoretical Computer Science
Domains and Lambda-Calculi
Häftad, Engelska, 20081 039 kr
Skickas inom 7-10 vardagar
- Del 22 - Cambridge Tracts in Theoretical Computer Science
Mathematical Theory of Domains
Häftad, Engelska, 2008969 kr
Skickas inom 7-10 vardagar
- Del 44 - Cambridge Tracts in Theoretical Computer Science
Information Flow
The Logic of Distributed Systems
Häftad, Engelska, 20081 039 kr
Skickas inom 7-10 vardagar
- Del 36 - Cambridge Tracts in Theoretical Computer Science
Algebraic Specification of Communication Protocols
Häftad, Engelska, 2008819 kr
Skickas inom 7-10 vardagar
- Del 47 - Cambridge Tracts in Theoretical Computer Science
Data Refinement
Model-Oriented Proof Methods and their Comparison
Häftad, Engelska, 20081 029 kr
Skickas inom 7-10 vardagar
- Del 49 - Cambridge Tracts in Theoretical Computer Science
Hybrid Graph Theory and Network Analysis
Häftad, Engelska, 2009709 kr
Skickas inom 7-10 vardagar
- Del 4 - Cambridge Tracts in Theoretical Computer Science
Lambda-calculus, Combinators and Functional Programming
Häftad, Engelska, 2009999 kr
Skickas inom 7-10 vardagar
- Del 31 - Cambridge Tracts in Theoretical Computer Science
Higher Order Logic and Hardware Verification
Häftad, Engelska, 2009709 kr
Skickas inom 7-10 vardagar
- Del 11 - Cambridge Tracts in Theoretical Computer Science
A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
Häftad, Engelska, 2009729 kr
Skickas inom 7-10 vardagar
- Del 21 - Cambridge Tracts in Theoretical Computer Science
The Clausal Theory of Types
Häftad, Engelska, 2009529 kr
Skickas inom 7-10 vardagar
- Del 15 - Cambridge Tracts in Theoretical Computer Science
Design Theory and Computer Science
Häftad, Engelska, 20091 209 kr
Skickas inom 7-10 vardagar
- Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Häftad, Engelska, 20121 429 kr
Skickas inom 7-10 vardagar
- Del 12 - Cambridge Tracts in Theoretical Computer Science
Nonmonotonic Reasoning
Logical Foundations of Commonsense
Häftad, Engelska, 2012779 kr
Skickas inom 7-10 vardagar
- Del 12 - Cambridge Tracts in Theoretical Computer Science
Nonmonotonic Reasoning
Logical Foundations of Commonsense
Inbunden, Engelska, 19911 289 kr
Skickas inom 7-10 vardagar
- Del 15 - Cambridge Tracts in Theoretical Computer Science
Design Theory and Computer Science
Inbunden, Engelska, 19912 879 kr
Skickas inom 7-10 vardagar
- Del 55 - Cambridge Tracts in Theoretical Computer Science
Term Rewriting Systems
Inbunden, Engelska, 20033 829 kr
Skickas inom 7-10 vardagar
- Del 11 - Cambridge Tracts in Theoretical Computer Science
A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
Inbunden, Engelska, 19912 089 kr
Skickas inom 7-10 vardagar
- Del 21 - Cambridge Tracts in Theoretical Computer Science
The Clausal Theory of Types
Inbunden, Engelska, 19931 159 kr
Skickas inom 7-10 vardagar
- Del 2 - Cambridge Tracts in Theoretical Computer Science
Logic and Computation
Interactive Proof with Cambridge LCF
Häftad, Engelska, 1990969 kr
Skickas inom 7-10 vardagar
- Del 23 - Cambridge Tracts in Theoretical Computer Science
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
Inbunden, Engelska, 19912 089 kr
Skickas inom 7-10 vardagar