Related Books
Language: en
Pages: 698
Pages: 698
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in
Language: en
Pages: 359
Pages: 359
Type: BOOK - Published: 2015-01-09 - Publisher: Butterworth-Heinemann
This book is about the engineering management of hazardous industries, such as oil and gas production, hydrocarbon refining, nuclear power and the manufacture o
Language: en
Pages: 369
Pages: 369
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4.
Language: en
Pages: 333
Pages: 333
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
The second half of the twentieth century has witnessed remarkable advances in technology. The unquestioned leader in this race has been computer technology. Eve
Language: en
Pages: 260
Pages: 260
Type: BOOK - Published: 2002 - Publisher: Assocation of Computing Machinery