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?

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…

Artikel am Lager

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

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…

Artikel am Lager

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

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 ab 7.12.2025.

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

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…

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

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

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

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

Alessandro Benedetti
How Large Language Models Can Help Your Search Project

The primary scope of this book is to communicate the current state of the art of large language model applications in the domain of information retrieval and search with a pragmatic perspective on industr…

lieferbar ab 18.12.2025.

Buch

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

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

Translational Models of Parkinson's Disease and Related Movement Disorders

Translational Models of Parkinson's Disease and Related Movement Disorders focuses on cutting-edge techniques for creating and validating current Parkinson's Disease translational experimental models. Var…

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 8.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.