作者 Samson Abramsky 的书籍 - BookPine

Mathematical Foundations of Information Flow: Clifford Lectures Information Flow in Physics, Geometry, Logic and Computation: March 12-15, 2008, ... of Symposia in Applied Mathematics, 71)

Mathematical Foundations of Information Flow: Clifford Lectures Information Flow in Physics, Geometry, Logic and Computation: March 12-15, 2008, ... of Symposia in Applied Mathematics, 71)

Samson Abramsky

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Samson Abramsky

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Samson Abramsky

A Concise Introduction to Languages and Machines

A Concise Introduction to Languages and Machines

Alan P. Parkes

Categorical Quantum Mechanics

Categorical Quantum Mechanics

Bob Coecke

A Categorical Semantics of Quantum Protocols

A Categorical Semantics of Quantum Protocols

Samson Abramsky

Theoretical Foundations of VLSI Design

Theoretical Foundations of VLSI Design

Ken McEvoy

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Samson Abramsky

Handbook of Logic in Computer Science 5

Handbook of Logic in Computer Science 5

Samson Abramsky

Handbook of Logic in Computer Science (Volume 5): Logic and Algebraic Methods

Handbook of Logic in Computer Science (Volume 5): Logic and Algebraic Methods

Samson Abramsky

Basic Proof Theory

Basic Proof Theory

Anne S. Troelstra

Formal Methods in Digital Design

Formal Methods in Digital Design

J. Herbert

Logical Frameworks for Truth and Abstraction

Logical Frameworks for Truth and Abstraction

Andrea Cantini

Handbook of Logic in Computer Science: Volume 3: Semantic Structures

Handbook of Logic in Computer Science: Volume 3: Semantic Structures

Samson Abramsky

Handbook of Logic in Computer Science, Volume 4

Handbook of Logic in Computer Science, Volume 4

Samson Abramsky

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

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

Samson Abramsky

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ... '91)

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ... '91)

Samson Abramsky

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ...

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ...

Samson Abramsky