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…

Maximilian Graßl

Sozialräumliche Differenzierung und Erreichbarkeit

Die sozialräumliche Differenzierung urbaner Räume sowie die damit verbundenen Effekte für die Infrastruktur in segregierten Teilräumen der Stadt gewinnen zunehmend an Bedeutung. Dabei ist die Diskussion u…

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)

Model Checking Software

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

CyberSecurity in a DevOps Environment

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest technique…

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…