Polynomial Formal Verification of Approximate Functions
Beschreibung
During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established. However, the verification process using formal ...mehr
Verlag
Springer Fachmedien Wiesbaden GmbH
Erscheinungsdatum
22.07.2023
ISBN/EAN
978-3-658-41888-5
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
96,29 €
Das ist ein E-Book
Autor
M.A. Pai
Titel
Energy Function Analysis for Power System Stability
Beschreibung
This research monograph is in some sense a sequel to the author's earlier one (Power System Stability, North Holland, New York 1981) which devoted cons- erable attention to Lyapunov stability theory, ...mehr
Verlag
Springer US
Erscheinungsdatum
06.12.2012
ISBN/EAN
978-1-4613-1635-0
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
287,83 €
Das ist ein E-Book
Autor
Herausgegeben von Jingzheng Ren
Titel
Energy Systems Evaluation (Volume 2)
Untertitel
Multi-Criteria Decision Analysis
Beschreibung
This book presents various multi-criteria analysis methods for sustainability-oriented analysis and decision-making for energy systems, under various different conditions and scenarios. It presents me ...mehr
Verlag
Springer International Publishing
Erscheinungsdatum
24.05.2021
ISBN/EAN
978-3-030-67376-5
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
149,79 €
Autor
Marco Krondorf
Titel
Beiträge zu Systemkonzepten und zu Algorithmen der Echtzeit-Signalverarbeitung
Beschreibung
Die Satellitenkommunikation feiert ein Comeback. Sogenannte Mega-Konstellationen wie Starlink
oder Amazon Kuiper setzen neue Maßstäbe in der verfügbaren Datenrate und der Netzabdeckung von
Satellit ...mehr
Force and motion control systems of varying degrees of sophistication have shaped the lives of all individuals living in industrialized countries all over the world, and together with communication te ...mehr
»Wolf Haas ist ein Virtuose literarischer optischer Täuschungen Ein Puzzle für sich, das süchtig macht. Noch nach der zweiten oder dritten Lektüre bleibt die Spannung.« Paul Jandl, Neue Zürcher Zeitung
“In ihrem neuen Roman (…) dringt Nobelpreisträgerin Han Kang in die Traumata südkoreanischer Geschichte ein. Und sie zeigt, wie die Toten die Lebenden retten.” Süddeutsche Zeitung
„Momentan gibt es wohl keinen Reiseschriftsteller, der so genau und anschaulich vermitteln kann, was er auf seinen Reisen gesehen und gelernt hat.“ WDR 3, Insa Wilke
Roman. Aus dem Französischen von Vincent von Wroblewsky
Beschreibung
In seinem Roman „Der Zug nach Erlingen“ thematisiert Boualem Sansal die Angst vor dem Terrorismus der seine Heimat Algerien zerstört habe: Immer mehr Regimekritiker verlassen das Land.