Home Advanced Search

Advanced Search - Page 1

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
  • DJVU
  • English
  • Year: 1991
  • Author: J. W. de Bakker, E. P. de Vink (auth.), S. Abramsky, T. S. E. Maibaum (eds.)
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
  • DJVU
  • English
  • Year: 1991
  • Author: Luca Aceto (auth.), S. Abramsky, T. S. E. Maibaum (eds.)
Background Mathematical Structures
  • DJVU
  • English
  • Year: 1995
  • Author: S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum (eds.)
Handbook of Logic in Computer Science 5
  • PDF
  • English
  • Year: 2001
  • Author: S. Abramsky, Dov. M. Gabbay, T. S. E. Maibaum
Handbook of Logic in Computer Science 5
  • PDF
  • English
  • Year: 2001
  • Author: S. Abramsky, Dov. M. Gabbay, T. S. E. Maibaum
Primary Care and Home Care Scenarios 1990–2005: Scenario report commissioned by the Steering Committee on Future Health Scenarios
  • PDF
  • English
  • Year: 1993
  • Author: Prof. E. Schadé, Dr. H. J. Wennink, S. E. Kooiker, W. G. W. Boerma, Dr. D. H. de Bakker, Dr. P. P. Groenewegen (auth.)
PARLE Parallel Architectures and Languages Europe: Volume I: Parallel Architectures Eindhoven, The Netherlands, June 15–19, 1987 Proceedings
  • PDF
  • English
  • Year: 1987
  • Author: Geoffrey E. Hinton (auth.), J. W. de Bakker, A. J. Nijman, P. C. Treleaven (eds.)
PARLE Parallel Architectures and Languages Europe: Volume I: Parallel Architectures Eindhoven, The Netherlands, June 15–19, 1987 Proceedings
  • DJVU
  • English
  • Year: 1987
  • Author: Geoffrey E. Hinton (auth.), J. W. de Bakker, A. J. Nijman, P. C. Treleaven (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.)
Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods
  • PDF
  • English
  • Year: 2001
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
search