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?

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

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

Francis Poulenc (1899-1963)

Les Animaux modeles (Ballettmusik)

Stefano Bollani, Filarmonica '900 del Teatro Regio Di Torino

Artikel am Lager

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

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

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

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

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 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

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

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

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

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

lieferbar in mind. 4 Wochen

Buch

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

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

lieferbar in mind. 4 Wochen

Buch

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

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

lieferbar in mind. 4 Wochen

Buch

The Historical City. A Critical Reference and Role Model

This book offers a multivocal and interdisciplinary arena that brings together a wide range of thoughts and approaches addressing the intricacies of dealing with the historical city today. Spanning across…

lieferbar innerhalb 2-3 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

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 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.