Stämpfli - L’innovation technologique au service de la littérature juridique - Testez gratuitement !

Logo
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Télécharger la couverture

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

E-book (PDF)77.00 CHF
disponible de suite
août 2021, Energy (R0), Anglais
SPRINGER
9783030784096

Autres titres sur ce thème

Bioeconomy
Advancing the Transition to a Sustainable, Biobased Economy
Springer International Publishing, 2026
978-3-032-09097-3
72.00 CHF
disponible de suite
The GCC at the Climate Crossroads
Commitment, Challenges and Opportunities
Springer International Publishing, 2026
978-3-032-29224-7
env. 188.00 CHF
paraît en octobre
Capital Flight from Cameroon, Ghana, and Zambia
Natural Resources and Perverse Global Connections
Springer International Publishing, 2026
978-3-032-22769-0
env. 216.00 CHF
livrable dans env. 20-45 jours
21st Century African Development Strategies
Facing the Challenges With Innovative Approaches
Springer International Publishing, 2026
978-3-031-93078-2
env. 189.00 CHF
livrable dans env. 20-45 jours
Der Wohlstand der Nationen im 21. Jahrhundert
Zwischen Globalisierung und Nationalkapitalismus
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-52071-7
env. 34.50 CHF
paraît en août
The Amazonian Odyssey
An Economic, Environmental, and Social History
Springer International Publishing, 2026
978-3-032-10268-3
env. 146.00 CHF
paraît en décembre
Environmental Follies and the Economic Misunderstandings that Underlie Them, ...
Springer International Publishing, 2027
978-3-032-00806-0
env. 168.00 CHF
paraît en février