John Harrison

216 books • 30 series

John Harrison is a Principal Engineer at the Intel Corporation in Portland, Oregon. He specialises in formal verification, automated theorem proving, floating-point arithmetic and mathematical algorithms.
Dec 24, 2007
Cover of Sophocles: Antigone South Asian Edition

Sophocles: Antigone South Asian Edition (Cambridge Translations from Greek Drama)

Sep 6, 2007
Cover of Wenn T Ne Farben Haben

Wenn T Ne Farben Haben

Apr 1, 2007
Cover of Drive Around Loire Valley

Drive Around Loire Valley (Thomas Cook Driving Guide: Loire Valley)

Mar 3, 2007
Cover of Chance of a Lifetime

Chance of a Lifetime

Jan 31, 2007
Cover of Shutdown Fortnight

Shutdown Fortnight

Aug 18, 2005
Cover of Study Skills for Criminology

Study Skills for Criminology (Sage Study Skills)

Aug 1, 2005
Cover of Heir Unapparent

Heir Unapparent

Jun 2005
Cover of The Money Making Magic of a Funfair Goldfish and Other Get Rich Secrets of a Matress-bound Millionaire

The Money Making Magic of a Funfair Goldfish and Other Get Rich Secrets of a Matress-bound Millionaire

Dec 1, 2004
Cover of El Extrano Fenomeno de la Sinestesia

El Extrano Fenomeno de la Sinestesia (Psicologia, Psiquiatria y Psicoanalisis)

Mar 1, 2004
Cover of Coyote's Cool Cafe Juice Drinks

Coyote's Cool Cafe Juice Drinks

Mar 1, 2004
Cover of Not Quite Famous

Not Quite Famous

Mar 1, 2003
Cover of Signpost Guide Languedoc and Southwest France, 2nd

Signpost Guide Languedoc and Southwest France, 2nd (Signpost Guide Languedoc & Southwest France: Your Guide to Great Drives)

Oct 2, 2002
Cover of 39, the New Wave Fabulist

39, the New Wave Fabulist (Conjunctions, #39)

Jun 1, 2002
Cover of Signpost Guide Loire Valley

Signpost Guide Loire Valley

Jan 31, 2002
Cover of How to Stop Working and Make a Million Pounds Instead

How to Stop Working and Make a Million Pounds Instead

Nov 20, 2001
Cover of Off the Map

Off the Map (Summersdale Travel)

Apr 12, 2001
Cover of New Caribbean Office Procedures 3E

New Caribbean Office Procedures 3E

Mar 29, 2001
Cover of Synaesthesia

Synaesthesia

Jun 1, 2000
Cover of Where the Earth Ends

Where the Earth Ends

Dec 1, 1999
Cover of Signpost Guide Languedoc and Southwest France

Signpost Guide Languedoc and Southwest France (Signpost Guide Languedoc & Southwest France: Your Guide to Great Drives)

Nov 26, 1999
Cover of Languedoc and South-west France

Languedoc and South-west France (Signpost Guides) (Drive Around)

Apr 29, 1999
Cover of A Field Guide to the Birds of Sri Lanka

A Field Guide to the Birds of Sri Lanka

Sep 21, 1998
Cover of Canada Is . . . Music, Grade 3-4 (2000 Edition)

Canada Is . . . Music, Grade 3-4 (2000 Edition)

Sep 1, 1998
Cover of Theorem Proving with the Real Numbers

Theorem Proving with the Real Numbers (Distinguished Dissertations)