Static Analysis – alle Bücher und LPs

Static Analysis

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundament…

Hans-Martin Eckel

Kinematische Analyse von Spindellagern unter statischen und dynamischen Kräften

Die Leistungsgrenze von radial belasteten, schnelldrehenden Spindellagern wird rechnerisch häufig durch den Kugelvor- und -nachlauf begrenzt. Experimentelle Ergebnisse sind nur unzureichend verfügbar. Ein…

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…

Andreas Dotzauer

Kollegiale Beratung in der betrieblichen Führungskräfteentwicklung. Theoretischer Rahmen, Status quo und qualitative Analyse der Herausforderungen bei der Einführung aus Sicht betrieblicher Personalentwicklungsexperten

Kollegiale Beratung ist ein Beratungsformat im Rahmen der betrieblichen Personal- bzw. Führungskräfteentwicklung. Diese neuere Art des Lernens bewirkt positive Effekte sowohl auf individueller als auch au…

Ana Figueiredo, José Silva, Bráulio Soares

Rotation und Gleichgewicht der Gezeiten

Diese Arbeit bringt Diskussionen über Gezeitentheorie und Doppelsternsysteme und konfrontiert die Ideen von Zahn, Tassoul und anderen Wissenschaftlern auf diesem Gebiet. Wir haben Daten von Perioden, Exze…

Star Trek Vinyl Box (Limited Deluxe Edition)

William Macgillivray

The Travels and Researches of Alexander von Humboldt. Being a Condensed Narrative of His Journeys in the Equinoctial Regions of America, and in Asiatic Russia. Together with Analyses of His More Important Investigations

Reprint of the original, first published in 1838. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

Model Checking Software

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

Innovative Security Solutions for Information Technology and Communications

.- Designing Human-centric security protocols..- Election Security-by-Design..- A Conceptual Framework to Leverage Heuristics for Effective Human-Machine Collaboration in Incident Handling..- Locally Veri…

Kamran Hassani, Farhad Azimifar

Introduction to Continuum Mechanics

Continuum mechanics is the basis for static and dynamic analysis of two-dimensional structures and three-dimensional continua. Continuum mechanics is crucial because it provides a mathematical framework t…