Hoppa till sidans huvudinnehåll

Samson Abramsky - Böcker

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

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

Av Thomas S. E. Maibaum, S. Abramsky m. fl

Inbunden, Engelska, 1992

9 739 kr

Skickas inom 5-8 vardagar

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

Av Samson 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

Av Samson Abramsky, Dov M. Gabbay m. fl

Inbunden, Engelska, 2001

11 529 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

Av E. -R. Olderog, Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg m. fl

Häftad, Engelska, 2005

799 kr

Skickas inom 10-15 vardagar
Del 19 - Cambridge Tracts in Theoretical Computer Science

Extensions of First-Order Logic

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

Häftad, Engelska, 2005

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

Av Robert L. Carpenter, Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University m. fl

Häftad, Engelska, 2005

799 kr

Skickas inom 10-15 vardagar
Del 39 - Cambridge Tracts in Theoretical Computer Science

The Uncertain Reasoner's Companion

A Mathematical Perspective

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

Häftad, Engelska, 2006

829 kr

Skickas inom 10-15 vardagar
Del 2 - Cambridge Tracts in Theoretical Computer Science

Logic and Computation

Interactive Proof with Cambridge LCF

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

Häftad, Engelska, 1990

889 kr

Skickas inom 10-15 vardagar
Del 6 - Cambridge Tracts in Theoretical Computer Science

Formal Methods in Artificial Intelligence

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

Häftad, Engelska, 1991

719 kr

Skickas inom 10-15 vardagar
Del 29 - Cambridge Tracts in Theoretical Computer Science

Belief Revision

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

Häftad, Engelska, 2003

1 099 kr

Skickas inom 10-15 vardagar
Del 10 - Cambridge Tracts in Theoretical Computer Science

Theoretical Foundations of VLSI Design

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

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

Häftad, Engelska, 1996

809 kr

Skickas inom 10-15 vardagar
Del 17 - Cambridge Tracts in Theoretical Computer Science

Applications of Process Algebra

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

Häftad, Engelska, 2005

1 449 kr

Skickas inom 10-15 vardagar
Del 1 - Cambridge Tracts in Theoretical Computer Science

Algorithmic Information Theory

Av Gregory. J. Chaitin, Gregory J. Chaitin m. fl

Häftad, Engelska, 2004

819 kr

Skickas inom 10-15 vardagar
Del 9 - Cambridge Tracts in Theoretical Computer Science

Updating Logical Databases

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

Häftad, Engelska, 2005

659 kr

Skickas inom 10-15 vardagar
Del 45 - Cambridge Tracts in Theoretical Computer Science

The Optimal Implementation of Functional Programming Languages

Av Andrea Asperti, Stefano Guerrini m. fl

Inbunden, Engelska, 1998

1 399 kr

Skickas inom 10-15 vardagar

Dependence Logic

Theory and Applications

Av Samson Abramsky, Juha Kontinen m. fl

Inbunden, Engelska, 2016

699 kr

Skickas inom 10-15 vardagar

Dependence Logic

Theory and Applications

Av Samson 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

Av David 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

Av Samson Abramsky

Häftad, Engelska, 2001

699 kr

Skickas inom 10-15 vardagar

Category Theory and Computer Science

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

Av David 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

Av Samson 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

Av Samson Abramsky, Cyril Gavoille m. fl

Häftad, Engelska, 2010

1 429 kr

Skickas inom 10-15 vardagar

Mathematical Foundations of Information Flow

Av Samson Abramsky, Michael Mislove

Inbunden, Engelska, 2012

1 949 kr

Slutsåld