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

Computer and Communication Engineering

Communications in Computer and Information Science - Band 2642

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

Computer Safety, Reliability, and Security

Lecture Notes in Computer Science - Band 15954

This book constitutes the refereed proceedings of the 44th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2025, held in Stockholm, Sweden, during September 2025.The 15 ful…

sofort lieferbar

Buch

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

Lecture Notes in Computer Science - Band 15955

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

Conceptual Modeling

Lecture Notes in Computer Science - Band 16189

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

Lecture Notes in Computer Science - Band 16120

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

Communications in Computer and Information Science - Band 2641

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

Lecture Notes in Computer Science - Band 16046

The two-volume set LNCS 16046-16047 constitutes the proceedings of the 36th International Conference on Database and Expert Systems Applications, DEXA 2025, held in Bangkok, Thailand, in August 25--27, 20…

lieferbar innerhalb 2-3 Wochen

Buch

Database and Expert Systems Applications

Lecture Notes in Computer Science - Band 16047

The two-volume set LNCS 16046-16047 constitutes the proceedings of the 36th International Conference on Database and Expert Systems Applications, DEXA 2025, held in Bangkok, Thailand, in August 25--27, 20…

sofort lieferbar

Buch

Database and Expert Systems Applications - DEXA 2025 Workshops

Communications in Computer and Information Science - Band 2615

This volume constitutes the refereed proceedings of the 7th International Workshop on AI System Engineering: Math, Modelling and Software, AISys 2025 and the First International Workshop on Optimisation o…

sofort lieferbar

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 innerhalb 2-3 Wochen

Buch

Digital Innovation and Organizational Transformation

Lecture Notes in Information Systems and Organisation - Band 83

This book is the second volume of proceedings from the 19th International Conference on Wirtschaftsinformatik held in Würzburg, Germany, in 2024.In the context of the global trend toward digitalization, i…

lieferbar innerhalb 2-3 Wochen

Buch

Distributed Computing for Emerging Smart Networks

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…

lieferbar innerhalb 2-3 Wochen

Buch

Edge Computing - EDGE 2025

Lecture Notes in Computer Science - Band 16154

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

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

Focus on Artificial Intelligence in Intelligent Systems Design

Lecture Notes in Networks and Systems - Band 1901

This book highlights recent progress in artificial intelligence applied to the design of intelligent, adaptive, and efficient systems. It presents advanced methods in machine learning, optimisation, model…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods and Software Engineering

Lecture Notes in Computer Science - Band 16229

This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10--13, 2025.The 20…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods for Industrial Critical Systems

Lecture Notes in Computer Science - Band 16040

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 innerhalb 2-3 Wochen

Buch

Frontiers of Combining Systems

Lecture Notes in Computer Science - Band 15979

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

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 innerhalb 2-3 Wochen

Buch

Trefferliste "EDV / Theorie / Software-Entw. / Software Engineering" - alle Bücher