Schlagwort EDV / Theorie / Software-Entw. / Software Engineering – alle Bücher, Seite 5

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

Concurrent Programming, Open Systems and Formal Methods

This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees…

lieferbar innerhalb 2-3 Wochen

Buch

Data Analytics and Management in Data Intensive Domains

.- Conceptual Modeling and Ontologies..- An Approach to Information Security Domain Analysis for Building a Research Infrastructure..- Approach to Developing a Machine Learning Ontology..- Metagraph Opera…

lieferbar innerhalb 2-3 Wochen

Buch

Database and Expert Systems Applications

.- Industrial Keynote..- From Data Silos to Data Mesh: A Case Study in Financial Data Architecture..- Invited Talk..- Blending Contextual Data with Heterogeneous Time Dimensions for Improved Time Series A…

sofort lieferbar

Buch

Database and Expert Systems Applications

.- Image Processing, Analytics, and Vision Systems..- Relationship Analysis of Image-Text Pair in SNS Posts..- Enhancing Segmentation of Irregular Microstructural Elements Using Extended Channel Informati…

sofort lieferbar

Buch

Database and Expert Systems Applications - DEXA 2025 Workshops

.- AI System Engineering: Math, Modelling and Software..- Exploring the benefits of iterative retrieval-augmented generation for risk mitiga tion in LLM response..- TrustAI: Designing and Implementing a T…

lieferbar innerhalb 2-3 Wochen

Buch

Dependable and Secure Computing

Communications in Computer and Information Science - Band 2697

This book constitutes the refereed proceedings of the 14th Latin-American Symposium on Dependable and Secure Computing, LADC 2025, which took place in Valparaiso, Chile, during October 27-31, 2025.The 17 …

lieferbar ab 4.2.2026.

Buch

Distributed Computing for Emerging Smart Networks

Communications in Computer and Information Science - Band 2633

This book constitutes revised selected papers from the 5th International Workshop on Distributed Computing for Emerging Smart Networks, DiCES-N 2025, held in Hammamet, Tunisia, during April 26-27, 2025.Th…

mind. 2 Monate

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

Engineering Educational Games for a Sustainable Society

This book explores innovative approaches to educational game development, emphasizing practical solutions and transformative learning experiences. As learning increasingly converges with digital culture, …

lieferbar ab 15.12.2025.

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

Lecture Notes in Computer Science - Band 16363

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 ab 6.1.2026.

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

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

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

Communications in Computer and Information Science - Band 2644

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 in mind. 4 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

Internationaler Motorenkongress 2024

In diesem Tagungsband werden von anerkannten Experten der Automobil- und Nutzfahrzeugbranche eine Fülle neuer technischer Lösungen aufgezeigt. Die Tagung ist eine unverzichtbare Plattform für den Wissens-…

lieferbar innerhalb 2-3 Wochen

Buch

Internationaler Motorenkongress 2025

Proceedings

In diesem Tagungsband werden von anerkannten Experten der Automobil- und Nutzfahrzeugbranche eine Fülle neuer technischer Lösungen aufgezeigt. Die Tagung ist eine unverzichtbare Plattform für den Wissens-…

lieferbar ab 27.12.2025.

Buch