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

Languages of Cooperation and Communication

Lecture Notes in Computer Science - Band 15840

This Festschrift is dedicated to Erzsébet Csuhaj-Varjú in recognition of her contributions to theoretical computer science. Over the course of her distinguished career, she has played a pivotal role in ad…

lieferbar innerhalb 2-3 Wochen

Buch

Learning and Intelligent Optimization

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

Buch

Learning and Intelligent Optimization

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

Buch

Learning and Reasoning

Lecture Notes in Computer Science - Band 16059

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

Logic-Based Program Synthesis and Transformation

Lecture Notes in Computer Science - Band 16117

.- Symbolic Computation and Verification Methods in Maude..- Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization..- Implementing a Many-Valued Semantics for Logic Prog…

lieferbar innerhalb 2-3 Wochen

Buch

Logics in Artificial Intelligence

Lecture Notes in Computer Science - Band 16094

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

Lecture Notes in Computer Science - Band 16093

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…

lieferbar in mind. 4 Wochen

Buch

Model-Based Safety and Assessment

Lecture Notes in Computer Science - Band 15755

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

Modeling Decisions for Artificial Intelligence

Lecture Notes in Computer Science - Band 15957

.- Decision making and uncertainty..- Measurable Closure of a Finitely-Additive Measure Space: An Analysis of Spaces Similar to Stone Spaces..- Ecological Inference for Electoral Analysis: A Computational…

sofort lieferbar

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

Buch

Principles of Formal Quantitative Analysis

Lecture Notes in Computer Science - Band 15760

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

This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27--30, 2025.The 13 full papers presented here were ca…

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

Buch

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

Lecture Notes in Computer Science - Band 16143

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

Introduction.- Quantum Computing Fundamentals: Beyond Classical Bits.- Qubits, Quantum Gates, and Quantum Circuits.- Quantum Programming: Languages and Frameworks.- Key Quantum Algorithms: Shor's, Grove's…

lieferbar innerhalb 2-3 Wochen

Buch

Quantum Systems at the Nanoscale

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

Buch

Reachability Problems

Lecture Notes in Computer Science - Band 16230

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

Recursion Across Languages

Studies in Theoretical Psycholinguistics

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

Buch

Rules and Reasoning

Lecture Notes in Computer Science - Band 16144

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