Povej prijatelju o tem izdelku:
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology Asad Q Ahmed 1st ed. 2022 edition
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology
Asad Q Ahmed
79 pages, 7 Illustrations, color; 11 Illustrations, black and white; XI, 79 p. 18 illus., 7 illus. i
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 15. avgusta 2021 |
| ISBN13 | 9783030784089 |
| Založniki | Springer Nature Switzerland AG |
| Strani | 79 |
| Dimenzije | 150 × 220 × 10 mm · 157 g |
| Jezik | Nemščina |
Božična darila lahko vrnete do 31. januarja