Ball, Thomas
Ball, Thomas, 1965-
Ball, Thomas (Thomas Jaudon), 1965-
Thomas Jaudon Ball obor působnosti výpočetní technika
VIAF ID: 85380218 ( Personal )
Permalink: http://viaf.org/viaf/85380218
Preferred Forms
-
- 100 1 _ ‡a Ball, Thomas
-
- 100 1 _ ‡a Ball, Thomas ‡d 1965-
- 100 1 _ ‡a Ball, Thomas ‡d 1965-
-
-
-
- 100 1 _ ‡a Ball, Thomas, ‡d 1965-
- 100 0 _ ‡a Thomas Jaudon Ball ‡c obor působnosti výpočetní technika
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
CAV 2006 | |
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings | |
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 University of Pennsylvania, on the seventeenth day of May, 1796, for the degree of Doctor of Medicine. By Thomas Ball, of Virginia, member of the Philadelphia Medical Society. [One line from Young] | |
Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings | |
[My threescore years and ten : an autobiography | |
Paul Leopold Haffner als Philosoph | |
Polowetzer Tänze : aus "Fürst Igor" = Polowetzian dances : from "Prince Igor" | |
SPIN | |
TCS 2012. | |
Theoretical computer science : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, proceedings | |
Two books of elegies: in imitation of the first two books of Ovid De tristibus, with part of the third | |
Verse upon several occasions : with some translations out of the Latin and Greek poets |