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.

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

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

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

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

Hybrid Human-AI Collaborative Networks

IFIP Advances in Information and Communication Technology - Band 771

This two-volume set, IFIP AICT 770-771, constitutes the refereed proceedings of the 26th IFIP WG 5.5 SOCOLNET Working Conference on Virtual Enterprises on Hybrid Human-AI Collaborative Networks, PRO-VE 20…

lieferbar innerhalb 2-3 Wochen

Buch

Hybrid Human-AI Collaborative Networks

IFIP Advances in Information and Communication Technology - Band 770

This two-volume set, IFIP AICT 770-771, constitutes the refereed proceedings of the 26th IFIP WG 5.5 SOCOLNET Working Conference on Virtual Enterprises on Hybrid Human-AI Collaborative Networks, PRO-VE 20…

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

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

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

Intelligent Robotics and Applications

Lecture Notes in Computer Science - Band 16076

The 3-volume set, LNAI 16074-16076, constitutes the proceedings of the 18th International Conference on Intelligent Robotics and Applications, ICIRA 2025, which took place in Okayama, Japan, during August…

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

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

Knowledge Discovery, Knowledge Engineering and Knowledge Management

Communications in Computer and Information Science - Band 2703

This book constitutes the refereed post proceedings of the 16th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2024, held in Porto, Portugal du…

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

Let's Talk AI

Lecture Notes in Computer Science - Band 15000

This unique open access volume represents an interdisciplinary dialog with top-class researchers and practitioners on the Artificial Intelligence revolution. The contributions derive from structured inter…

lieferbar innerhalb 2-3 Wochen

Buch

Model Checking Software

Lecture Notes in Computer Science - Band 15945

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

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

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.