Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Autres titres sur ce thème
Blue Finance
From Waves to Cash Flows-Investing in the Blue Economy
Springer International Publishing, 2026
978-3-032-32566-2
env. 188.00 CHF
paraît en novembre
Perspektiven einer Kohlenstoffkreislaufwirtschaft im Energiebereich
Energiewende Neu Gedacht
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-50550-9
46.90 CHF
disponible de suite
Rock, Hole & Choke
The Odyssey of China's Oil and Gas Industry
Springer EN, 2026
978-981-9577-37-8
env. 158.00 CHF
paraît en septembre
Decarbonize and Monetize
The Business of Green Innovation in the Era of Tech Disruption
SPRINGER, 2026
9789819227327
212.50 CHF
disponible de suite
Maintenance, Replacement, and Reliability
Theory and Applications
Taylor and Francis, 2026
978-1-032-10245-0
env. 96.00 CHF
livrable dans env. 10-20 jours
Econometrics, Finance, and Time Series Analysis
SPRINGER, 2026
9789819580453
59.00 CHF
disponible de suite
Healthcare 5.0 with Fuzzy Logic
Artificial Intelligence, Cyber-Physical Systems, and Medical Internet of Things
978-3-11-914504-6
196.00 CHF
disponible de suite
Aspects of Quality Management in Value Creating in the Industry 5.0 Way
Taylor and Francis, 2026
978-1-032-67708-8
env. 90.00 CHF
livrable dans env. 10-20 jours
Water 4.0
Concepts and Application
Taylor and Francis, 2026
978-1-041-03156-7
env. 169.00 CHF
paraît en octobre
Capital Flight from Cameroon, Ghana, and Zambia
Natural Resources and Perverse Global Connections
PALGRAVE MACMILLAN, 2026
9783032227706
212.50 CHF
disponible de suite
Financial Frontiers in Energy Markets
Policy Frameworks, Risk Management, and Investment Strategies in a Global Context
SPRINGER, 2026
9783032167385
201.00 CHF
disponible de suite
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