Home Advanced Search

Advanced Search - Page 1

Mathematical Foundations of Information Flow

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

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

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

Dependence Logic: Theory and Applications

PDF
English
Year: 2016
Author: Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer (eds.)

Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

PDF
English
Year: 2003
Author: Samson Abramsky, Radha Jagadeesan (auth.), Andrew D. Gordon (eds.)

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

PDF
English
Year: 2010
Author: Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

PDF
English
Year: 1993
Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

PDF
English
Year: 2012
Author: Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (eds.)

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

PDF
English
Year: 1995
Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

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

DJVU
English
Year: 1994
Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

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

DJVU
English
Year: 1992
Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)