Home Advanced Search

Advanced Search - Page 1

Essays in Honour of E. H. Carr
  • PDF
  • English
  • Year: 1974
  • Author: C. Abramsky (eds.)
New structures for physics
  • PDF
  • English
  • Year: 2011
  • Author: S. Abramsky, N. Tzevelekos (auth.), Bob Coecke (eds.)
Dependence Logic: Theory and Applications
  • PDF
  • English
  • Year: 2016
  • Author: Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer (eds.)
Background Mathematical Structures
  • DJVU
  • English
  • Year: 1995
  • Author: S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum (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.)
search