Model-based Testing And Validation – Bücher, Blu-ray Discs, CDs und mehr, Seite 5

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

Ashley Amos, Jon Carver
The Financial Integration and Resilience Model

This book will explore how to create a Financial Integration & Resilience Model (FIRM), based on best practices and innovative approaches (including the use of Artificial Intelligence) for any Museum.

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

Herlie
Bridging the Gap Between Models and Reality: Coreference Effects in Natural Language

Natural language processing (NLP) strives to bridge the gap between the complex world of human language and the structured world of machines. Coreference, the phenomenon where words or phrases refer back …

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

Fiona Forty
DCC for Railway Modellers

Digital Command Control is a standard for a system to operate model railways digitally, enabling locomotives on the same electrical section of track to be independently controlled. Written in layman's ter…

lieferbar innerhalb 2-3 Wochen

Buch

Model Theory, Computer Science, and Graph Polynomials

Part I: Personal Notes.- My writing.- Some personal remarks about Johann A. Makowsky.- The Swiss Connection.- From a Friend and Publisher.- From graph polynomials to the software industry Lessons from Jan…

lieferbar innerhalb 2-3 Wochen

Buch

Statistical Atlases and Computational Models of the Heart. Workshop, CMRxRecon and MBAS Challenge Papers.

.- Single-source Domain Generalization for Coronary Vessels Segmentation in X-ray Angiography..- Constraint-Based Model in Multimodal Learning to Improve Ventricular Arrhythmia Prediction..- Automated est…

lieferbar innerhalb 2-3 Wochen

Buch

Martin Simons
Model Aircraft Aerodynamics, 5th Edition

This is the latest edition - fully revised and updated - of the standard work on aerodynamic theory, as applied to model flight. Everything is explained in a concise and practical form for those enthusias…

lieferbar innerhalb 1-2 Wochen

Buch

Edward Miller
Relating Ontological Truth in the Upanishads to Sleep, Dreaming and Schizophrenia Spectrum Models

This book explores the potential relevance of the Upanishads, a corpus of ancient Eastern apophatic texts, to contemporary Western theories of consciousness and psychopathology, particularly in relation t…

lieferbar innerhalb 2-3 Wochen

Buch

I, Circe | Theological Volume 2

Homer's tale from Greek mythology about the hero Odysseus and the fascinating goddess, heroine, and sorceress Circe is one of the classic stories that are repeatedly interpreted in schools from theologica…

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

Imen Nouira, Bassem El Badsi
Control Strategies of Electric Drives

This book delves into the intricate world of electric drives, offering a comprehensive guide to advanced control strategies. "Control Strategies of Electric Drives" provides readers with an in-d…

lieferbar innerhalb 2-3 Wochen

Buch

Ralla Townsend
Becoming the Axis

Becoming the Axis is a guide for those who are ready to reclaim their center, align with their Higher Self, and choose a path of conscious healing. Drawing from psychology, Choice Theory, and metaphysical…

lieferbar innerhalb 2-3 Wochen

Buch

Joseph Koski,
Advanced Functional Programming with Elixir

Use advanced functional programming principles, practical domain-driven design techniques, and production-ready Elixir code to build scalable, complex systems from simple, reusable components.Combine adva…

lieferbar innerhalb 1-2 Wochen

Buch

Alan Ranger
Mittlerer Felandegangiger Personenkraftwagen

This new photo album is number 37 in the MMPBooks/Stratus "Camera On" series and is the first to cover such a broad selection of Germany's medium off-road passenger cars, including the *Mittlere…

lieferbar ab 15.5.2026.

Buch

Rick Murphy
Integrative Person-Centred Counselling

A book for counsellors, psychotherapists, and psychologists that combines the most influential schools of therapy into a single person-centred modelMost counselling and psychotherapy books present therapy…

lieferbar in mind. 4 Wochen

Buch

David Macdonald, Chris Newman
The Badgers of Wytham Woods

Through a mix of accessible, highly readable prose and cutting-edge science, the authors weave a riveting scientific story of the lives of these intriguing creatures, highlighting the broader insights int…

lieferbar innerhalb 1-2 Wochen

Buch

Jesper Chrautwald Sort, Yariv Taran, Romeo V. Turcan
De-internationalization and Re-internationalization of the Firm

This book marks the first attempt to explore de-internationalization and re-internationalization through business model innovation. Understanding how firms building on their de-internationalization experi…

lieferbar innerhalb 2-3 Wochen

Buch

Stewart Robinson
Simulation

This textbook provides a comprehensive introduction to simulation and its value as an applied problem-solving tool.

lieferbar ab 19.2.2026.

Buch