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

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

Ansicht:

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

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

lieferbar in mind. 4 Wochen
Buch
Aktueller Preis: EUR 8,51

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

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

lieferbar in mind. 4 Wochen
Buch
Aktueller Preis: EUR 9,04

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
Aktueller Preis: EUR 8,51

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
Aktueller Preis: EUR 28,00

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
Aktueller Preis: EUR 10,64

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
Aktueller Preis: EUR 10,64

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
Aktueller Preis: EUR 10,64

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
Aktueller Preis: EUR 9,04

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
Aktueller Preis: EUR 240,94

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
Aktueller Preis: EUR 188,82

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
Aktueller Preis: EUR 164,95

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
Aktueller Preis: EUR 75,78

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
Aktueller Preis: EUR 63,51

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
Aktueller Preis: EUR 119,99

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
Aktueller Preis: EUR 63,51

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
Vorheriger Preis EUR 186,19, reduziert um 5%
Aktueller Preis: EUR 175,23

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
Aktueller Preis: EUR 142,97

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
Aktueller Preis: EUR 219,03

David Model
Corporate Rule

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

lieferbar ab 20.5.2025.
Buch
Aktueller Preis: EUR 26,05

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
Aktueller Preis: EUR 29,95
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.