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

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

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

Bruce L. Brown, Jessica M. Scott, Joseph A. Olsen, Petr Blahus
Psychometrics, Test Theory, and the Latent Factors Model

A combination of psychometric theory, history, philosophy, and practice, with recent advances in analytical methods, metrology, and design.Psychometrics, Test Theory, and the Latent Factors Model began as…

lieferbar in mind. 4 Wochen

Buch

Honey, You're a Wonderful Model: Maria Lassnig's Animated Films

Neue Forschungsergebnisse und Perspektiven zum filmischen Werk einer der wichtigsten Malerinnen des 20. Jahrhunderts.Der Katalog bietet neue Erkenntnisse zu Lassnigs Engagement in der experimentellen Film…

lieferbar ab 31.3.2026.

Buch

Nancy
Unraveling Cooperation: A Model that Captures Subjects' Behavior Beyond Markov Equilibrium

Cooperation is a fundamental aspect of human society, enabling individuals to achieve goals that would be impossible alone. Game theory provides a framework for analyzing cooperative behavior, but traditi…

lieferbar innerhalb 2-3 Wochen

Buch

Viacheslav Kovtun
Formal Models of Divide-and-Conquer Queuing Systems in 5G Infrastructures

In recent decades, the evolution of digital technologies has led to the proliferation of highly distributed, dynamic, and heterogeneous information and communication systems (ICS). Among them, 5G-IoT infr…

lieferbar ab 23.4.2026.

Buch

Joseph A Ball, Haripada Sau
Dilation and Model Theory for Pairs of Commuting Contraction Operators

Exactly a decade after the publication of the Sz.-Nagy Dilation Theorem, Tsuyoshi Andô proved that, just like for a single contractive operator, every commuting pair of Hilbert-space contractions can be l…

lieferbar ab 31.7.2026.

Buch

Product Lifecycle Management. PLM in the Age of Model-Based Engineering in Industry

This 2-volume set constitutes the post proceedings of the 22nd IFIP WG 5.1 International Conference on Product Lifecycle Management, PLM 2025, which took place in Seville, Spain, July 2025.The 79 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

Product Lifecycle Management. PLM in the Age of Model-Based Engineering in Industry

This 2-volume set constitutes the post proceedings of the 22nd IFIP WG 5.1 International Conference on Product Lifecycle Management, PLM 2025, which took place in Seville, Spain, July 2025.The 79 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

Luna Gebehart
Richard Rains in: Das Model. Life is a Story - story.one

Seit sieben Jahren schlägt sich der abgehalfterte Privatdetektiv Richard Rains mit schlecht bezahlten Aufträgen durch, doch der Mord an der jungen Naomi Ricci einem Model aus Rom katapultiert ihn in eine …

lieferbar innerhalb 2-3 Wochen

Buch

ZFHE 20-4: New Models of the University - Innovative Structures, Adaptive Responses, and Strategic Behavior

Bd. 20 Nr. 4 (2025): New Models of the university innovative structures, adaptive responses, and strategic behaviorDa Universitäten weltweit mit noch nie dagewesenen Herausforderungen und Veränderungen ko…

lieferbar innerhalb 2-3 Wochen

Buch

Clinical Applications of the Dsm-5 Alternative Model for Personality Disorders

Transforming understanding and treatment of personality disorders with cutting-edge, evidence-based insightsClinical Applications of the DSM-5 Alternative Model for Personality Disorders is an important r…

lieferbar innerhalb 2-3 Wochen

Buch

Jimmy Chhor
Cyclic Procedure Model for the Continuous Optimization of Digital Business Processes

Digital processes drive an organization's digital transformation. Core business exhibit a high digital maturity, whereas support processes often receive less attention despite their essential role. This r…

lieferbar innerhalb 2-3 Wochen

Buch

Innovative Models of Care: Improving Treatment Access, an Issue of Psychiatric Clinics of North America

In this issue of Psychiatric Clinics , guest editors Drs. Lara Farrell and Eric A. Storch bring their considerable expertise to the topic of Innovative Models of Care: Improving Treatment Access. Top expe…

lieferbar innerhalb 2-3 Wochen

Buch

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…

mind. 2 Monate

Buch

Christian Weiland
A Lagrangian Model for the Prediction of Bubble Breakup (Band 15)

In many chemical and biochemical processes, mass transfer between gas and liquid phases plays a crucial role. Gaseous species are often introduced into the system as bubbles, with mass transfer occurring …

lieferbar innerhalb 2-3 Wochen

Buch

Contemporary Practice Models in Oms, an Issue of Oral and Maxillofacial Surgery Clinics of North America

In this issue of Oral and Maxillofacial Surgery Clinics , guest editor Dr. Vincent J. Perciaccante brings his considerable expertise to the topic of Contemporary Practice Models in Oral and Maxillofacial …

lieferbar innerhalb 1-2 Wochen

Buch

Verification, Model Checking, and Abstract Interpretation

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-1…

lieferbar innerhalb 2-3 Wochen

Buch

Felice McDowell
1960s Model Girl: Narrative Identities in Fashion, Time and History

"As the British fashion industry took off in the post-war period, the figure of the photographic fashion model rapidly came to represent a new mode of femininity: independent, successful, and fashion…

lieferbar in mind. 4 Wochen

Buch

Jacks
Unfinished Symphony: The Standard Model and the Quest for a Complete Theory

"Unfinished Symphony: The Standard Model and the Quest for a Complete Theory" delves into the world of particle physics and the Standard Model. The Standard Model is a remarkably successful theo…

lieferbar innerhalb 2-3 Wochen

Buch