Specifications – Bücher, Diverse, CDs und mehr, Seite 4

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

Programming Languages and Systems

This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27--30, 2025.The 13 full papers presented here were ca…

lieferbar ab 20.11.2025.

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

Buch

Dynamic Environments Testing, Volume 7

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

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

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

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

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

Ivo Maljevi¿, Raviraj Adve, Faris Alfarhan
Cellular Radio Access Networks

This textbook goes to the heart of telecommunications engineering by developing the underlying concepts and linking them to how system specifications are determined by standards bodies - and how systems a…

lieferbar innerhalb 2-3 Wochen

Buch

Denise Currie, Leanda Reaves
Pearson Edexcel GCSE Spanish Vocabulary, Grammar and Translation Workbook

Boost KS4 Language Skills with Our Targeted Workbooks!Born from invaluable teacher feedback, our KS4 Vocabulary, Grammar & Translation Workbooks are meticulously crafted to comprehensively support Pea…

lieferbar in mind. 4 Wochen

Buch

Michael Wardle, Tom Hockaday
AQA GCSE French Vocabulary, Grammar and Translation Workbook

Boost KS4 Language Skills with Our Targeted Workbooks!Born from invaluable teacher feedback, our KS4 Vocabulary, Grammar & Translation Workbooks are meticulously crafted to comprehensively support Pea…

lieferbar in mind. 4 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. 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

Gabriela Hallas, Lisa Probert
Pearson Edexcel GCSE German Vocabulary, Grammar and Translation Workbook

Boost KS4 Language Skills with Our Targeted Workbooks!Born from invaluable teacher feedback, our KS4 Vocabulary, Grammar & Translation Workbooks are meticulously crafted to comprehensively support Pea…

lieferbar in mind. 4 Wochen

Buch

Natt Makul
Dictionary of Cement and Concrete Equations

The book addresses the mathematical formula of plain and advanced concretes; specifications; good practice; and sustainable concrete construction. It suits students, researchers, concrete scientists and t…

lieferbar ab 29.12.2025.

Buch

Donald Lemke
Harry Potter Mini Howler

Deliver magical messages by recording and sending your own Howler, with this officially licensed collectible palm-sized set, which includes:Specifications: 3" Howler mini replica inspired by the one …

lieferbar ab 11.12.2025.

Buch

Alexander Arnfinn Olsen
Subsea Pipeline Systems

This book is a comprehensive guide to the classification, design, construction, and maintenance of subsea pipeline systems. It provides an in-depth exploration of offshore pipeline architecture, serviceab…

lieferbar innerhalb 2-3 Wochen

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

Andreas Prinz, Bernhard Thalheim, Joachim Fischer, Birger Møller-Pedersen
Understanding Modelling and Programming

This book provides a concise overview of modelling and programming by presenting their essential concepts. It enables the reader to better understand the relationships between modelling and programming by…

lieferbar innerhalb 2-3 Wochen

Buch