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

Abrsm
Music Theory Practice Papers Model Answers 2024, ABRSM Grade 8

Model answers for four practice papers from ABRSM's 2024 Music Theory exams for Grade 8

lieferbar in mind. 4 Wochen

Buch

Abrsm
Music Theory Practice Papers Model Answers 2024, ABRSM Grade 5

Model answers for practice papers for ABRSM's Grade 5 Theory exams

lieferbar in mind. 4 Wochen

Buch

Abrsm
Music Theory Practice Papers Model Answers 2024, ABRSM Grade 7

Model answers for four practice papers from ABRSM's 2024 Music Theory exams for Grade 7

lieferbar in mind. 4 Wochen

Buch

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

The Historical City. A Critical Reference and Role Model

This book offers a multivocal and interdisciplinary arena that brings together a wide range of thoughts and approaches addressing the intricacies of dealing with the historical city today. Spanning across…

lieferbar innerhalb 2-3 Wochen

Buch

Abrsm
Music Theory Practice Papers Model Answers 2024, ABRSM Grade 1

Model answers for practice papers for ABRSM's Grade 1 Theory exams

lieferbar in mind. 4 Wochen

Buch

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

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

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

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

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

This volume comprises selected contributions by the participants of the second "Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods" conference, which took place at the…

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 innerhalb 1-2 Wochen

Buch

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

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

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

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

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

Hai-An Zhu
Model-Based Control of Mass-Stiffness-Damping Systems

This book provides a comprehensive and practical framework for model-based control of MKC (mass--stiffness--damping or mass--spring--damper) systems, emphasizing seamless integration of theory and applica…

lieferbar innerhalb 2-3 Wochen

Buch