Thema Software Engineering – alle Bücher, Seite 7

Enterprise, Business-Process and Information Systems Modeling

.- Business Process Improvement. .- AI-Enhanced Business Process Automation: A Case Study in the Insurance Domain Using Object-Centric Process Mining. .- Identifying Process Improvement Opportunities thro…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

sofort lieferbar

Buch

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3--5, 2025.The 12 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Techniques for Distributed Objects, Components, and Systems

.- tutorial paper..- A Choreographic View of Smart Contracts..- regular papers..- Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems..- Sequential Composition of BDD Transition Syst…

lieferbar innerhalb 2-3 Wochen

Buch

Fundamental Approaches to Software Engineering

This open access book constitutes the proceedings of the 28th International Conference on Fundamental Approaches to Software Engineering, FASE 2025, which was held as part of the International Joint Confe…

lieferbar innerhalb 2-3 Wochen

Buch

Fuzzy Sets and Systems I

Fuzzy Sets and Systems.- Approximative Measurements.- Reputation Management.- Knowledge Carriers.- Data Warehouse.- Phenotropic Interaction.- Responsible Actions.

lieferbar innerhalb 2-3 Wochen

Buch

Fuzzy Sets and Systems II

Fuzzy Sets and Systems.- Performance Management.- Customer Classification.- Job Satisfaction.- Marketing Analytics.- Service Levels.- Responsible Actions.

lieferbar innerhalb 2-3 Wochen

Buch

Fuzzy Sets and Systems III

Fuzzy Sets and Systems.- Conversational Agents.- Smart Logistics.- Smart Participation.- Voting Advice.- Privacy Calculus.- Real-World Geometry.- Responsible Actions.

lieferbar innerhalb 2-3 Wochen

Buch

Go Where the Bugs Are

This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students.After obtaining…

lieferbar innerhalb 2-3 Wochen

Buch

Graph Transformation

This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025. The 10 full papers and 1 short pa…

lieferbar innerhalb 2-3 Wochen

Buch

Grundlagenforschung für vertrauenswürdige Software

Dieses Buch gibt einen Überblick über das Forschungsprojekt "The Fundamental Research for Trustworthy Software" des NSFC und stellt die Forschungsergebnisse sowie Erfolge vor.Das Projekt konzent…

sofort lieferbar

Buch

HCI for Cybersecurity, Privacy and Trust

This book constitutes the refereed proceedings of the 7th International Conference on Cybersecurity, Privacy and Trust, held as Part of the 27th International Conference, HCI International 2025, in Gothen…

lieferbar innerhalb 2-3 Wochen

Buch

HCI for Cybersecurity, Privacy and Trust

This book constitutes the refereed proceedings of the 7th International Conference on Cybersecurity, Privacy and Trust, held as Part of the 27th International Conference, HCI International 2025, in Gothen…

lieferbar innerhalb 2-3 Wochen

Buch

Highlights in Practical Applications of Agents, Multi-Agent Systems and Computational Social Science. The PAAMS Collection

This book constitutes the refereed proceedings of the International Workshops on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2025, held in Lille, France, during June 25--27, 2025.The 1…

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

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

ICT for Global Innovations and Solutions

.- Advancing Vision-Language Models with Generative AI. .- A¨erlink: Blockchain-Enabled Supply-Chain Transparency for Counterfeit Prevention. .- Revolutionizing Shift-Left Testing through an Agentic AI Fr…

lieferbar innerhalb 2-3 Wochen

Buch

Information and Communication Technologies in Education, Research, and Industrial Applications

This book constitutes the proceedings of the 20th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2025, held in Nice, Fra…

lieferbar innerhalb 2-3 Wochen

Buch

Innovations and Interdisciplinary Solutions for Underserved Areas

This book constitutes the refereed post-conference proceedings of the 7th EAI International Conference on Innovations and Interdisciplinary Solutions for Underserved Areas, InterSol 2024, held in Dakar, S…

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Data Engineering and Automated Learning - IDEAL 2025

This two-volume set, LNCS 16238 and LNCS 16239, constitutes the proceedings of the 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025, which was held in Jaén,…

lieferbar innerhalb 2-3 Wochen

Buch