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

Advances in Computing, AI, and ICT for Innovation, Sustainability, and Environmental Stewardship

Advances in Computer Science Applications and Research - Band 3

This book constitutes the proceedings of the International Congress of Computer Science, CORE 2025, Mexico City, Mexico, during October 2025.The 23 full papers included in this book were carefully reviewe…

lieferbar innerhalb 2-3 Wochen

Buch

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

Lecture Notes in Computer Science - Band 16031

This book constitutes the refereed proceedings of the 23rd International Conference on Practical applications of Agents and Multi-Agent Systems, PAAMS 2025, held in Lille, France, during June 25--27, 2025…

lieferbar innerhalb 2-3 Wochen

Buch

Artificial Intelligence, Data, and Decision-Making

Lecture Notes in Information Systems and Organisation - Band 82

This book is the first 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, it…

lieferbar innerhalb 2-3 Wochen

Buch

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

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

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…

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: Foundations and Applications

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

Information and Communication Technologies in Education, Research, and Industrial Applications

This book constitutes the proceedings of the 20th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2025, held in Nice, Fra…

lieferbar innerhalb 2-3 Wochen

Buch

Integrated Formal Methods

Lecture Notes in Computer Science - Band 16194

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19--21, 2025.The 23 full pape…

lieferbar innerhalb 2-3 Wochen

Buch

Internationaler Motorenkongress 2025

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

Job Scheduling Strategies for Parallel Processing

Lecture Notes in Computer Science - Band 16210

This book constitutes the refereed proceedings of the 28th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2025, held in Milan, Italy, during June 3-4, 2025.The 17 full …

lieferbar innerhalb 2-3 Wochen

Buch

Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice

Lecture Notes in Computer Science - Band 15500

This Festschrift is dedicated to Alan Mycroft who formally retired from the University of Cambridge after almost 40 years. Following a BA in Mathematics from the University of Cambridge in 1977, Alan took…

lieferbar innerhalb 2-3 Wochen

Buch

People, Society, and Ethical Challenges of Information Systems

Lecture Notes in Information Systems and Organisation - Band 84

This book is the third 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, it…

sofort lieferbar

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

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

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

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