Model-checking – Bücher, CDs, LPs und mehr, Seite 10

Wir konnten keine exakten Treffer zu Ihrer Suche nach "model-checking" finden. Könnten diese Produkte zu Ihrer Suche passen?

Model Validation and Uncertainty Quantification, Volume 3

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics, 2023, the third volume of ten from the Conference brings togeth…

lieferbar innerhalb 2-3 Wochen

Buch

Tan Rui
Land, Housing and the Model of China Economic Development

IPP Studies in the Frontiers of China's Public Policy

This book explores the roles of land and housing in the China economic development. The real estate sector in China has two opposite effects on the urban economy. On one hand, it provides funds for urban …

lieferbar ab 6.1.2026.

Buch

Hans-Ulrich Von Mende
Car Design. Vorbild und Nachbild / Model and Replica

Das Automobil, das sich Selbstbewegende, gab es weit vor dem Patentmotorwagen von Carl Benz von 1886. Im Jahr 1769 setzte der Franzose Nicolas-Joseph Cugnot seinen Dampfwagen bei der Jungfernfahrt gegen e…

Erscheint bald

Buch

John Sorabji
A Model Civil Procedure Code for England and Wales

In this work, John Sorabji proposes a new model civil procedure code for England and Wales. Through careful examination of existing and model rules and commentary, he outlines a simplified seventeen-part …

lieferbar innerhalb 1-2 Wochen

Buch

Bryan Ferry

Let's Stick Together (2021 remastered) (180g)

1976, in der Zeit nach der Trennung von Roxy Music als Album veröffentlicht, umfasste »Let’s Stick Together« Material, das zuvor als Singles, B-Seiten und LP-Tracks veröffentlicht wurde und eine Mischung …

Artikel am Lager

Francis Poulenc (1899-1963)

Les Animaux modeles (Ballettmusik)

Stefano Bollani, Filarmonica '900 del Teatro Regio Di Torino

Artikel am Lager

Ugur Küpper
Data-driven Model for Process Evaluation in Wire EDM

Wire EDM is widely used for producing high-value components, requiring high process reliability and repeatability. This work focuses on developing data-driven models to evaluate wire EDM processes using r…

lieferbar innerhalb 2-3 Wochen

Buch

Thomas Lundmark
Judicial Legislating in Germany: A Model for Europe?

Universals in Legal Reasoning by Judges explores and expounds the usage of rules to justify judicial decisions. It argues for judicial transparency and candour to enhance the persuasiveness and efficacy o…

lieferbar innerhalb 1-2 Wochen

Buch

Next-Generation Business Models: The Role of Advanced Technologies in Defining the Future

This book provides valuable insights into how advanced technologies are reshaping the modern business landscape. As we navigate an era defined by rapid innovation and constant disruption, businesses must …

lieferbar innerhalb 2-3 Wochen

Buch

Tony Ward, Gwenda M. Willis, David S. Prescott, Stijn Vandevelde
The Good Lives Model of Correctional Rehabilitation

The book examines the Good Lives Model (GLM) of correctional rehabilitation and its dual aims of risk reduction and well-being enhancement for individuals who have committed crimes. It describes the use o…

lieferbar innerhalb 2-3 Wochen

Buch

Bjarne S. Jensen
The Elements and Dynamic Systems of Economic Growth and Trade Models

This updated and expanded book examines the fundamentals of economic growth models as expressed by dynamic systems of nonlinear differential equations. With homogeneous dynamic systems as the unifying mat…

lieferbar innerhalb 2-3 Wochen

2 Bücher

Abrsm
Music Theory Practice Papers Model Answers 2024, ABRSM Grade 1

Model answers for practice papers for ABRSM's Grade 1 Theory exams

lieferbar in mind. 4 Wochen

Buch

Abrsm
Music Theory Practice Papers Model Answers 2024, ABRSM Grade 7

Model answers for four practice papers from ABRSM's 2024 Music Theory exams for Grade 7

lieferbar in mind. 4 Wochen

Buch

Anton
Understanding Pneumoviruses: The Potential of PVM as a Research Model

This title offers a few advantages over the original: ¿ Decoding Pneumovirus Infection: Creates intrigue and emphasizes the ongoing effort to understand this virus. ¿ The Power of PVM as a Research Tool: …

lieferbar innerhalb 2-3 Wochen

Buch

Hengshuo Huang, Siddharth G Chatterjee
Applications of the Surface Renewal Model of Mass Transfer

Introduction to the surface renewal model of mass transfer for the analysis and design of gas-liquid contacting equipment and membrane filtersApplications of the Surface Renewal Model of Mass Transfer pro…

lieferbar ab 31.12.2025.

Buch

Abrsm
Music Theory Practice Papers Model Answers 2024, ABRSM Grade 3

Model answers for practice papers for ABRSM's Grade 3 Theory exams

lieferbar in mind. 4 Wochen

Buch

Abrsm
Music Theory Practice Papers Model Answers 2024, ABRSM Grade 4

Model answers for practice papers for ABRSM's Grade 4 Theory exams

lieferbar in mind. 4 Wochen

Buch

Abrsm
Music Theory Practice Papers Model Answers 2024, ABRSM Grade 2

Model answers for practice papers for ABRSM's Grade 2 Theory exams

lieferbar in mind. 4 Wochen

Buch

Edward Miller
Relating Ontological Truth in the Upanishads to Sleep, Dreaming and Schizophrenia Spectrum Models

This book explores the potential relevance of the Upanishads, a corpus of ancient Eastern apophatic texts, to contemporary Western theories of consciousness and psychopathology, particularly in relation t…

lieferbar innerhalb 2-3 Wochen

Buch

Model Optimization Methods for Efficient and Edge AI

Comprehensive overview of the fledgling domain of federated learning (FL), explaining emerging FL methods, architectural approaches, enabling frameworks, and applicationsModel Optimization Methods for Eff…

lieferbar innerhalb 1-2 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.