Model-checking – Bücher, CDs, LPs und mehr, Seite 10 online kaufen

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

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

Model Optimization Methods for Efficient and Edge AI

Comprehensive overview of the fledgling domain of federated learning (FL), explaining emerging FL methods, architectural approaches, enabling frameworks, and applications Model Optimization Methods for Ef…

lieferbar innerhalb 1-2 Wochen

Buch

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

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

lieferbar in mind. 4 Wochen

Buch

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

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

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

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

Steve Wilson
The Developer's Playbook for Large Language Model Security

Large language models (LLMs) are not just shaping the trajectory of AI, they're also unveiling a new era of security challenges. This practical book takes you straight to the heart of these threats. Autho…

lieferbar innerhalb 1-2 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 America The One Health Model as Applied to Zoonotic Diseases is an easy-to-understand yet comprehe…

lieferbar innerhalb 2-3 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

Shamil Usmanovich Galiev
Extreme Multivalued Waves as a Model of Everything

The purpose of the book is a mathematical and experimental study of extreme, multivalued waves based on scalar field equations. It is known that Einstein tried to build a unified (interdisciplinary) field…

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 Universit…

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 Models began a…

lieferbar ab 6.10.2025.

Buch

David Model
Corporate Rule

Examines the threat of corporate rule to individuals, communities and the environment.

lieferbar in mind. 4 Wochen

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

Julian Danho, Dörrschuck Phillip
Schnelleinstieg in das SAP ABAP RESTful Application Programming Model (RAP)

Von Legacy zu Innovation! Dieses Buch bietet ABAP-Entwicklern und SAP-Beratern einen praxisorientierten Einstieg in die aktuelle Evolutionsstufe der ABAP-Programmierung für SAP: das ABAP RESTful Applicati…

sofort lieferbar

Buch

Amit
Spirituality in Song: A Formational Model for Black Church Music Leaders

"Spirituality in Song: A Formational Model for Black Church Music Leaders" emphasizes the deeper connection between music and faith in the Black church. It suggests this guide goes beyond practicalities a…

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 insights Clinical Applications of the DSM-5 Alternative Model for Personality Disorders is an important …

Erscheint bald

Buch

Trefferliste "Model-checking" - alle Bücher, CDs, LPs und mehr