Ahmed, Asad: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
SpringerLink DE
Gesponsert Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
69.54 EUR
Preis aktualisiert am: 27-05-2026 02:26:11
69.54 EUR
Preis aktualisiert am: 27-05-2026 02:26:11 
Galaxus.de
Gesponsert Formal Analysis of Future Energy Systems Using Interactive Theorem Proving, Fachbücher von Osman Hasan, Asad Ahmed, Nabil Bastaki, Falah Awwad
69.54 EUR
Preis aktualisiert am: 26-05-2026 10:18:58
69.54 EUR
Preis aktualisiert am: 26-05-2026 10:18:58 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Springer International Publishing
Springer International Publishing ist ein Verlag, der sich auf wissenschaftliche Literatur spezialisiert hat. Er wurde 1946 gegründet und hat seinen Hauptsitz in Heidelberg.
Springer International Publishing ist ein Verlag, der sich auf wissenschaftliche Literatur spezialisiert hat. Er wurde 1946 gegründet und hat seinen Hauptsitz in Heidelberg.
