Thema Software Engineering – alle Bücher, Seite 7

Formal Methods Teaching

Lecture Notes in Computer Science - Band 16566

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026.The 6 full papers included in these proceedin…

lieferbar innerhalb 2-3 Wochen

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

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science - Band 15732

This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in…

lieferbar innerhalb 2-3 Wochen

Buch

Functional and Logic Programming

Lecture Notes in Computer Science - Band 16533

This FLOPS 2026 constitutes the proceedings of the 18th International Symposium on Functional and Logic Programming, FLOPS 2026, held in Tsukuba, Japan, in May 26-28, 2026.The 14 full papers and 2 invited…

lieferbar innerhalb 2-3 Wochen

Buch

Fundamental Approaches to Software Engineering

Lecture Notes in Computer Science - Band 16504

This open access book constitutes the proceedings of the 29th International Conference on Fundamental Approaches to Software Engineering, FASE 2026, which was held as part of the International Joint Confe…

lieferbar innerhalb 2-3 Wochen

Buch

Fuzzy Sets and Systems I

Fuzzy Management Methods

In an era where digital transformation demands ethical foresight and human-centered design, this first volume of a comprehensive trilogy explores how individuals can navigate complexity through responsibl…

lieferbar innerhalb 2-3 Wochen

Buch

Fuzzy Sets and Systems II

Fuzzy Management Methods

As organizations strive to balance innovation with accountability, this second volume in a trilogy on fuzzy systems and digital ethics examines how ethical and sustainable practices can be operationalized…

lieferbar innerhalb 2-3 Wochen

Buch

Fuzzy Sets and Systems III

Fuzzy Management Methods

As organizations strive to balance innovation with accountability, this second volume in a trilogy on fuzzy systems and digital ethics examines how ethical and sustainable practices can be operationalized…

lieferbar innerhalb 2-3 Wochen

Buch

Graph Transformation

Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 19th International Conference on Graph Transformation, ICGT 2026, held in Rennes, France, during June 29--July 3, 2026.The 9 full papers and 4 short p…

lieferbar ab 25.7.2026.

Buch

Graph Transformation

Lecture Notes in Computer Science - Band 15720

This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025. The 10 full papers and 1 short pa…

lieferbar innerhalb 2-3 Wochen

Buch

Handbook on Natural Language Processing for Requirements Engineering

This handbook provides a comprehensive guide on how natural language processing (NLP) can be leveraged to enhance various aspects of requirements engineering (RE), leading the reader from the exploration …

lieferbar innerhalb 2-3 Wochen

Buch

HCI for Cybersecurity, Privacy and Trust

Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 8th International Conference on Cybersecurity, Privacy and Trust, held as Part of the 28th International Conference, HCI International 2026, in Montre…

lieferbar ab 29.7.2026.

Buch

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production

Communications in Computer and Information Science - Band 2919

This book constitutes the revised selected papers of the 14th International Conference on High-Performance Computing Systems and Technologies in Scientific Research, Management and Production Automation, …

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

Information and Communication Technologies

Communications in Computer and Information Science - Band 2707

This book constitutes the refereed proceedings of the 13th Ecuadorian Conference on Information and Communication Technologies, TICEC 2025, held in Quito, Ecuador, during October 16--17, 2025.The 30 full …

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

Innovations for Community Services

Communications in Computer and Information Science - Band 3007

This book constitutes the refereed proceedings of the 26th International Conference on Innovations for Community Services, I4CS 2026, held in Copenhagen, Denmark, during June 15--17, 2026.The 15 full pape…

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Data Engineering and Automated Learning - IDEAL 2025

Lecture Notes in Computer Science - Band 16238

This two-volume set, LNCS 16238 and LNCS 16239, constitutes the proceedings of the 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025, which was held in Jaén,…

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Data Engineering and Automated Learning - IDEAL 2025

Lecture Notes in Computer Science - Band 16239

This two-volume set, LNCS 16238 and LNCS 16239, constitutes the proceedings of the 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025, which was held in Jaén,…

lieferbar innerhalb 2-3 Wochen

Buch

Internationaler Motorenkongress 2024

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

Buch

Trefferliste "Software Engineering" - alle Bücher