Trefferliste "Model-checking" - alle Bücher, CDs, LPs und mehr

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

Vittorio Tessera
Lambretta 125 A-B. Storia, modelli e documenti-History, models and documents

Scooter, Giorgio Nada Editore

The progenitors, the earliest Lambrettas -- the 125 A and B - the scooters that established one of the symbols in the history of personal transportation in 1947.The first model was conceived in Rome as ea…

lieferbar in mind. 4 Wochen

Buch

Luca G Castellani,
Uncitral Model Laws on Digital Trade

Provides an analysis of the Model Law on Electronic Transferable Records and the Model Law on the Use and Cross-border Recognition of Identity Management and Trust Services.

lieferbar ab 18.9.2025.

Buch

Balveer
The Standard Model: A Stepping Stone to New Discoveries

The Standard Model: A Stepping Stone to New Discoveries" takes a more positive approach to the Standard Model of particle physics. It acknowledges the Standard Model's success as a foundation for und…

lieferbar innerhalb 2-3 Wochen

Buch

Computational Modeling of Multilevel Organisational Learning and Its Control Using Self-modeling Network Models

Although there is much literature on organisational learning, mathematical formalisation and computational simulation, there is no literature that uses mathematical modelling and simulation to represent a…

lieferbar innerhalb 2-3 Wochen

Buch

The Spanish Model for Smart Tourism Destination Management

This is an open access handbook that guides destinations on their journey to becoming Smart Tourism Destinations (STDs). Developed by SEGITTUR, a distinguished Spanish State company, and aligned with acad…

lieferbar innerhalb 2-3 Wochen

Buch

Recent Developments in Model-Based and Data-Driven Methods for Advanced Control and Diagnosis

The book consists of recent works on several axes either with a more theoretical nature or with a focus on applications, which will span a variety of up-to-date topics in the field of systems and control.…

lieferbar innerhalb 2-3 Wochen

Buch

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

Model Validation and Uncertainty Quantification, Vol. 3

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

lieferbar innerhalb 2-3 Wochen

Buch

Sunitha Thomas, Anil K. S., Thirupathy Venkatachalapathy
Developing a growth curve model in Malabari goats

A study was conducted to determine the growth curve for live weight in Malabari goats and to select the appropriate model to predict their growth. Data on body weight, body length, chest girth and height …

lieferbar innerhalb 2-3 Wochen

Buch

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

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

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

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

lieferbar innerhalb 1-2 Wochen

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 2

Model answers for practice papers for ABRSM's Grade 2 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 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 8

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

lieferbar in mind. 4 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.