Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Bog, Paperback / softback, Engelsk) af Asad Q. Ahmed
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Miljøøkonomi
  5. Elektroteknik
  6. Formal Analysis of Future Energy Systems Using Interactive...

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

(Bog, Paperback / softback, Engelsk)
Forfattere: Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Forlag: Springer Nature Switzerland AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Elektroteknik Miljøøkonomi
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Forfattere Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2022
Udgivelsesdato 15-08-2021
Første udgivelsesår 2021
Serie SpringerBriefs in Applied Sciences and Technology
Illustrationer 7 Illustrations, color; 11 Illustrations, black and white
Originalsprog Switzerland
Sideantal 79
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 79 pages, 7 Illustrations, color; 11 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030784089