Challenges of Software Verification

von: Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro, 2023

Qualitätsanalyse des Microsoft Bot Builder SDKs

von: Anonym, 2023

Machine Learning Techniques for Cybersecurity

von: Elisa Bertino, Sonam Bhardwaj, Fabrizio Cicala, Sishuai Gong, Imtiaz Karim, Charalampos Katsis, Hyunwoo Lee, Adrian Shuai Li, Ashraf Y. Mahgoub, 2023

Tales of Electrologica - Computers, Software and People

von: Gerard Alberts, Jan Friso Groote, 2023

The Technical-Business Equilibrium - Mastering the Art of Balancing Technical Expertise and Business Priorities

von: Temidayo Adefioye, 2023

Docs-as-Ecosystem - The Community Approach to Engineering Documentation

von: Alejandra Quetzalli, 2023

Software im Automobil - Ein maschinell-generierter Literaturüberblick

von: Fabian Wolf, 2023

Softwareentwicklung für Kraftfahrzeuge

von: Konrad Reif, Fabian Wolf, 2023

Recoverable Mutual Exclusion

von: Sahil Dhoked, Wojciech Golab, Neeraj Mittal, 2023

Introduction to Ansible Network Automation - A Practical Primer

von: Brendan Choi, Erwin Medina, 2023