Science & Technology
Results 98305 - 98310 of 98310
Science & Technology
Hardback. .
- Publisher
- Springer-Verlag New York Inc.
- Format
- Hardback
- Publication date
- 2002
- Edition
- 2002nd Edition
- Condition
- New
- SKU
- V9781402071133
- ISBN
- 9781402071133
Hardback
Condition: New
€ 213.11€ 73.66
€ 213.11
€ 73.66
Hardcover. Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 497 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 163 x 36. Weight in Grams: 912.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 497
- Format
- Hardback
- Publication date
- 2004
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9783540208549
- ISBN
- 9783540208549
Hardback
Condition: New
€ 138.58
€ 138.58
Paperback. Ecology of Aquatic Management explores current exploitation practices, the ecological basis and consequences of that exploitation, and means of sustainable management of marine and freshwater systems. Num Pages: 352 pages, 200 line illustrations and photographs. BIC Classification: PSAF; PSP; RNF; RNU. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 190 x 14. Weight in Grams: 668.
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 352
- Format
- Paperback
- Publication date
- 2013
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780199693290
- ISBN
- 9780199693290
Paperback
Condition: New
€ 75.98
€ 75.98
Hardcover. Introduction to Public Key Infrastructures Num Pages: 194 pages, 146 black & white illustrations, biography. BIC Classification: TNKS; UF; UMB; UR. Category: (P) Professional & Vocational. Dimension: 241 x 167 x 18. Weight in Grams: 464.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783642406560
- ISBN
- 9783642406560
Hardback
Condition: New
€ 98.69
€ 98.69
Paperback. This handbook refutes the claims of the nuclear power industry that nuclear power can prevent the build-up of greenhouse gases and reduce US dependence on foreign oil, and shows how plutonium waste from power stations is a cause of nuclear weapons proliferation Num Pages: 266 pages, illustrations. BIC Classification: KNBN; PDZ; THK. Category: (G) General (US: Trade). Dimension: 228 x 152 x 0. Weight in Grams: 476.
- Publisher
- Apex Press United States
- Number of pages
- 266
- Format
- Paperback
- Publication date
- 1999
- Condition
- New
- SKU
- V9780945257929
- ISBN
- 9780945257929
Paperback
Condition: New
€ 40.73
€ 40.73
Paperback. This Revision Workbook is specifically written for the externally assessed Unit 1: Principles of Science in Award 1 of the Level 2 BTEC Firsts in Applied Science. Series: BTEC First Applied Science 2012. Num Pages: 80 pages. BIC Classification: 4KVTF; PD. Category: (E) Primary & Secondary Education. Dimension: 211 x 297 x 5. Weight in Grams: 232.
- Publisher
- Pearson Education Limited
- Number of pages
- 80
- Format
- Paperback
- Publication date
- 2013
- Condition
- New
- SKU
- V9781446902783
- ISBN
- 9781446902783
Paperback
Condition: New
€ 11.41
€ 11.41