Akademibokhandeln

Samson Abramsky – författare

Visar alla böcker från författaren Samson Abramsky.

20 produkter

  1. Samson Abramsky, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum - Handbook of Logic in Computer Science: Volume 4. Semantic Modelling, Inbunden. Tillgänglighet: Lägg i varukorg

    Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

    Av Samson Abramsky, T. S. Maibaum m. fl.

    Inbunden, 1995

    9789 kr

    Lägg i varukorg

  2. Samson Abramsky, Dov M. Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum - Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures, Inbunden. Tillgänglighet: Lägg i varukorg

    Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

    Av Samson Abramsky, Dov M. Gabbay m. fl.

    Inbunden, 2001

    12409 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

    1049 kr

    Lägg i varukorg

  4. 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

    1549 kr

    Lägg i varukorg

  5. 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

    1049 kr

    Lägg i varukorg

  6. 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

  7. 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

  8. Allan M. Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Formal Methods in Artificial Intelligence, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Methods in Artificial Intelligence

    Av Allan M. Ramsay, C. J. Van Rijsbergen m. fl.

    Häftad, 1991

    959 kr

    Lägg i varukorg

  9. Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Topology via Logic, Häftad. Tillgänglighet: Lägg i varukorg

    Topology via Logic

    Av Steven Vickers, C. J. Van Rijsbergen m. fl.

    Häftad, 1996

    1119 kr

    Lägg i varukorg

  10. Gregory. J. Chaitin, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Algorithmic Information Theory, Häftad. Tillgänglighet: Lägg i varukorg

    Algorithmic Information Theory

    Av Gregory. J. Chaitin, C. J. Van Rijsbergen m. fl.

    Häftad, 2004

    1179 kr

    Lägg i varukorg

  11. Marianne Winslett, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Updating Logical Databases, Häftad. Tillgänglighet: Lägg i varukorg

    Updating Logical Databases

    Av Marianne Winslett, C. J. Van Rijsbergen m. fl.

    Häftad, 2005

    869 kr

    Lägg i varukorg

  12. Andrea Asperti, Stefano Guerrini, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Optimal Implementation of Functional Programming Languages, Inbunden. Tillgänglighet: Lägg i varukorg

    The Optimal Implementation of Functional Programming Languages

    Av Andrea Asperti, Stefano Guerrini m. fl.

    Inbunden, 1998

    1809 kr

    Lägg i varukorg

  13. Samson Abramsky, Michael Mislove - Mathematical Foundations of Information Flow, Inbunden. Tillgänglighet: Lägg i varukorg

    Mathematical Foundations of Information Flow

    Av Samson Abramsky, Michael Mislove

    Inbunden, 2012

    2009 kr

    Lägg i varukorg

  14. Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer - Dependence Logic, Inbunden. Tillgänglighet: Lägg i varukorg

    Dependence Logic

    Theory and Applications

    Av Samson Abramsky, Juha Kontinen m. fl.

    Inbunden, 2016

    719 kr

    Lägg i varukorg

  15. Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer - Dependence Logic, Häftad. Tillgänglighet: Lägg i varukorg

    Dependence Logic

    Theory and Applications

    Av Samson Abramsky, Juha Kontinen m. fl.

    Häftad, 2018

    719 kr

    Lägg i varukorg

  16. David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard - Category Theory and Computer Programming, Häftad. Tillgänglighet: Lägg i varukorg

    Category Theory and Computer Programming

    Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings

    Av David Pitt, Samson Abramsky m. fl.

    Häftad, 1986

    739 kr

    Lägg i varukorg

  17. Samson Abramsky - Typed Lambda Calculi and Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Typed Lambda Calculi and Applications

    5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

    Av Samson Abramsky

    Häftad, 2001

    719 kr

    Lägg i varukorg

  18. David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard - Category Theory and Computer Science, Häftad. Tillgänglighet: Lägg i varukorg

    Category Theory and Computer Science

    Paris, France, September 3-6, 1991. Proceedings

    Av David H. Pitt, Pierre-Louis Curien m. fl.

    Häftad, 1991

    719 kr

    Lägg i varukorg

  19. Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis - Automata, Languages and Programming, Häftad. Tillgänglighet: Lägg i varukorg

    Automata, Languages and Programming

    37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

    Av Samson Abramsky, Cyril Gavoille m. fl.

    Häftad, 2010

    1469 kr

    Lägg i varukorg

  20. Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis - Automata, Languages and Programming, Häftad. Tillgänglighet: Lägg i varukorg

    Automata, Languages and Programming

    37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

    Av Samson Abramsky, Cyril Gavoille m. fl.

    Häftad, 2010

    1469 kr

    Lägg i varukorg