MPG.eBooks - Author Search Results

Cover Image

1

Model Checking Software : 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings

by Ball, Thomas
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

2

A sermon preached at Mildenhall : at the visitation of the Arch-Deacon of Sudbury: on Monday, April 28, 1783. By Tho. Ball, D.D. Rector of Eriswell, in Suffolk

by Ball, Thomas
Published 1783

printed for J. Debrett (successor to Mr. Almon) opposite Burlington-House, Piccadilly

Cover Image

3

An inaugural dissertation on the causes and effects of sleep : Submitted to the examination of the Rev. John Ewing, S.T.P. provost, the trustees and medical professors of the Unive...

by Ball, Thomas
Published 1796

Printed by Budd and Bartram, no. 58, North Second Street

Cover Image

4

Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Ball, Thomas...”

Cover Image

5

Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Ball, Thomas...”