Hoppa till sidans huvudinnehåll

Samson Abramsky - Böcker

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

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

AvThomas S. E. Maibaum,S. Abramsky m. fl.

Inbunden, Engelska, 1992

7 769 kr

Skickas inom 5-8 vardagar

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

AvSamson Abramsky,T. S. Maibaum m. fl.

Inbunden, Engelska, 1995

8 889 kr

Skickas inom 5-8 vardagar

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

AvSamson Abramsky,Dov M. Gabbay m. fl.

Inbunden, Engelska, 2001

7 769 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,Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg m. fl.

Häftad, Engelska, 2005

769 kr

Skickas inom 10-15 vardagar

Del 19 - Cambridge Tracts in Theoretical Computer Science

Extensions of First-Order Logic

AvMaria Manzano,Maria (Universitat de Barcelona) Manzano m. fl.

Häftad, Engelska, 2005

1 149 kr

Skickas inom 10-15 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,Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University m. fl.

Häftad, Engelska, 2005

769 kr

Skickas inom 10-15 vardagar

Del 39 - Cambridge Tracts in Theoretical Computer Science

The Uncertain Reasoner's Companion

A Mathematical Perspective

AvJ. B. Paris,J. B. (University of Manchester) Paris m. fl.

Häftad, Engelska, 2006

809 kr

Skickas inom 10-15 vardagar

Del 2 - Cambridge Tracts in Theoretical Computer Science

Logic and Computation

Interactive Proof with Cambridge LCF

AvLawrence C. Paulson,Lawrence C. (University of Cambridge) Paulson m. fl.

Häftad, Engelska, 1990

869 kr

Skickas inom 10-15 vardagar

Del 6 - Cambridge Tracts in Theoretical Computer Science

Formal Methods in Artificial Intelligence

AvAllan M. Ramsay,Allan M. (University College Dublin) Ramsay m. fl.

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

Del 29 - Cambridge Tracts in Theoretical Computer Science

Belief Revision

AvPeter Gärdenfors,Peter Gärdenfors m. fl.

Häftad, Engelska, 2003

1 069 kr

Skickas inom 10-15 vardagar

Del 10 - Cambridge Tracts in Theoretical Computer Science

Theoretical Foundations of VLSI Design

AvK. McEvoy,J. V. Tucker m. fl.

Häftad, Engelska, 2003

839 kr

Skickas inom 10-15 vardagar

Del 5 - Cambridge Tracts in Theoretical Computer Science

Topology via Logic

AvSteven Vickers,London) Vickers, Steven (Imperial College of Science, Technology and Medicine m. fl.

Häftad, Engelska, 1996

799 kr

Skickas inom 10-15 vardagar

Del 17 - Cambridge Tracts in Theoretical Computer Science

Applications of Process Algebra

AvJ. C. M. Baeten,C. J. Van Rijsbergen m. fl.

Häftad, Engelska, 2005

1 409 kr

Skickas inom 10-15 vardagar

Del 1 - Cambridge Tracts in Theoretical Computer Science

Algorithmic Information Theory

AvGregory. J. Chaitin,Gregory J. Chaitin m. fl.

Häftad, Engelska, 2004

799 kr

Skickas inom 10-15 vardagar

Del 9 - Cambridge Tracts in Theoretical Computer Science

Updating Logical Databases

AvMarianne Winslett,Urbana-Champaign) Winslett, Marianne (University of Illinois m. fl.

Häftad, Engelska, 2005

639 kr

Skickas inom 10-15 vardagar

Del 45 - Cambridge Tracts in Theoretical Computer Science

The Optimal Implementation of Functional Programming Languages

AvAndrea Asperti,Stefano Guerrini m. fl.

Inbunden, Engelska, 1998

1 369 kr

Skickas inom 10-15 vardagar

Dependence Logic

Theory and Applications

AvSamson Abramsky,Juha Kontinen m. fl.

Inbunden, Engelska, 2016

699 kr

Skickas inom 10-15 vardagar

Dependence Logic

Theory and Applications

AvSamson Abramsky,Juha Kontinen m. 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 Abramsky m. 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 Curien m. 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 Gavoille m. 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 Gavoille m. fl.

Häftad, Engelska, 2010

1 429 kr

Skickas inom 10-15 vardagar