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

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

Ansicht:

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
Aktueller Preis: EUR 25,00

Isabella Catalina
Katie A - Top Model of MetArt.com

Zwanzig Jahre alt, verdammt gut aussehend und so natürlich und verführerisch schüchtern!So süß,vorwitzig und mit einem wunderbar hübschen Gesicht: Katie A ist ein besonders bezauberndes Mitglied unseres M…

sofort lieferbar
Buch
Aktueller Preis: EUR 25,00

Model Theory, Computer Science, and Graph Polynomials

Part I: Personal Notes.- My writing.- Some personal remarks about Johann A. Makowsky.- The Swiss Connection.- From a Friend and Publisher.- From graph polynomials to the software industry Lessons from Jan…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 197,13

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 2-3 Wochen
Buch
Aktueller Preis: EUR 41,04

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

Bridging Quantum level paradigm and Business Management.- Quantum Decision-Making Process.- Organizational Design and Quantum Thinking.- Quantum leadership in the era of complexity.- Tools and Techniques …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 164,28

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
Aktueller Preis: EUR 81,80

Hengshuo Huang
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 innerhalb 1-2 Wochen
Buch
Aktueller Preis: EUR 197,65

Tan Rui
Land, Housing and the Model of Chinese 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 innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 102,40

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
Aktueller Preis: EUR 54,00

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

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
Aktueller Preis: EUR 240,94

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
Aktueller Preis: EUR 160,00

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
LP
 
Vorheriger Preis EUR 26,99, reduziert um 7%
Aktueller Preis: EUR 24,99

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
Aktueller Preis: EUR 28,00

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
Aktueller Preis: EUR 214,96

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
Aktueller Preis: EUR 63,51

The One Health Model as Applied to Zoonotic Diseases

Comprehensive, easy-to-understand, and clinically relevant guide to zoonotic healthcare concerns in North AmericaThe One Health Model as Applied to Zoonotic Diseases is an easy-to-understand yet comprehen…

lieferbar in mind. 4 Wochen
Buch
Aktueller Preis: EUR 116,19

Allan Pinkerton
The Model Town and The Detectives: Byron as a Detective

Reprint of the original, first published in 1876. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 49,90

Shamil Usmanovich Galiev
Extreme Multivalued Waves as a Model of Everything

The purpose of the book is a mathematical and experimental study of extreme, multivalued waves based on scalar field equations. It is known that Einstein tried to build a unified (interdisciplinary) field…

lieferbar innerhalb 2-3 Wochen
Buch
Vorheriger Preis EUR 186,19, reduziert um 5%
Aktueller Preis: EUR 175,23

Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods

W. Fajardo, O. Lezama, C. Payares, A. Reyes and C. Rodríguez, Introduction to Algebraic Analysis on Ore Extensions.- S. Breaz and G. C. Modoi, Derived equivalences induced by good silting complexes.- M. C…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 219,03
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.