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?

Francis Poulenc (1899-1963)

Les Animaux modeles (Ballettmusik)

Stefano Bollani, Filarmonica '900 del Teatro Regio Di Torino

Artikel am Lager

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

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

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

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

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

Model Order Reduction, Volume 2, Snapshot-Based Methods and Algorithms

An increasing complexity of models used to predict real-world systems leads to the need for algorithms to replace complex models with far simpler ones, while preserving the accuracy of the predictions. Th…

sofort lieferbar

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.