Home Advanced Search

Advanced Search - Page 1

Mathematical Foundations of Information Flow

PDF
English
Year: 2012
Author: Samson Abramsky, Michael Mislove (ed.)

Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings

DJVU
English
Year: 1990
Author: Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (eds.)

Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings

PDF
English
Year: 1990
Author: Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (eds.)

Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings

DJVU
English
Year: 1989
Author: Samson Abramsky (auth.), Albert R. Meyer, Michael A. Taitslin (eds.)

Introduction to Categories and Categorial Logic (draft)

PDF
English
Year: 2011
Author: Samson Abramsky, Nikos Tzevelekos

Topology, Domain Theory and Theoretical Computer Science

PDF
English
Year: 1997
Author: Michael W. Mislove

Introduction to Operating System Design and Implementation: the OSP 2 Approach

PDF
English
Year: 2007
Author: Abramsky, Samson;Hankin, Chris;Mackie, Ian

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

DJVU
English-French
Year: 1983
Author: Samson Abramsky (auth.), Josep Diaz (eds.)

Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983

DJVU
English
Year: 1983
Author: Samson Abramsky (auth.), Marek Karpinski (eds.)

Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings

PDF
English
Year: 1996
Author: Samson Abramsky (auth.), Hélène Kirchner (eds.)