Thema Theoretische Informatik – alle Bücher, Seite 10

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

Machines, Computations, and Universality

This book constitutes the refereed proceedings of the 10th International Conference on Machines, Computations, and Universality, MCU 2024, held in Nice, France, during June 5-7, 2024.The 8 full papers and…

lieferbar innerhalb 2-3 Wochen

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

Metadata and Semantic Research

This book constitutes the refereed post proceedings of the 18th Research Conference on Metadata and Semantic Research, MTSR 2024, held in Athens, Greece, during November 19-22, 2024.The 23 full papers and…

lieferbar innerhalb 2-3 Wochen

Buch

Model Validation and Uncertainty Quantification, Volume 3

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics, 2023, the third volume of ten from the Conference brings togeth…

lieferbar innerhalb 2-3 Wochen

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

NASA Formal Methods

This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in t…

lieferbar innerhalb 2-3 Wochen

Buch

Optimization and Learning

This book constitutes the refereed proceedings of the 7th International Conference on Optimization and Learning, OLA 2024, held in Dubrovnik, Croatia, during May 13-15, 2024.The 24 full papers presented h…

lieferbar innerhalb 2-3 Wochen

Buch

Practical Aspects of Declarative Languages

This book constitutes the refereed proceedings of the 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025, held in Denver, CO, USA, during January 20-21, 2025.The 15 full…

lieferbar innerhalb 2-3 Wochen

Buch

Principles and Practices of Building Parallel Software

This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-perfor…

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

Buch

Quantum Machine Learning in Industrial Automation

1.Quantum Machine Learning for Cost Variance Analysis in Industrial Manufacturing Processes: A Computational Breakthrough.- 2.Enhanced Optimization-Quantum Machine Learning.- 3.Industrial Automation and C…

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

Buch

Recurrence Plots and Their Quantifications: Methodological Breakthroughs and Interdisciplinary Discoveries

This book collects selected contributions from the 10th Recurrence Plot Symposium, held at the University of Tsukuba, Japan (August 28-30, 2023). It reflects on the achievements of the previous nine sympo…

lieferbar innerhalb 2-3 Wochen

Buch

Rigorous State-Based Methods

This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10--13, 2025.The 10 full papers, 4 s…

lieferbar innerhalb 2-3 Wochen

Buch