Menu

A. Koelmans

8 published titles

Adventure description language : a new way to generate adventure programs

(Contributor)

1 edition

  • ISBN: 1850580111
  • Sigma
  • 1985
  • Details

Modellling and verification of timing conditions with the Boyer Moore Prover

1 edition

  • University of Newcastle upon Tyne, Computing Laboratory
  • 1991
  • Details

Verification of timing conditions using a theorem prover

1 edition

  • University of Newcastle upon Tyne, Computing Laboratory
  • 1991
  • Details

A 2-phase asynchronous event driven buffer with completion detection signalling

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 1997
  • Details

The Fifth UK Embedded Forum : 23-24 September 2009, University of Leicester, UK

(Contributor)

1 edition

  • ISBN: 9780701702229
  • Newcastle University
  • 2009
  • Details

The 2010 UK Electronics Forum : 30 June-1 July 2010, Newcastle University, UK.

(Contributor)

1 edition

  • ISBN: 9780701702328
  • Newcastle University
  • 2010
  • Details

The 2011 UK Electronics Forum : 4 July - 5 July 2011, Manchester University, UK

(Contributor)

1 edition

  • ISBN: 9780701702397
  • Newcastle University
  • 2011
  • Details

The 2012 UK Electronics Forum : 30 August - 31 August 2012, Newcastle University, UK

(Contributor)

1 edition

  • ISBN: 9780701702458
  • Newcastle University
  • 2012
  • Details

obnb.uk is a Good Stuff website.