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?

Ansicht:

Jean Philippe Rameau (1683-1764)
Que les mortels servent de modele aux dieux...

Ensemble Ausonia, Frederick Haas

lieferbar innerhalb 1-2 Wochen
CD
 
Aktueller Preis: EUR 19,99

Omar Sanseviero, Pedro Cuenca, Apolinario Passos, Jonathan Whitaker
Hands-On Generative AI with Transformers and Diffusion Models

Learn to use generative AI techniques to create novel text, images, audio, and even music with this practical, hands-on book. Readers will understand how state-of-the-art generative models work, how to fi…

sofort lieferbar
Buch
Aktueller Preis: EUR 70,96

Thomas Kessel, Alexander Brandt, Jonas Offtermatt, Friedrich Augenstein
ChatGPT und Large Language Models? Frag doch einfach!

Hinter die Kulissen der KI schauen! In diesem Band werden unter anderem Antworten auf diese Fragen zu lesen sein: Was sind eigentlich die Grundlagen einer generativen Künstlichen Intelligenz? Und wo liege…

sofort lieferbar
Buch
Aktueller Preis: EUR 19,90

Jose de Jesus Rubio, Jaime Pacheco, Alejandro Zacarias
Dynamic Models of Energy, Robotic, and Biological Systems

Dynamic models are essential for understanding the system dynamics. It is of importance because one mistake in experiments could cause accidents or damages, while one mistake in the simulation of dynamic …

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

Hybrid Models for Coupling Deductive and Inductive Reasoning

This book constitutes the refereed proceedings of the Third International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning, HYDRA 2024, held in Santiago de Compostela, Spain, on Oc…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 65,71

Stefan Soell
Susann - My all Time favourite Model

Susann ist mein Lieblingsmodel' - Stefan SoellSusann, geboren in der ehemaligen DDR, besitzt einen faszinierend natürlichen Umgang mit Ihrer Nacktheit. Es macht keinen Unterschied, ob bekleidet oder unbek…

sofort lieferbar
Buch
Aktueller Preis: EUR 29,95

Beatrice De Graaf
De Graaf, B: Radical Redemption Model

This book presents a grounded theory to explain the motivations behind the actions of religiously-inspired terrorists. Through in-depth interviews with people convicted of terrorism, Beatice de Graaf reve…

lieferbar innerhalb 1-2 Wochen
Buch
Aktueller Preis: EUR 166,08

Federico Lorenzo Ramaioli
Shari'a and the Constitution in Contemporary Legal Models

GLOBAL ISSUES Series Editors: Jim Whitman · Paolo D. Farah This comparative law book aims at formulating a new analytical approach to constitutional comparisons, assuming as a starting point the different…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 159,30

Isabella Catalina
Dominika A - Top Models of MetArt.com

Sinnliche Schönheit Dominika A - TOP MODEL METART.COMDie brunette Dominika A sieht aus wie ein Filmsternchen und besitzt eine gehörige Portion Exhibitionismus. Als eines der populärsten Models bei MetArt …

sofort lieferbar
Buch
Aktueller Preis: EUR 25,00

Lutz Baumbusch, Matthias Jäger, Michael Lensch
ABAP RESTful Application Programming Model

SAP Press

SAP hat die ABAP-Entwicklung revolutioniert! Erfahren Sie, wie Sie mit Core Data Services, Behavior Definitions und UI-Annotationen Anwendungen entwickeln, die für SAP S/4HANA optimiert sind - ob on-premi…

sofort lieferbar
Buch
Aktueller Preis: EUR 89,90

Sanam
Unrealistic Profits, Unreliable Results: Rethinking Stockpiling Behavior in Consumption Tax Models

Consumption taxes, levied on the final purchase of goods and services, are a prevalent means for governments to raise revenue. To assess the potential impact of these taxes, economists rely on consumption…

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

Isabella Catalina
Candice B - Top Models of MetArt.com

GANZ OBEN VON DER SÜSSEN SAHNE: DIE ULTRA-HEISSE CANDICE B. Die sinnliche Candice B. ist eine von MetArts Top Models. Eine so kurvenreiche ukrainische Schönheit weckt blitzartig die Aufmerksamkeit des erf…

sofort lieferbar
Buch
Aktueller Preis: EUR 25,00

Empirical Applications of the Median Voter Model

This book contains eight empirical applications of the median voter model. There exists a large literature in economics explaining public policy outcomes using the median voter model. The papers in this v…

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

Rose Eden
TLE - The Life Erotic.com World's Top Models

Diese Buch wird ein wilder Ritt werden!Blümchen-Sex kann ja durchaus süß sein, aber wenn Sie nach etwas Abenteuerlicherem suchen, ist The Life Erotic der richtige Ort dafür. 2009 gegründet, ist The Life E…

sofort lieferbar
Buch
Aktueller Preis: EUR 39,95

Savneet Kaur, Dinesh M Tripathi
Kaur, S: Comprehensive Guide to Rodent Models of Liver Disea

A Comprehensive Guide to Rodent Models of Liver Diseases provides the why, what, and how of preclinical models of liver disease. These models have not only substantially improved understanding of human li…

lieferbar innerhalb 1-2 Wochen
Buch
Aktueller Preis: EUR 202,70

Model Checking Software

Lecture Notes in Computer Science - Band 15945

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar ab 8.11.2025.
Buch
Aktueller Preis: EUR 49,28

George Engelhard, Stefanie A. Wind
Invariant Measurement with Explanatory Rasch Models in the Human Sciences

This textbook introduces invariant measurement in the human sciences based on the principles of Rasch measurement theory and presents explanatory Rasch models that integrate item and person covariates tha…

lieferbar ab 3.12.2025.
Buch
Aktueller Preis: EUR 117,33

Lars Heim
Zukunftsfähigkeit durch Business Model Stress Testing

In einer zunehmend volatilen, unsicheren und komplexen Welt stehen Unternehmen vor der Herausforderung, ihre Geschäftsmodelle laufend auf externe Stressfaktoren zu prüfen und gezielt weiterzuentwickeln. D…

lieferbar ab 28.10.2025.
Buch
Aktueller Preis: EUR 44,99

Thea Brejzek, Lawrence Wallen,
Brejzek, T: Virtual Models in Theatre, Art and Architecture

What is the impact of virtual models and realms in contemporary theatre, art and architecture?This volume explores the evolution of virtual models, their transformative spatial potential, and their capaci…

lieferbar ab 27.11.2025.
Buch
Aktueller Preis: EUR 145,86

Ashley Amos, Jon Carver
The Financial Integration and Resilience Model

Over the past several years, the global pandemic, environmental events and changing economic conditions, such as rising inflation and market volatility, have created unprecedented financial uncertainty in…

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