Hoppa till sidans huvudinnehåll

Samson Abramsky - Böcker

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

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

AvSamson Abramsky,T. S. Maibaumm. fl.

Inbunden, Engelska, 1995

7 329 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 059 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

799 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 189 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

799 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

839 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

899 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

729 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

829 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

829 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

659 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 419 kr

Skickas inom 7-10 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 429 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 429 kr

Skickas inom 10-15 vardagar