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

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

Isabella Catalina
Little Caprice - Top Models of MetArt.com

SWEETS FOR MY SWEET: LITTLE CAPRICE Little Caprice zählt sowohl bei MetArt als auch international zu den beliebtesten Erotik-Models. Sie ist ein Naturtalent, das die Männerherzen sofort schneller schlagen…

sofort lieferbar

Buch

The New Model Army Story: Between Dog and Wolf (Blu-ray)

New Model Army zählen seit über einem Vierteljahrhundert zu den größten Underground Künstlern. Dieser Film zeigt die Geschichte einer beindruckenden Band, mit besonderem Augenmerk auf ihren charismatische…

lieferbar innerhalb von 3 Tagen

Blu-ray Disc

An Introduction to Model-Based Cognitive Neuroscience

The main goal of this edited collection is to promote the integration of cognitive modeling and cognitive neuroscience. Experts in the field provide tutorial-style chapters that explain particular techniq…

lieferbar innerhalb 2-3 Wochen

Buch

Quantum Computing Models for Cybersecurity and Wireless Communications

The book explores the latest quantum computing research focusing on problems and challenges in the areas of data transmission technology, computer algorithms, artificial intelligence-based devices, comput…

lieferbar in mind. 4 Wochen

Buch

Peter Hackl, Valerii V. Fedorov
Model-Oriented Design of Experiments

This book presents the basic ideas of statistical methods in the design of optimal experiments. This new edition now includes sections on design techniques based on the elemental Fisher information matric…

sofort lieferbar

Buch

Alia Salah
Model-Based Fault Diagnosis and Fault-Tolerant Control

Wissenschaftliche Reihe Fahrzeugtechnik Universität Stuttgart

Alia Salah introduces a multi-functional, model-based method for fault detection and identification in automotive electric machines. This approach integrates current vehicle diagnostics to detect faults e…

lieferbar innerhalb 2-3 Wochen

Buch

Knowledge Models and Dissemination for Sustainable Development

This book delves into the invaluable contributions made by the Italian UNESCO Chairs toward addressing the intricate and pressing global challenges of our era. Established within the UNITWIN/UNESCO Chairs…

lieferbar innerhalb 2-3 Wochen

Buch

Model-Based Safety and Assessment

This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.The 28 full papers we…

lieferbar innerhalb 2-3 Wochen

Buch

Foundation Models for General Medical AI

This book constitutes the refereed proceedings from the Third International Workshop on Foundation Models for General Medical AI, MedAGI 2025, held in conjunction with the 28th International Conference on…

lieferbar innerhalb 2-3 Wochen

Buch

Zhao Yang, Chaohua Guo
Shale Gas Production: Concept, Models, and Techniques

This book is a comprehensive overview of shale gas science and engineering, covering key facets such as the geological and geochemical characteristics of shale gas reservoirs, gas transport mechanisms in …

lieferbar innerhalb 2-3 Wochen

Buch

Kraftwerk

Die Mensch-Maschine (remastered) (180g)

Viele Fans der Band halten »Die Mensch-Maschine« für ihr bestes. Gleichzeitig war es bis dahin auch das kommerziellste Album von Kraftwerk, das mit »Die Roboter« und »Das Model« zwei der bekanntesten Song…

lieferbar innerhalb einer Woche

Advances in Deep Generative Models for Medical Artificial Intelligence

Generative Artificial Intelligence is rapidly advancing with many state-of-the-art performances on computer vision, speech processing, and natural language processing tasks. Generative adversarial network…

lieferbar innerhalb 2-3 Wochen

Buch

Suhas Pai
Designing Large Language Model Applications

Large language models (LLMs) have proven themselves to be powerful tools for solving a wide range of tasks, and enterprises have taken note. But transitioning from demos and prototypes to full-fledged app…

sofort lieferbar

Buch

Safety Causation Analysis in Sociotechnical Systems: Advanced Models and Techniques

This book provides a comprehensive view on theories, models, and techniques used to investigate and analyze incidents and safety causalities occurring in sociotechnical systems. Consisted of intricately i…

lieferbar innerhalb 2-3 Wochen

Buch

Best of Leyla Love - Persisches Teen Model

Zum Inhalt des Films: Diese hocherotische DVD bietet Ihnen die heißesten Videos des orientalischen Teen-Models Leyla Love. Sehen Sie meist unveröffentlichtes und ungewohnt freizügiges Material dieses sü…

lieferbar innerhalb einer Woche

DVD

Model Shop (1969) (Blu-ray) (UK Import)

Two lovers from very different walks of life collide in Model Shop, the first film by French New Wave luminary Jacques Demy (Bay of Angels, The Umbrellas of Cherbourg) to be shot in the United States and …

lieferbar innerhalb 1-2 Wochen

Blu-ray Disc

Model-Based Software and Systems Engineering

This volume constitutes the revised selected papers of 12th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2024, in Rome, Italy, during February 21--23, 2024.The…

lieferbar innerhalb 2-3 Wochen

Buch

Savneet Kaur, Dinesh M Tripathi
A Comprehensive Guide to Rodent Models of Liver Diseases

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 2-3 Wochen

Buch

John Dilworth
The Pictorial Model of the Tabernacle

Reprint of the original, first published in 1859. 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

Mathematical Models for Interacting Dynamics on Networks

Trends in Mathematics

This volume provides a broad overview of state-of-the-art research on dynamical systems on networks. The chapters are based on contributions to the Final Conference of the COST Action 'CA18232: Mat-Dyn-Ne…

lieferbar ab 11.2.2026.

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.