Hoppa till sidans huvudinnehåll

Samson Abramsky – författare

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

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

AvSamson Abramsky,T. S. Maibaumm. fl.

Inbunden, Engelska, 1995

7 279 kr

Skickas inom 5-8 vardagar

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

AvSamson Abramsky,Dov M. Gabbaym. fl.

Inbunden, Engelska, 2001

8 019 kr

Skickas inom 5-8 vardagar

Del 23 - Cambridge Tracts in Theoretical Computer Science

Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

AvE. -R. Olderog,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 2005

829 kr

Skickas inom 7-10 vardagar

Del 19 - Cambridge Tracts in Theoretical Computer Science

Extensions of First-Order Logic

AvMaria Manzano,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 2005

1 239 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

AvRobert L. Carpenter,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 2005

829 kr

Skickas inom 7-10 vardagar

Del 39 - Cambridge Tracts in Theoretical Computer Science

The Uncertain Reasoner's Companion

A Mathematical Perspective

AvJ. B. Paris,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 2006

869 kr

Skickas inom 7-10 vardagar

Del 2 - Cambridge Tracts in Theoretical Computer Science

Logic and Computation

Interactive Proof with Cambridge LCF

AvLawrence C. Paulson,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 1990

949 kr

Skickas inom 7-10 vardagar

Del 6 - Cambridge Tracts in Theoretical Computer Science

Formal Methods in Artificial Intelligence

AvAllan M. Ramsay,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 1991

759 kr

Skickas inom 7-10 vardagar

Del 5 - Cambridge Tracts in Theoretical Computer Science

Topology via Logic

AvSteven Vickers,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 1996

869 kr

Skickas inom 7-10 vardagar

Del 1 - Cambridge Tracts in Theoretical Computer Science

Algorithmic Information Theory

AvGregory. J. Chaitin,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 2004

869 kr

Skickas inom 7-10 vardagar

Del 9 - Cambridge Tracts in Theoretical Computer Science

Updating Logical Databases

AvMarianne Winslett,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 2005

689 kr

Skickas inom 7-10 vardagar

Del 45 - Cambridge Tracts in Theoretical Computer Science

The Optimal Implementation of Functional Programming Languages

AvAndrea Asperti,Stefano Guerrinim. fl.

Inbunden, Engelska, 1998

1 479 kr

Skickas inom 7-10 vardagar

Mathematical Foundations of Information Flow

AvSamson Abramsky,Michael Mislove

Inbunden, Engelska, 2012

2 069 kr

Skickas inom 11-20 vardagar

Dependence Logic

Theory and Applications

AvSamson Abramsky,Juha Kontinenm. fl.

Inbunden, Engelska, 2016

699 kr

Skickas inom 10-15 vardagar

Dependence Logic

Theory and Applications

AvSamson Abramsky,Juha Kontinenm. fl.

Häftad, Engelska, 2018

699 kr

Skickas inom 10-15 vardagar

Category Theory and Computer Programming

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

AvDavid Pitt,Samson Abramskym. fl.

Häftad, Engelska, 1986

719 kr

Skickas inom 10-15 vardagar

Typed Lambda Calculi and Applications

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

AvSamson Abramsky

Häftad, Engelska, 2001

699 kr

Skickas inom 10-15 vardagar

Category Theory and Computer Science

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

AvDavid H. Pitt,Pierre-Louis Curienm. fl.

Häftad, Engelska, 1991

699 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

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

AvSamson Abramsky,Cyril Gavoillem. fl.

Häftad, Engelska, 2010

1 419 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

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

AvSamson Abramsky,Cyril Gavoillem. fl.

Häftad, Engelska, 2010

1 419 kr

Skickas inom 10-15 vardagar