Thema Software Engineering – alle Bücher, Seite 8

Distributed Applications and Interoperable Systems

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2025, held in Lille, France, as Part of the 20th…

lieferbar innerhalb 2-3 Wochen

Buch

Distributed, Ambient and Pervasive Interactions

This two-volume set LNCS 15802-15803 constitutes the refereed proceedings of the 13th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2025, held as part of the 27th Inter…

lieferbar innerhalb 2-3 Wochen

Buch

Distributed, Ambient and Pervasive Interactions

This two-volume set LNCS 15802-15803 constitutes the refereed proceedings of the 13th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2025, held as part of the 27th Inter…

lieferbar innerhalb 2-3 Wochen

Buch

Edge Computing - EDGE 2025

This book constitutes the refereed proceedings of the 9th International Conference on Edge Computing held as Part of the Services Conference Federation SCF 2025, Hong Kong, during September 27--30, 2025.T…

lieferbar innerhalb 2-3 Wochen

Buch

Electronic Governance with Emerging Technologies

This book constitutes the refereed proceedings of the Third International Conference on Electronic Governance with Emerging Technologies, EGETC 2024, held in Jakarta, Indonesia, during September 25-26, 20…

lieferbar innerhalb 2-3 Wochen

Buch

Emerging Technologies in Computing

This book LNICST 623 constitutes the refereed conference proceedings of the 7th International Conference on Emerging Technologies in Computing, iCETiC 2024, held in Essex, UK, during August 15--16, 2024.T…

lieferbar innerhalb 2-3 Wochen

Buch

End-User Development

.- Automation, Sustainability, and Smart Environments..- An EUD Approach to Creating Feasible and Energy-saving Automations for Smart Homes..- End-User Customization of Trigger-Action Rules through Fine-T…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Applications of Neural Networks

.- A Human-Centric Decision Support System for Zero-Defect Manufacturing Enabled by Human-in-the-Loop Learning..- A Norm-Chatbot: Local LLM-Vision with Vision-based RAG for Complex Production Documents an…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Applications of Neural Networks

.- A Real-Time Human Action Recognition Model for Assisted Living..- A Survey of Federated Learning-Based Intrusion Detection Methods in Medical IoT.- AI-based automatic counting and classification of aed…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Educational Games for a Sustainable Society

Part I: PLAY: Game-Based Learning for Engagement and Skills Development.- 1. A playful and transformative approach to Learning.- 2. Collaborative World-building as Problem-Solving: The Role of Tabletop Ro…

lieferbar innerhalb 2-3 Wochen

Buch

Enterprise Design, Operations, and Computing. EDOC 2024 Workshops

This volume constitutes revised selected papers of two workshops, the Doctoral Consortium, the Joint CBI-EDOC Forum and and other Joint CBI-EDOC event, which were held in conjunction with the 28th Interna…

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

Enterprise Information Systems

.- Making Talents and Leadership Ready for the AI and Digital Era:Challenges and Directions for Higher Education. .- SLAM with Multimodal Sensor Integration in Autonomous Robotics:A Case Study Using RPLID…

lieferbar innerhalb 2-3 Wochen

Buch

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

Fast, Low-Resource, Accurate Robust Organ and Pan-cancer Segmentation

This book constitutes the proceedings of the MICCAI 2024 Challenge, FLARE 2024, held in Conjunction with MICCAI 2024, in Marrakesh, Morocco, during October 2024.The 20 full papers included in this book we…

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 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

Fundamentals of Software Engineering

.- Improved Gas Optimization of Smart Contracts..- Distributing Quantum Circuits Using Formal Methods..- Automated Test Generation: Taxonomy and Tool Applications..- Finding Universally Quantified Heap In…

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