Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Weitere Titel zum Thema
The Amazonian Odyssey
An Economic, Environmental, and Social History
Springer International Publishing, 2026
978-3-032-10268-3
ca. 146.00 CHF
erscheint im Dezember
Carbon Markets in Asia
National Approaches, Industry Perspectives and Policy Insights
Springer EN, 2026
978-981-9220-99-1
ca. 206.00 CHF
erscheint im Oktober
Toward a Cooperative Nuclear Safety Framework in East Asia
Lessons from Europe's Experience
Springer EN, 2026
978-981-9213-26-9
ca. 215.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The GCC at the Climate Crossroads
Commitment, Challenges and Opportunities
Springer International Publishing, 2026
978-3-032-29224-7
ca. 188.00 CHF
erscheint im Oktober
Smart Grid und Strommarktdesign
Unterstützt durch Technik, IKT und KI
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-50598-1
37.90 CHF
sofort lieferbar
Bioeconomy
Advancing the Transition to a Sustainable, Biobased Economy
Springer International Publishing, 2026
978-3-032-09097-3
72.00 CHF
sofort lieferbar
Healthcare 5.0 with Fuzzy Logic
Artificial Intelligence, Cyber-Physical Systems, and Medical Internet of Things
978-3-11-914504-6
196.00 CHF
sofort lieferbar
Project Financing Electricity Projects with Senior Debt
A Practical Guide
Springer International Publishing, 2026
978-3-032-16209-0
ca. 123.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Infrastrukturmanagement der Zukunft
Konzepte für Mobilität, Logistik und Energie
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-50614-8
ca. 58.50 CHF
lieferbar in ca. 20-45 Arbeitstagen
Carbon Neutrality, Climate Resilience and Sustainable Development in Asia
Springer EN, 2026
978-981-9556-12-0
ca. 207.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Decarbonize and Monetize
The Business of Green Innovation in the Era of Tech Disruption
Springer EN, 2026
978-981-9227-31-0
ca. 215.00 CHF
erscheint im September
Der Wohlstand der Nationen im 21. Jahrhundert
Zwischen Globalisierung und Nationalkapitalismus
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-52071-7
ca. 34.50 CHF
erscheint im August