.png){kind=logo}
Science & Technology
Results 104641 - 104644 of 104644
Science & Technology
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
€ 148.63
€ 148.63
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
€ 105.82
€ 105.82
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
€ 43.35
€ 43.35
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.54
€ 11.54