Specification – Bücher, CDs, LPs und mehr, Seite 4

David Austen
International GCSE Accounting: OxfordAQA International GCSE Accounting (9215)

Introduce students to the principles of accounting with comprehensive support for the new OxfordAQA International GCSE Accounting specification. With plenty of worked examples of accounting documents and …

lieferbar in mind. 4 Wochen

Buch

Runtime Verification

.- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

lieferbar innerhalb 2-3 Wochen

Buch

Sarit Maitra
A Practical Guide to Static and Dynamic Econometric Modelling

This book provides a comprehensive guide to econometric modeling, combining theory with practical implementation using Python. It covers key econometric concepts, from data collection and model specificat…

lieferbar innerhalb 2-3 Wochen

Buch

Design Automation for Quantum Computing

Quantum computers offer the ability to solve various complex problems significantly faster than the classical computers. This book provides a comprehensive overview of quantum computing from the perspecti…

lieferbar ab 20.1.2026.

Buch

Neetin Ghaisas
Centrifugal Compressors in Hydrocarbon Processing Industries

This book offers a unique perspective on the aerodynamic and mechanical design features of centrifugal compressors. It provides detailed explanations of auxiliary systems to support engineering profession…

lieferbar ab 1.12.2025.

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Mike Nguyen
Advanced Modeling and Data Challenges

This volume addresses the complexities of real-world data analysis, offering clear guidance through common challenges such as missing data, model specification, variable selection, and hypothesis testing.…

lieferbar ab 10.12.2025.

Buch

Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6¿8, 2024.The 23 full p…

lieferbar innerhalb 2-3 Wochen

Buch

Pierre-Richard Agénor
Monetary Policy and Macroprudential Regulation with Financial Frictions

This book comprehensively studies the critical role that financial frictions, and credit market imperfections in particular, play in macroeconomic models, and how they affect the effectiveness of monetary…

lieferbar ab 5.12.2025.

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Piotr Olender
Austro-Italian Naval War 1866

Explores the 1866 Austro-Italian Naval War, detailing the Battle of Lissa, ironclads, ramming tactics, and ship specifications.This new book covers the Austro-Italian Naval War (1866) a little-known part …

lieferbar innerhalb 1-2 Wochen

Buch

Matthes Elstermann, Albert Fleischmann, Christoph Moser, Stefan Oppl
Contextual Process Digitalization

This open access book presents an overview and step-by-step explanation of process management. It starts with the individual participants' perspectives on their work in a process and its structuring and h…

lieferbar ab 23.12.2025.

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Dynamic Environments Testing, Vol. 7: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics 2024

Dynamic Environments Testing, Volume 7: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics, 2024, the seventh volume of ten from the Conference brings together contributions …

lieferbar innerhalb 2-3 Wochen

Buch

Rebeca for Actor Analysis in Action

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Shar…

lieferbar innerhalb 2-3 Wochen

Buch

Renata Paradowska, Sian Lavers, Sue Northeast
Cambridge Advanced National (AAQ) in Health and Social Care Student Book

This printed student book offers comprehensive coverage of the mandatory units for the Cambridge Advanced National in Health and Social Care (Certificate and Extended Certificate). Endorsed for OCR's qual…

lieferbar in mind. 4 Wochen

Buch

Stefano Tornincasa
Technical Drawing for Product Design

This book is intended for students, academics, designers, process engineers and CMM operators, and presents the ISO GPS and the ASME GD&T rules and concepts. The Geometric Product Specification (GPS) …

lieferbar innerhalb 2-3 Wochen

Buch

R¿zvan Diaconescu
Institution-independent Model Theory

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provid…

lieferbar innerhalb 2-3 Wochen

Buch

Hugh Beyer
User-Centered Agile Methods

Synthesis Lectures on Human-Centered Informatics

This book is an up-to-date exploration of the relationship between user-centered design and Agile development. It offers readers a framework for understanding how user-centered design fits into the overal…

lieferbar ab 10.12.2025.

Buch

Adelaide McLaughlin, Mike Cardwell
A Level Psychology: The Complete Companions for AQA Psychology A Level: Year 1 and AS Student Book, 6th Edition

AQA-Approved A Level Psychology support for Year 1/ASExam Board: AQA Level: A Level (Year 1/AS) Subject: Psychology First teaching: September 2025 First exams: June 2026 (AS) June 2027 (A Level)The Comple…

lieferbar in mind. 4 Wochen

Buch