Bøker
Produkter
Avansert søk
Før en utgivelse er katalogisert vil den mangle noe metadata, typisk dewey og emne.
Initial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors
Cambridge Tracts in Theoretical Computer Science Innbundet Engelsk
Produseres på bestilling
Topological Duality for Distributive Lattices : Theory and Applications
Cambridge Tracts in Theoretical Computer Science Innbundet Engelsk
Produseres på bestilling
Finite-State Techniques : Automata, Transducers and Bimachines
Cambridge Tracts in Theoretical Computer Science Innbundet Engelsk
Produseres på bestilling
Introduction to Coalgebra : Towards Mathematics of States and Observation
Cambridge Tracts in Theoretical Computer Science Innbundet Engelsk
Produseres på bestilling
Temporal Logics in Computer Science : Finite-State Systems
Cambridge Tracts in Theoretical Computer Science Innbundet Engelsk
Midlertidig utsolgt
Nonmonotonic Reasoning : Logical Foundations of Commonsense
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Boer, Frank de Lakhnech, Yassine Roever, Willem-Paul de Hanneman, Ulrich Poel, Mannes Hooman, Jozef Zwiers, Job
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Process Algebra: Equational Theories of Communicating Processes
Cambridge Tracts in Theoretical Computer Science Innbundet Engelsk
Produseres på bestilling
Hybrid Graph Theory and Network Analysis
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
I salg
The Clausal Theory of Types
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Lambda-calculus, Combinators and Functional Programming
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Data Refinement : Model-Oriented Proof Methods and their Comparison
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Algebraic Specification of Communication Protocols
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Information Flow : The Logic of Distributed Systems
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Mathematical Theory of Domains
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Domains and Lambda-Calculi
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Understanding Z : A Specification Language and its Formal Semantics
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
The Uncertain Reasoner's Companion : A Mathematical Perspective
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Deductive and Declarative Programming
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Formal Specification and Design
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
I salg
The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Free Choice Petri Nets
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Two-Level Functional Languages
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Programs, Recursion and Unbounded Choice
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Extensions of First-Order Logic
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Nets, Terms and Formulas : Three Views of Concurrent Processes and their Relationship
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Rippling: Meta-Level Guidance for Mathematical Reasoning
Cambridge Tracts in Theoretical Computer Science Innbundet Engelsk
Produseres på bestilling
Applications of Process Algebra
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Action Semantics
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
Updating Logical Databases
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling