Thema Software Engineering – alle Bücher, Seite 10

New Trends in Theory and Practice of Digital Libraries

Communications in Computer and Information Science - Band 2694

This book constitutes the proceedings of the workshops held at the 29th International Conference on Theory and Practice of Digital Libraries, TPDL 2025, which took place in Tampere, Finland, during Septem…

lieferbar innerhalb 2-3 Wochen

Buch

Optimization, Learning Algorithms and Applications

Communications in Computer and Information Science - Band 2617

The two-volume set CCIS 2617 and 2618 constitutes the refereed post-conference proceedings of the 5th International Conference on Optimization, Learning Algorithms and Applications, OL2A 2025, held in Ses…

lieferbar innerhalb 2-3 Wochen

Buch

Optimization, Learning Algorithms and Applications

Communications in Computer and Information Science - Band 2618

.- Optimization in the SDG context. .- Application of Continuous and Periodic Review Models to Optimize Inventory Management in Dynamic Demand Scenarios. .- Social Context in Fake News Diffusion. .- Integ…

lieferbar innerhalb 2-3 Wochen

Buch

Parallel Computing Technologies

Lecture Notes in Computer Science - Band 16185

This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2025, held in Almaty, Kazakhstan, during October 2025.The 15 full papers togeth…

lieferbar innerhalb 2-3 Wochen

Buch

Performance Evaluation and Benchmarking

Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 17th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2025, held in London, UK, at September 1, 2025.The 10 full papers inc…

lieferbar ab 21.4.2026.

Buch

Performance Evaluation and Benchmarking

Lecture Notes in Computer Science - Band 15337

This book constitutes the refereed proceedings of the 16th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2024, held in Guangzhou, China, during August 30, 2024.The 7 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

PRIMA 2025: Principles and Practice of Multi-Agent Systems

Lecture Notes in Computer Science - Band 16366

This book constitutes the refereed proceedings of the 26th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2025, held in Modena, Italy, during December 16--19, 2025.The 2…

lieferbar innerhalb 2-3 Wochen

Buch

Principles of Formal Quantitative Analysis

Lecture Notes in Computer Science - Band 15760

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and proba…

lieferbar innerhalb 2-3 Wochen

Buch

Product-Focused Software Process Improvement

Lecture Notes in Computer Science - Band 16361

Full Research Papers.- Coverage Isn't Enough: SBFL-Driven Insights into Manually Created vs. Automatically Generated Tests.- AI Alignment for Ethical Compliance and Risk Mitigation in Industrial Applicati…

lieferbar innerhalb 2-3 Wochen

Buch

Product-Focused Software Process Improvement. Industry, Doctoral-Symposium, Tutorial, and Workshop Papers

Lecture Notes in Computer Science - Band 16362

Industry Papers.- Obtaining Test Data in the Estonian e-Government System: Challenges and Improvement Potential.- From C to Rust -- How Feasible is it?.- Cross-Domain Evaluation of Transformer-Based Vulne…

lieferbar innerhalb 2-3 Wochen

Buch

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

Lecture Notes in Computer Science - Band 16143

This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took pl…

lieferbar innerhalb 2-3 Wochen

Buch

Reachability Problems

Lecture Notes in Computer Science - Band 16230

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

Real-Time Networks and Systems

Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 33rd International Conference on Real-Time Networks and Systems, RTNS 2025, held in Pisa, Italy, during November 5-7, 2025.The 25 full papers included…

lieferbar ab 2.6.2026.

Buch

Recent Advances in the Message Passing Interface

Lecture Notes in Computer Science - Band 15977

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

Requirements Engineering: Foundation for Software Quality

Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 32nd International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2026, held in Poznan, Poland, during March 2…

lieferbar ab 29.4.2026.

Buch

Requirements Engineering: Foundation for Software Quality

Lecture Notes in Computer Science - Band 15588

This book constitutes the refereed proceedings of the 31st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2025, held in Barcelona, Spain, during April…

lieferbar innerhalb 2-3 Wochen

Buch

Research Challenges in Information Science

Lecture Notes in Business Information Processing - Band 548

The two-volume set LNBIP 547 + LNBIP 548 constitutes the proceedings of the 19th International Conference on Research Challenges in Information Sciences, RCIS 2025, which took place in Seville, Spain, in …

lieferbar innerhalb 2-3 Wochen

Buch

Research Challenges in Information Science

Lecture Notes in Business Information Processing - Band 547

The two-volume set LNBIP 547 and LNBIP 548 constitutes the proceedings of the 19th International Conference on Research Challenges in Information Sciences, RCIS 2025, which took place in Seville, Spain, i…

lieferbar innerhalb 2-3 Wochen

Buch

Scientific Computing and Software

Springer Proceedings in Mathematics & Statistics

This volume presents a curated collection of contributions from the Go20 Conference on Scientific Computing and Software, held May 20--24, 2024, in Gozo, Malta. Go20 is an exclusive, invitation-only event…

lieferbar ab 16.4.2026.

Buch

Scientific Computing and Software

Springer Proceedings in Mathematics & Statistics - Band 495

These proceedings present a curated collection of innovative approaches to tackling challenging problems in applied mathematics. These problems, often marked by instability, inaccuracy, and high computati…

lieferbar innerhalb 2-3 Wochen

Buch