Kategorien
Österreich
Deutsch
Mein Mercateo
Anmelden / Registrieren		Warenkorb
 		 
 >  >  >  >  > Artikel

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving


Menge:  Stück  
Produktinformationen
cover
cover
Artikel-Nr.:
     5667A-9783030784089
Hersteller:
     Springer Verlag
Herst.-Nr.:
     9783030784089
EAN/GTIN:
     9783030784089
Suchbegriffe:
Elektronik, Elektro- und Nachrichte...
Elektronik, Elektro- und Nachrichte...
allgemeine Technikbücher
allgemeine Technikbücher - englisch...
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Weitere Informationen:
Author:
Asad Ahmed; Osman Hasan; Falah Awwad; Nabil Bastaki
Verlag:
Springer International Publishing
Sprache:
eng
Weitere Suchbegriffe: allgemeine technikbücher - englischsprachig, Formal Methods, Interactive Theorem Proving, Renewable Energy Sources, Algorithm Analysis, Microeconomics Modeling, Smart Grids, Stability Analysis, Power Converters, Plug-in Electric Vehicels, Behavioral Modeling
Die Konditionen im Überblick1
Lieferzeit
Lagerstand
Preis
€ 64,99*
Konditionen selbst auswählen
Artikel empfehlenArtikel merken
* Preise mit Sternchen sind Nettopreise zzgl. gesetzlich gültiger MwSt.
UVP bedeutet „Unverbindliche Preisempfehlung“
Unser Angebot richtet sich ausschließlich an Unternehmen, Gewerbetreibende und Freiberufler.