Samson Abramsky的作品

全部4
Hardcover Book1
Paperback Book3

iMusic 有现货显示无货商品

Cover for Samson Abramsky · Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings - Lecture Notes in Computer Science (Paperback Book) [2001 edition] (2001)

Typed Lambda Calculi and Applica... (2001)

Samson Abramsky

Cover for Samson Abramsky · Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures - Handbook of Logic in Computer Science (Hardcover Book) (2001)

Handbook of Logic in Computer Sc... (2001)

Samson Abramsky

Cover for Samson Abramsky · Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, Uk, April 8-12, 1991: Advances in Istributed Computing (Adc) and Colloquium on Combining Paradigms for Software Development (Ccpsd) - (Paperback Book) (1991)

Tapsoft '91. Proceedings of the ... (1991)

Samson Abramsky

Cover for Samson Abramsky · Tapsoft '91, Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, Uk, April 8-12, 1991 (Colloquium on Trees in Algebra and Programming (Caap '91)) - Lecture Notes in Computer Science (Paperback Book) (1991)

Tapsoft '91, Proceedings of the ... (1991)

Samson Abramsky