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?

Exact and Approximate Solutions for Mathematical Models in Science and Engineering

This contributed volume collects papers presented during a special session on integral methods in science and engineering at the 2023 International Conference on Computational and Mathematical Methods in …

lieferbar innerhalb 2-3 Wochen

Buch

Gioacchino Piazza
Probing New Physics Beyond the Standard Model

This book presents a comprehensive exploration of unresolved mysteries in particle physics, delving into cutting-edge research aimed at unraveling the enigmatic facets of the Standard Model (SM). It tackl…

lieferbar innerhalb 2-3 Wochen

Buch

Percy Menth
Digital Transformation Through Business Model Innovation

Assumed a variance between the established paths and opportunities occurring from the new, digital technologies, the aim of this book is to better understand why firms can struggle on digital transformati…

lieferbar innerhalb 2-3 Wochen

Buch

Onno Boxma, Michel Mandjes
The Cramér-Lundberg Model and Its Variants

This book offers a comprehensive examination of the Cramér¿Lundberg model, which is the most extensively researched model in ruin theory. It covers the fundamental dynamics of an insurance company's surpl…

lieferbar innerhalb 2-3 Wochen

Buch

Elvis Costello

This Year's Model

Das zweite Studioalbum von Elvis Costello aus dem Jahr 1978 wurde mit der Rockband „the Attractions" als Begleitung eingespielt. Im Vergleich zum Vorgängerwerk „My Aim is True" sind die Texte noch bissige…

Subject-Oriented Business Process Management. Models for Designing Digital Transformations

This book constitutes the refereed post proceedings of the 15th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2024, held in Weiden, Germany, during May 21-22, 2024.Th…

lieferbar innerhalb 2-3 Wochen

Buch

Osamudiamen Otasowie, Ayodeji Emmanuel Oke, Clinton Ohis Aigbavboa
Circular Economy Business Model for Construction Organisations

This book takes readers through the process of integrating the circular economy into the business model of construction organizations. It offers not only theory but also a workable implementation plan. Th…

lieferbar innerhalb 2-3 Wochen

Buch

Isabella Catalina
Michelle H - Top Model of MetArt.com

MICHELLE H - ROTE HAARE, GROSSE SCHÖNE AUGEN UND EIN UNÜBERTROFFENES VERGNÜGEN!Die atemberaubende rothaarige Michelle H ist eines unserer beliebtesten Metart-Models. Zum Zeitpunkt der Erstellung dieses Ar…

sofort lieferbar

Buch

Isabella Catalina
Dakota Pink - Top Model of MetArt.com

DAKOTA PINK - Du wirst dich in dieses hübsche und sehr schüchterne Mädchen verlieben, das ihre umwerfenden Körperformen zur Schau stellt!Die atemberaubende Dakota Pink wurde als 73. Metart Model Ende Mai …

sofort lieferbar

Buch

Francis Poulenc (1899-1963)

Les Animaux modeles (Ballettmusik)

Stefano Bollani, Filarmonica '900 del Teatro Regio Di Torino

Artikel am Lager

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

Advanced Aircraft Understanding via the Virtual Aircraft Model

This book reports on the results of a four-year collaborative project between the German Aerospace Center (DLR), three German universities and the aircraft industry. The project was funded by the Ministry…

lieferbar innerhalb 2-3 Wochen

Buch

Wolfgang Bietenholz, Uwe-Jens Wiese
Uncovering Quantum Field Theory and the Standard Model

This textbook provides an accessible introduction to quantum field theory and the Standard Model of particle physics. It adopts a distinctive pedagogical approach with clear, intuitive explanations to com…

lieferbar innerhalb 2-3 Wochen

Buch

Pantea Foroudi, Maria Teresa Cuomo
Quantum Level Business Model: A New Managerial Perspective

Embracing complexity as an opportunity, this groundbreaking book introduces Quantum Level Management---an agile, probabilistic, and interconnected approach to business. By applying principles from Quantum…

lieferbar innerhalb 2-3 Wochen

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

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

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

Rachel Costello, Eli M Kohlenberg, Brent Thomas
Theater Air Base Resiliency Optimization Model (TAB-ROM)

This guide helps analysts use the RAND-developed Theater Air Base Resiliency Optimization Model (TAB-ROM) tool, version 2.0, which identifies the most cost-effective mitigation options to consider in the …

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

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

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.