Schlagwort Mathematik / Informatik, Computer – alle Bücher, Seite 5

Implementation and Application of Automata

This book constitutes the proceedings of the 29th International Conference on Implementation and Application of Automata, CIAA 2025, held in Palermo, Italy, during September 22--25, 2025.The 22 full paper…

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Computer Mathematics

.- Automated Reasoning..- Hammering Higher Order Set Theory..- Synthesis Benchmarks for Automated Reasoning..- Automated Symmetric Constructions in Discrete Geometry..- Formal Libraries..- Growing Mathlib…

lieferbar innerhalb 2-3 Wochen

Buch

Interactive Natural Language Processing

This book addresses the emergence of Interactive Natural Language Processing (iNLP) and its novel paradigm within the field of NLP and discusses the limitations in existing frameworks while aligning with …

lieferbar ab 31.1.2026.

Buch

KI 2025: Advances in Artificial Intelligence

.- Full Technical Papers..- Augmenting Systematic Literature Reviews: A Human-AI Collaborative Framework..- Balanced Reciprocity for Data Sharing - Axiomatization and Mechanism Design..- Toward Short and …

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 in mind. 4 Wochen

Buch

Languages of Cooperation and Communication

Grammars, Grammar Systems, and AutomataControlled Hybrid CD Grammar Systems.- Binary Right-Distinguishability Operation.- Further Remarks on Context-Free Grammars with Subregular Control Languages.- On Pu…

lieferbar innerhalb 2-3 Wochen

Buch

Learning and Intelligent Optimization

Lecture Notes in Computer Science - Band 15744

The two-volume set LNCS 15744 + 15745 constitutes the proceedings of the 19th International Conference on Learning and Intelligent Optimization, LION 2025, which was held in Prague, Czech Republic, during…

lieferbar ab 10.12.2025.

Buch

Logics in Artificial Intelligence

This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1--4, 2025.The…

lieferbar innerhalb 2-3 Wochen

Buch

Logics in Artificial Intelligence

This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1--4, 2025.The…

sofort lieferbar

Buch

Logik, Informations- und Speichertheorie, Archäologie Band 1

De Gruyter Studium

Der erste Band des vierteiligen Lehrbuchs Medientechnisches Wissen führt in die Themen Logik, Informations- und Speichertheorie sowie Archäologie für Medienwissenschaftler:innen ein. Ziel ist es, Studiere…

sofort lieferbar

Buch

Math Optimization for Artificial Intelligence

Mathematical Methods in the Digital Age - Band 2

The book presents powerful optimization approaches for integrating AI into daily life. This book explores how heuristic and metaheuristic methodologies have revolutionized the fields of robotics and machi…

sofort lieferbar

Buch

Model-Based Safety and Assessment

This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.The 28 full papers we…

lieferbar innerhalb 2-3 Wochen

Buch

Network Games, Artificial Intelligence, Control and Optimization

Lecture Notes in Computer Science - Band 16173

This book LNCS 16173 constitutes the proceedings of the 12th International Conference on Network Games, Artificial Intelligence, Control and Optimization, NETGCOOP 2025, held in Bilbao, Spain, during Octo…

lieferbar ab 20.12.2025.

Buch

Principles of Formal Quantitative Analysis

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

Progress in Ultrafast Intense Laser Science XVIII

Topics in Applied Physics - Band 155

This book delivers up-to-date reviews of progress in ultrafast intense laser science, an expanding interdisciplinary research field spanning atomic and molecular physics, molecular science, solid state ph…

lieferbar ab 29.1.2026.

Buch

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

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

Quantum Ops

This book provides a thorough guide to Quantum Operations that closes the gap between quantum computing theory and practical IT operations. Through a variety of contributed chapters, the book addresses ba…

lieferbar ab 3.2.2026.

Buch

Quantum Robustness in Artificial Intelligence

Quantum Science and Technology

This book surveys state-of-the-art research on adversarial robustness of quantum machine learning algorithms. Despite their high efficiency and accuracy, classical ML and AI algorithms can be easily foole…

lieferbar ab 3.2.2026.

Buch

Quantum Systems at the Nanoscale

Lecture Notes in Nanoscale Science and Technology - Band 45

This book addresses one of the most compelling frontiers of contemporary science: the behavior of quantum systems at the nanoscale. In these regimes, where dimensions approach the de Broglie wavelength of…

lieferbar ab 24.2.2026.

Buch

Recursion Across Languages

Studies in Theoretical Psycholinguistics - Band 51

This book explores how recursion---our ability to embed structures within structures---shapes human language. Bridging theory and experiment, it highlights two forms of recursion: direct recursion, which …

lieferbar ab 9.1.2026.

Buch