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

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 5.3.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

.- Knowledge Discovery and Information Retrieval..- Identification of Sex-Specific Gene Signatures for Atopic Dermatitis Using Machine Learning Models..- Subset Pretraining for Enhancing Neural Network Tr…

lieferbar innerhalb 2-3 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 17.1.2026.

Buch

Learning and Reasoning

This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjin…

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

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

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

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

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

Programming Languages and Systems

.- Type Systems, Safety, and Verification. .- Memory Safety: Uniqueness as Separation. .- Fair Termination for Resource-Aware Active Objects. .- A Formal Foundation for Equational Reasoning on Probabilist…

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 15.3.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 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 6.2.2026.

Buch

Reachability Problems

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

Rules and Reasoning

Two Kinds of Rules: Goal Rules and Belief Rules.- Obligation Taxonomy in the Non-Markovian Situation Calculus.- A Novel Concept Induction Approach for Explainable Quality 4.0.- An Optimized Framework for …

lieferbar innerhalb 2-3 Wochen

Buch

Runtime Verification

.- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

lieferbar innerhalb 2-3 Wochen

Buch