Akademibokhandeln

Cambridge Tracts in Theoretical Computer Science – serie

Visar alla böcker i serien Cambridge Tracts in Theoretical Computer Science.

67 produkter

  1. Roberto M. Amadio, Pierre-Louis Curien - Domains and Lambda-Calculi, Inbunden. Tillgänglighet: Lägg i varukorg

    Domains and Lambda-Calculi

    Av Roberto M. Amadio, Pierre-Louis Curien

    Inbunden, 1998

    3069 kr

    Lägg i varukorg

  2. Wim H. Hesselink, C. J. van Rijsbergen - Programs, Recursion and Unbounded Choice, Häftad. Tillgänglighet: Lägg i varukorg

    Programs, Recursion and Unbounded Choice

    Av Wim H. Hesselink, C. J. van Rijsbergen

    Häftad, 2005

    1019 kr

    Lägg i varukorg

  3. E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Nets, Terms and Formulas, Häftad. Tillgänglighet: Lägg i varukorg

    Nets, Terms and Formulas

    Three Views of Concurrent Processes and their Relationship

    Av E. -R. Olderog, C. J. Van Rijsbergen m. fl.

    Häftad, 2005

    1019 kr

    Lägg i varukorg

  4. Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen - Two-Level Functional Languages, Häftad. Tillgänglighet: Lägg i varukorg

    Two-Level Functional Languages

    Av Flemming Nielson, Hanne Riis Nielson m. fl.

    Häftad, 2005

    1149 kr

    Lägg i varukorg

  5. Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Extensions of First-Order Logic, Häftad. Tillgänglighet: Lägg i varukorg

    Extensions of First-Order Logic

    Av Maria Manzano, C. J. Van Rijsbergen m. fl.

    Häftad, 2005

    1509 kr

    Lägg i varukorg

  6. Jorg Desel, Javier Esparza, C. J. van Rijsbergen - Free Choice Petri Nets, Häftad. Tillgänglighet: Lägg i varukorg

    Free Choice Petri Nets

    Av Jorg Desel, Javier Esparza m. fl.

    Häftad, 2005

    929 kr

    Lägg i varukorg

  7. Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Logic of Typed Feature Structures, Häftad. Tillgänglighet: Lägg i varukorg

    The Logic of Typed Feature Structures

    With Applications to Unification Grammars, Logic Programs and Constraint Resolution

    Av Robert L. Carpenter, C. J. Van Rijsbergen m. fl.

    Häftad, 2005

    1019 kr

    Lägg i varukorg

  8. Peter Padawitz, C. J. van Rijsbergen - Deductive and Declarative Programming, Häftad. Tillgänglighet: Lägg i varukorg

    Deductive and Declarative Programming

    Av Peter Padawitz, C. J. van Rijsbergen

    Häftad, 2006

    1049 kr

    Lägg i varukorg

  9. J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Uncertain Reasoner's Companion, Häftad. Tillgänglighet: Lägg i varukorg

    The Uncertain Reasoner's Companion

    A Mathematical Perspective

    Av J. B. Paris, C. J. Van Rijsbergen m. fl.

    Häftad, 2006

    1089 kr

    Lägg i varukorg

  10. J. M. Spivey - Understanding Z, Häftad. Tillgänglighet: Lägg i varukorg

    Understanding Z

    A Specification Language and its Formal Semantics

    Av J. M. Spivey

    Häftad, 2008

    829 kr

    Lägg i varukorg

  11. J. Roger Hindley - Basic Simple Type Theory, Häftad. Tillgänglighet: Lägg i varukorg

    Basic Simple Type Theory

    Av J. Roger Hindley

    Häftad, 2008

    849 kr

    Lägg i varukorg

  12. Roberto M. Amadio, Pierre-Louis Curien - Domains and Lambda-Calculi, Häftad. Tillgänglighet: Lägg i varukorg

    Domains and Lambda-Calculi

    Av Roberto M. Amadio, Pierre-Louis Curien

    Häftad, 2008

    1269 kr

    Lägg i varukorg

  13. V. Stoltenberg-Hansen, I. Lindström, E. R. Griffor - Mathematical Theory of Domains, Häftad. Tillgänglighet: Lägg i varukorg

    Mathematical Theory of Domains

    Av V. Stoltenberg-Hansen, I. Lindström m. fl.

    Häftad, 2008

    1209 kr

    Lägg i varukorg

  14. Jon Barwise, Jerry Seligman - Information Flow, Häftad. Tillgänglighet: Lägg i varukorg

    Information Flow

    The Logic of Distributed Systems

    Av Jon Barwise, Jerry Seligman

    Häftad, 2008

    1269 kr

    Lägg i varukorg

  15. S. Mauw, G. J. Veltink - Algebraic Specification of Communication Protocols, Häftad. Tillgänglighet: Lägg i varukorg

    Algebraic Specification of Communication Protocols

    Av S. Mauw, G. J. Veltink

    Häftad, 2008

    999 kr

    Lägg i varukorg

  16. Willem-Paul de Roever, Kai Engelhardt - Data Refinement, Häftad. Tillgänglighet: Lägg i varukorg

    Data Refinement

    Model-Oriented Proof Methods and their Comparison

    Av Willem-Paul de Roever, Kai Engelhardt

    Häftad, 2008

    1259 kr

    Lägg i varukorg

  17. Ladislav Novak, Alan Gibbons - Hybrid Graph Theory and Network Analysis, Häftad. Tillgänglighet: Lägg i varukorg

    Hybrid Graph Theory and Network Analysis

    Av Ladislav Novak, Alan Gibbons

    Häftad, 2009

    869 kr

    Lägg i varukorg

  18. G. E. Revesz - Lambda-calculus, Combinators and Functional Programming, Häftad. Tillgänglighet: Lägg i varukorg

    Lambda-calculus, Combinators and Functional Programming

    Av G. E. Revesz

    Häftad, 2009

    1189 kr

    Lägg i varukorg

  19. T. F. Melham - Higher Order Logic and Hardware Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Higher Order Logic and Hardware Verification

    Av T. F. Melham

    Häftad, 2009

    849 kr

    Lägg i varukorg

  20. T. H. Tse - A Unifying Framework for Structured Analysis and Design Models, Häftad. Tillgänglighet: Lägg i varukorg

    A Unifying Framework for Structured Analysis and Design Models

    An Approach Using Initial Algebra Semantics and Category Theory

    Av T. H. Tse

    Häftad, 2009

    869 kr

    Lägg i varukorg

  21. D. A. Wolfram - The Clausal Theory of Types, Häftad. Tillgänglighet: Lägg i varukorg

    The Clausal Theory of Types

    Av D. A. Wolfram

    Häftad, 2009

    639 kr

    Lägg i varukorg

  22. Subrata Dasgupta - Design Theory and Computer Science, Häftad. Tillgänglighet: Lägg i varukorg

    Design Theory and Computer Science

    Av Subrata Dasgupta

    Häftad, 2009

    1519 kr

    Lägg i varukorg

  23. Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers - Concurrency Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Concurrency Verification

    Introduction to Compositional and Non-compositional Methods

    Av Willem-Paul de Roever, Frank de Boer m. fl.

    Häftad, 2012

    1709 kr

    Lägg i varukorg

  24. Gerhard Brewka - Nonmonotonic Reasoning, Häftad. Tillgänglighet: Lägg i varukorg

    Nonmonotonic Reasoning

    Logical Foundations of Commonsense

    Av Gerhard Brewka

    Häftad, 2012

    959 kr

    Lägg i varukorg

  25. Gerhard Brewka - Nonmonotonic Reasoning, Inbunden. Tillgänglighet: Lägg i varukorg

    Nonmonotonic Reasoning

    Logical Foundations of Commonsense

    Av Gerhard Brewka

    Inbunden, 1991

    1569 kr

    Lägg i varukorg

  26. Subrata Dasgupta - Design Theory and Computer Science, Inbunden. Tillgänglighet: Lägg i varukorg

    Design Theory and Computer Science

    Av Subrata Dasgupta

    Inbunden, 1991

    3509 kr

    Lägg i varukorg

  27. Terese - Term Rewriting Systems, Inbunden. Tillgänglighet: Lägg i varukorg

    Term Rewriting Systems

    Av Terese

    Inbunden, 2003

    4669 kr

    Lägg i varukorg

  28. T. H. Tse - A Unifying Framework for Structured Analysis and Design Models, Inbunden. Tillgänglighet: Lägg i varukorg

    A Unifying Framework for Structured Analysis and Design Models

    An Approach Using Initial Algebra Semantics and Category Theory

    Av T. H. Tse

    Inbunden, 1991

    2549 kr

    Lägg i varukorg

  29. D. A. Wolfram - The Clausal Theory of Types, Inbunden. Tillgänglighet: Lägg i varukorg

    The Clausal Theory of Types

    Av D. A. Wolfram

    Inbunden, 1993

    1419 kr

    Lägg i varukorg

  30. Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Logic and Computation, Häftad. Tillgänglighet: Lägg i varukorg

    Logic and Computation

    Interactive Proof with Cambridge LCF

    Av Lawrence C. Paulson, C. J. Van Rijsbergen m. fl.

    Häftad, 1990

    1189 kr

    Lägg i varukorg