MPG.eBooks - Search Results

1

The Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis

by Plaisted, David A., Zhu, Yunshan
Published 1997

Vieweg+Teubner Verlag

Table of Contents: “...1 The Propositional Complexity of First-Order Theorem Proving Strategies -- 1.1 Introduction -- 1.2...”

Read Now

2

To Richard Crosbie, Esq. on his attempting a second aerial excursion, * in which he proved unsuccessful

Published 1785

Read Now

3

More Joel on software : further thoughts on diverse and occasionally related matters that will prove of interest to software developers, designers, and managers, and to those who,...

by Spolsky, Joel
Published 2008

Apress

Read Now

4

A state of the English weights and measures of capacity, as well antient as modern; with some considerations thereon : Being an attempt to prove, that the present avoirdepois weigh...

by Reynardson, Samuel
Published 1750

Read Now

5

Observations on the art of making gold and silver : or, the probable means of replenishing the nearly exhausted mines of Mexico, Peru, and Potosi; in a letter to a friend. By Richa...

by Pew, Richard
Published 1796

printed at Salisbury, by Collins, and sold by Wilkie, St. Paul's Church-Yard, London

Read Now

6

The motion of fluids, natural and artificial; in particular that of the air and water, in a familiar manner, proposed and proved, by evident and conclusive experiments with many useful remarks...

by Clare, Martin
Published 1735

Read Now

7

Reasons humbly offered against laying the new projected duty on English wrought silks, plainly proving, that it will be injurious to trade, vexatious to Her Majesty's subjects, and impracticable...

Published 1712

s.n

Read Now

8

Several articles of essential importance and benefit, to the maritime part of mankind, which have been generally and successfully adopted and proved: ... by the author of Tutamen nauticum...

by Wilkinson, John
Published 1790

Read Now

9

Miscellaneous observations on the effects of oxygen on the animal and vegetable systems : Illustrated BY Experiments, And Interspersed With Chemical, Physiological, Pathological, A...

by Archer, Clement
Published 1798

printed by R. Cruttwell; and sold by C. Dilly, Poultry, London; Gilbert, Dublin ; And All Other Booksellers

Read Now

10

The description and use of that most excellent invention, call'd the globular chart: Shewing its Agreeableness to the Globe, And the Natural and Easy Consequences thereof in the Practice of Navigation; with a specimen of a sea-chart in that projection; and trigonometrical calculations, to prove the Truth thereof...

by Wilson, Henry
Published 1722

printed for J. Senex and Tho. Taylor in Fleet-Street, W. Taylor in Pater-Noster-Row, W. and J. Innys at the West-End of St. Paul's Church-Yard, A. Johnston in Round-Court in the Strand, and E. Symon in Cornhill

Read Now

11

The theory of navigation demonstrated : and its rudiments clearly and plainly proved, from the first and most simple principles of the mathematicks. With all the Rules and Tables U...

by Hodgson, James
Published 1706

printed by I. Dawks, for Rich. Mount and Company, in Pastern-Row, on Tower-Hill

Read Now

12

The motion of fluids : natural and artificial; in particular that of the air and water, in a familiar manner, proposed and proved, by evident and conclusive experiments with many u...

by Clare, Martin
Published 1735

printed for Edward Symon, at the Corner of Pope's-Head Alley in Cornhill

Read Now

13

The motion of fluids : natural and artificial; in particular that of the air and water: in a familiar manner proposed and proved by evident and conclusive experiments, to which are...

by Clare, Martin
Published 1737

printed for Edward Symon, over-against the Royal-Exchange, in Cornhill

Read Now

14

The motion of fluids : natural and artificial; in particular that of air and water: in a familiar manner proposed and proved by evident and conclusive Experiments, to which are add...

by Clare, Martin
Published 1747

printed for A. Ward, J. and P. Knapton, S. Birt, C. Hitch, J. Hodges, S. Austen, J. Osborn, J. Robinson, J. Davidson, J. Beecroft, B. Dodd, and J. and J. Rivington

Read Now

15

Autonomous Vehicles Technological Trends

by Iclodean, Calin
Published 2023

MDPI - Multidisciplinary Digital Publishing Institute

Subjects: “...proving ground...”

Read Now

16

City Latin, or, critical and political remarks on the Latin inscription on laying the first stone of the intended new bridge at Black-Fryars. Proving almost every Word, and every Letter, of it to be erroneous...

by Thornton, Bonnell
Published 1761

printed for R. Stevens, at Pope's-Head in Paternoster-Row

Read Now

17

City Latin, or, critical and political remarks on the Latin inscription on laying the first stone of the intended new bridge at Black-Fryars. Proving almost every Word, and every Letter, of it to be erroneous...

by Thornton, Bonnell
Published 1761

printed for R. Stevens, at Pope's-Head in Paternoster-Row

Read Now

18

The accomplish'd ship-wright and mariner : Containing, the principels of geometry, measuring of board and timber: with the moulds and way of shaping the body of any ship; and how t...

by Hardingham, John
Published 1706

printed for, and sold by John Thornton, at the Pint, and Henry White, at the Three Bibles in the Minories

Read Now

19

A plan and descripti[on] of Mr. John Stewart'[s] fire engine mill : being a machine to apply the power of fire engines to all kinds of mills that require much force, but is most pr...

by Stewart, John
Published 1776

printed by W. Gilbert, at No. 13, Cree-Church-Lane

Read Now

20

Optimisation of ZnO Thin Films : Implants, Properties, and Device Fabrication

by Nagar, Saurabh, Chakrabarti, Subhananda
Published 2017

Springer Nature Singapore

“..., reliable and stable p-type ZnO thin films. The results will prove useful in the field of optoelectronics...”

Narrow Search