John Harrison | Bookhype

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.

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)

Oct 1, 1997

Cover of The Rittenhouse Cookbook

The Rittenhouse Cookbook

Oct 11, 1996

Cover of Office Procedures 4th Edition - Paper

Office Procedures 4th Edition - Paper

Oct 10, 1996

Cover of Practical Office Procedures 4th Edition - Paper

Practical Office Procedures 4th Edition - Paper

Aug 31, 1996

Cover of Supergrowth Companies

Supergrowth Companies

Aug 1, 1996

Cover of Holidays

Holidays (Acting Edition S.)

Apr 1, 1995

Cover of The World In Your Hands

The World In Your Hands (The World in Your Hands, #1)

Jan 1995

Cover of A Corporate Culture of Freedom

A Corporate Culture of Freedom (Economic Notes, #62)

Jul 1, 1994

Cover of La Casa Sena

Apr 1994

Cover of Investing Charitable Funds

Investing Charitable Funds (Charity Management S.)

Jan 1994

Cover of The Liberation of British Telecommunications

The Liberation of British Telecommunications (Economic Notes, #55)

Aug 1994

Cover of ACCA Textbook

ACCA Textbook (ACCA Textbook S., Paper 12)

Feb 16, 1993

Cover of Luck In The Head

Luck In The Head

Oct 2, 1992

Cover of International Administration and Secretarial Procedures

International Administration and Secretarial Procedures

Mar 1992

Cover of New Caribbean Office Procedures

New Caribbean Office Procedures

Mar 31, 1992

Cover of An Integrated Approach to Business Administration for BTEC First and NVQ Levels 1 and 2

An Integrated Approach to Business Administration for BTEC First and NVQ Levels 1 and 2

Sep 1991

Cover of Old British Beers and How to Make Them

Old British Beers and How to Make Them

Jun 1991

Cover of Public Administration

Public Administration

May 1991

Cover of An Integrated Approach to Business Administration

An Integrated Approach to Business Administration

May 10, 1991

Cover of Capitalism Since 1945

Capitalism Since 1945

Jun 1990

Cover of Finance

Jun 25, 1990

Cover of Lecturer's Manual for Finance: First Levels of Competence

Lecturer's Manual for Finance: First Levels of Competence

Mar 1990

Cover of Office Procedures

Office Procedures

Previous Next page

1
2
3
4
5
6
7
8
9
10