Hoppa till sidans huvudinnehåll

Samson Abramsky – författare

Visar alla böcker från författaren Samson Abramsky.
20 produkter
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

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

AvSamson Abramsky,T. S. Maibaumm. fl.

Inbunden, Engelska, 1995

7 479 kr

Skickas inom 5-8 vardagar

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

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

AvSamson Abramsky,Dov M. Gabbaym. fl.

Inbunden, Engelska, 2001

8 229 kr

Skickas inom 5-8 vardagar

E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Nets, Terms and Formulas, Häftad
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

859 kr

Skickas inom 7-10 vardagar

Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Extensions of First-Order Logic, Häftad
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 269 kr

Skickas inom 7-10 vardagar

Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Logic of Typed Feature Structures, Häftad
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

859 kr

Skickas inom 7-10 vardagar

J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Uncertain Reasoner's Companion, Häftad
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

889 kr

Skickas inom 7-10 vardagar

Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Logic and Computation, Häftad
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

969 kr

Skickas inom 7-10 vardagar

Allan M. Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Formal Methods in Artificial Intelligence, Häftad
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

779 kr

Skickas inom 7-10 vardagar

Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Topology via Logic, Häftad
Del 5 - Cambridge Tracts in Theoretical Computer Science

Topology via Logic

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

Häftad, Engelska, 1996

899 kr

Skickas inom 7-10 vardagar

Gregory. J. Chaitin, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Algorithmic Information Theory, Häftad
Del 1 - Cambridge Tracts in Theoretical Computer Science

Algorithmic Information Theory

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

Häftad, Engelska, 2004

919 kr

Skickas inom 7-10 vardagar

Marianne Winslett, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Updating Logical Databases, Häftad
Del 9 - Cambridge Tracts in Theoretical Computer Science

Updating Logical Databases

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

Häftad, Engelska, 2005

709 kr

Skickas inom 7-10 vardagar

Andrea Asperti, Stefano Guerrini, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Optimal Implementation of Functional Programming Languages, Inbunden
Del 45 - Cambridge Tracts in Theoretical Computer Science

The Optimal Implementation of Functional Programming Languages

AvAndrea Asperti,Stefano Guerrinim. fl.

Inbunden, Engelska, 1998

1 519 kr

Skickas inom 7-10 vardagar

Samson Abramsky, Michael Mislove - Mathematical Foundations of Information Flow, Inbunden

Mathematical Foundations of Information Flow

AvSamson Abramsky,Michael Mislove

Inbunden, Engelska, 2012

2 059 kr

Skickas inom 11-20 vardagar

Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer - Dependence Logic, Inbunden

Dependence Logic

Theory and Applications

AvSamson Abramsky,Juha Kontinenm. fl.

Inbunden, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar

Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer - Dependence Logic, Häftad

Dependence Logic

Theory and Applications

AvSamson Abramsky,Juha Kontinenm. fl.

Häftad, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar

David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard - Category Theory and Computer Programming, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Samson Abramsky - Typed Lambda Calculi and Applications, Häftad

Typed Lambda Calculi and Applications

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

AvSamson Abramsky

Häftad, Engelska, 2001

709 kr

Skickas inom 10-15 vardagar

David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard - Category Theory and Computer Science, Häftad

Category Theory and Computer Science

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

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

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis - Automata, Languages and Programming, Häftad

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 449 kr

Skickas inom 10-15 vardagar

Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis - Automata, Languages and Programming, Häftad

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 449 kr

Skickas inom 10-15 vardagar