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

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

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

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

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

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

Ricardo de Freitas Fernandes Pontes
Cooling Towers and Chilled Water Systems

Cooling Towers and Chilled Water Systems: Design, Operation, and Economic Analysis is a guide to the design and operation of cooling systems within high temperature settings. The book presents various str…

lieferbar in mind. 4 Wochen

Buch

Clive Bell, Eleanor Mayes, Jerome Garnier, Karine Harrington
AQA GCSE French Foundation Student Book

Our Foundation and Higher tier Student Books for the 2024 French, German and Spanish GCSEs are structured around a carefully designed scheme of work, helping students learn and master the building blocks …

lieferbar in mind. 4 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

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

Samantha Broom
AQA GCSE Spanish: AQA GCSE Spanish Foundation Grammar, Vocabulary and Translation Workbooks

Matched to the 2024 AQA GCSE Spanish specification, this pack of 8 Workbooks for Foundation Grammar, Vocabulary and Translation is packed with engaging activities to reinforce key skills and knowledge, pr…

lieferbar in mind. 4 Wochen

Buch

The Application of Formal Methods

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators.After a PhD on software verification at the University of Liverpool, Jim has combined a successful…

lieferbar innerhalb 2-3 Wochen

Buch

Alan Jarvis, Bernie Fishpool, Victoria Ellis
Cambridge Advanced National (AAQ) in IT: Data Analytics Student Book

This printed student book offers comprehensive coverage of the mandatory units for the Cambridge Advanced National in IT: Data Analytics (Certificate and Extended Certificate). Endorsed for OCR's qualific…

lieferbar in mind. 4 Wochen

Buch

Hugh Beyer
User-Centered Agile Methods

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

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

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