Software Engineering – alle Bücher und LPs, Seite 8

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.The…

lieferbar innerhalb 2-3 Wochen

Buch

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took pl…

lieferbar innerhalb 2-3 Wochen

Buch

Frontiers of Combining Systems

This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29--October 1, 2…

lieferbar innerhalb 2-3 Wochen

Buch

Security and Trust Management

.- Identity Management, Authentication, Access Control & Formal Modeling..- Toward Secure and Trustworthy Identity Management Systems: A Knowledge-base Driven Approach..- Always Authenticated, Never E…

lieferbar innerhalb 2-3 Wochen

Buch

Adrienne Braganza
Looks Good to Me

From the back cover:"Looks Good To Me" is a comprehensive guide to code reviews. It's perfect for any stage of your process--whether you're improving your practices, setting up a new review syst…

lieferbar innerhalb 1-2 Wochen

Buch

Advances in Conceptual Modeling

.- FCM. .- Logical Foundations of Conceptual Modelling for Relational and SQL Databases - an introduction. .- Disentangling the schema turn: Restoring the information base to conceptual modelling. .- Repr…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

.- 1st International Workshop on Co-Design of Communication, Computing, and Control in Cyber-Physical Systems (CoC3CPS 2025). .- An end-to-end testbed for communication, compute, and control co-design: th…

lieferbar innerhalb 2-3 Wochen

Buch

Perspectives in Business Informatics Research

This book constitutes the proceedings of the 24th International Conference on Perspectives in Business Informatics Research, BIR 2025, which took place in Riga, Latvia, in September 2025. The central them…

lieferbar innerhalb 2-3 Wochen

Buch

Conceptual Modeling

This book constitutes the proceedings of the 44th International Conference on Conceptual Modeling, ER 2025, which took place in Poitiers, France, during October 20--23, 2025.The 22 full papers included in…

lieferbar innerhalb 2-3 Wochen

Buch

Product-Focused Software Process Improvement. Industry, Doctoral-Symposium, Tutorial, and Workshop Papers

Industry Papers.- Obtaining Test Data in the Estonian e-Government System: Challenges and Improvement Potential.- From C to Rust -- How Feasible is it?.- Cross-Domain Evaluation of Transformer-Based Vulne…

lieferbar innerhalb 2-3 Wochen

Buch

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

Adam Bellemare
Building Event-Driven Microservices

Event-driven microservices offer an optimal approach to harnessing event streams, reacting and responding to changes as they occur across your company. With this fully revised and updated guide, you'll le…

lieferbar innerhalb 1-2 Wochen

Buch

Computer and Communication Engineering

This volume constitutes the revised selected papers of 5th International Conference on Computer and Communication Engineering, CCCE 2025, in Helsinki, Finland, during May 23--25, 2025.The 12 full papers i…

lieferbar innerhalb 2-3 Wochen

Buch

Systems, Software and Services Process Improvement

The two-volume set CCIS 2657 + 2658 constitutes the refereed proceedings of the 32nd European Conference on Systems, Software and Services Process Improvement, EuroSPI 2025, held in Riga, Latvia, during S…

lieferbar innerhalb 2-3 Wochen

Buch

Enterprise Information Systems

.- Design and Software Engineering Experience Report: Designing and Implementing Data Registration via File Import in an Administrative e-Commerce System. .- A Comparative Analysis of the Interactive Web …

lieferbar innerhalb 2-3 Wochen

Buch

Applications and Usability of Interactive TV

.- Technologies, services, and applications for digital TV..- Integration of content in TVC+ through the second screen..- Innovative Design and Implementation of a Low-Cost ISDB-T Receiver and Transport S…

sofort lieferbar

Buch

Cameron H Malin, Matthew Canham, Kirk Kennedy
Synthetic Media, Deep Fakes, and Cyber Deception

Synthetic Media, Deepfakes, and Cyber Deception: Attacks, Analysis, and Defenses introduces the only analytical Synthetic Media Analysis Framework (SMAF) to help describe cyber threats and help security p…

lieferbar ab 1.7.2026.

Buch

Hybrid Human-AI Collaborative Networks

This two-volume set, IFIP AICT 770-771, constitutes the refereed proceedings of the 26th IFIP WG 5.5 SOCOLNET Working Conference on Virtual Enterprises on Hybrid Human-AI Collaborative Networks, PRO-VE 20…

lieferbar innerhalb 2-3 Wochen

Buch

Let's Talk AI

This unique open access volume represents an interdisciplinary dialog with top-class researchers and practitioners on the Artificial Intelligence revolution. The contributions derive from structured inter…

lieferbar innerhalb 2-3 Wochen

Buch

Hybrid Human-AI Collaborative Networks

This two-volume set, IFIP AICT 770-771, constitutes the refereed proceedings of the 26th IFIP WG 5.5 SOCOLNET Working Conference on Virtual Enterprises on Hybrid Human-AI Collaborative Networks, PRO-VE 20…

lieferbar innerhalb 2-3 Wochen

Buch