Inhalt Einstellungen Privatsphäre

Warenkorb EUR 00,00 *

Erweiterte Suche

Ohne aktives Javascript kann es zu Problemen bei der Darstellung kommen. Bitte aktivieren Sie deshalb Ihr Javascript.

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

Ihre Suche nach dem Schlagwort "EDV / Theorie / Software-Entw. / Software Engineering" in Bücher ergab 143 Treffer.

Reachability Problems

This book constitutes the proceedings of the 19th International Conference on Reachability Problems, RP 2025, which took place in Madrid, Spain, during October 1-3, 2025.The 12 full papers included in the…

lieferbar innerhalb 2-3 Wochen

Buch

Recent Advances in the Message Passing Interface

This book constitutes the proceedings of the 32nd European MPI Users' Group Meeting, EuroMPI 2025, held in Charlotte, NC, USA, during October 1--October 3, 2025.The 10 full papers presented in this book w…

lieferbar innerhalb 2-3 Wochen

Buch

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4…

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

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

Service-Oriented Computing

This book constitutes the revised selected papers of the 19th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2025, held in Crete, Greece, during June 16--21, 2025.The 8 full papers a…

lieferbar innerhalb 2-3 Wochen

Buch

Services Computing - SCC 2025

This book constitutes the refereed proceedings of the 22nd International Conference on Services Computing -- SCC 2025, Held as Part of the Services Conference Federation, SCF 2025, held in Hong Kong, Chin…

lieferbar innerhalb 2-3 Wochen

Buch

Software Architecture

.- Architectures for MLOps..- An Approach for Integrated Development of an MLOps Architecture..- MLOps in Practice: Requirements and a Reference Architecture from Industry..- HarmonE: A Self-Adaptive Appr…

lieferbar innerhalb 2-3 Wochen

Buch

Software Architecture. ECSA 2025 Tracks and Workshops

.- Tools and Demos..- SAVAT: A Tool for Visualizing the Impact of Changes in Microservices..- Infragenie: Living Software Architecture Diagrams From Docker Compose Files..- ServLessSense: Serverless Smell…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering and Advanced Applications

This three-volume set constitutes the refereed proceedings of the 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2025, held in Salerno, Italy, during September 10-12, 20…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering and Advanced Applications

This three-volume set constitutes the refereed proceedings of the 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2025, held in Salerno, Italy, during September 10-12, 20…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering and Advanced Applications

This three-volume set constitutes the refereed proceedings of the 51st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2025, held in Salerno, Italy, during September 10-12, 20…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

This book reports state-of-the-art results in Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. This edited bookpresents original papers on both theory and prac…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering: Emerging Trends and Practices in System Development

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering: Emerging Trends and Practices in System Development

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering: Emerging Trends and Practices in System Development

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering: Emerging Trends and Practices in System Development

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar innerhalb 2-3 Wochen

Buch

Stabilization, Safety, and Security of Distributed Systems

This book constitutes the proceedings of the 27th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2025, held in Kathmandu, Nepal, during October 9--11, 2025.The …

lieferbar innerhalb 2-3 Wochen

Buch

Subject-Oriented Business Process Management. Process Customer Satisfaction and Process Excellence

.- Subject-Oriented Modeling, Philosophy, and Technology.- A Subject-Oriented Consideration of Object-Orientation. .- Mapping of Agents to Subjects in S-BPM. .- Systematics Models for Understanding Declar…

lieferbar innerhalb 2-3 Wochen

Buch

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

This volume LNAI 16099 constitutes the refereed proceedings of the 19th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2025, held in Hagen, Germany, dur…

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.