Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Weitere Titel zum Thema
Urban Nexus Approach for Sustainable Cities
Principles, Methods and Applications
SPRINGER, 2026
9789819561568
236.00 CHF
sofort lieferbar
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 November
Water 4.0
Concepts and Application
Taylor and Francis, 2026
978-1-041-03156-7
ca. 169.00 CHF
erscheint im Oktober
Climate Finance for Climate Action
Prerequisites, Climate Mitigation and Adaptation Frameworks and Models
Springer International Publishing, 2026
978-3-032-21326-6
ca. 97.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Powering the Digital Transformation
Why the Energy Is Well Spent
Springer International Publishing, 2026
978-3-032-37306-9
ca. 69.00 CHF
erscheint im November
Behavioral Cybersecurity and Ethical AI in Relational Economics Context
Policy Lessons for Africa
Springer International Publishing, 2026
978-3-032-01213-5
ca. 239.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Financial Frontiers in Energy Markets
Policy Frameworks, Risk Management, and Investment Strategies in a Global Context
SPRINGER, 2026
9783032167385
201.00 CHF
sofort lieferbar
Redefining the Diversity and Dynamism of Natural Resources Management in the ...
978-981-9230-40-2
ca. 238.00 CHF
erscheint im März
Proceedings of the 1st Conference on Transportation and Energy Integration ...
Volume III
SPRINGER, 2026
9789819567621
354.00 CHF
sofort lieferbar
Intelligent Power Grids of Tomorrow
Modeling, Planning, Control and Operation
Springer EN, 2026
978-981-1315-03-9
ca. 135.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Critical Minerals Supply Chains Security and Resiliency in the ASEAN, Vol. 1
Lessons from Economics and Finance
Springer EN, 2026
978-981-9693-57-3
ca. 207.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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