Thema Theoretische Informatik – alle Bücher, Seite 8

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

Modeling Decisions for Artificial Intelligence

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

Optimization and Learning

This book constitutes the refereed proceedings of the 8th International Conference on Optimization and Learning, OLA 2025, held in Dubai, United Arab Emirates, during April 23--25, 2025.The 30 full papers…

lieferbar innerhalb 2-3 Wochen

Buch

Practical Aspects of Declarative Languages

This book constitutes the refereed proceedings of the 28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026, held in Rennes, France, during January 2026.The 11 full papers …

lieferbar innerhalb 2-3 Wochen

Buch

PRIMA 2025: Principles and Practice of Multi-Agent Systems

This book constitutes the refereed proceedings of the 26th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2025, held in Modena, Italy, during December 16--19, 2025.The 2…

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

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

Quantum Computing: Applications and Challenges

This book is intended for academics, researchers, Ph.D. students, and industrials to learn about quantum computing and prepare them to understand the future with its cutting-edge tools. Quantum computing …

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

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

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

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in …

lieferbar innerhalb 2-3 Wochen

Buch

Static Analysis

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

lieferbar innerhalb 2-3 Wochen

Buch

String Processing and Information Retrieval

.- New perspectives on the Burrows--Wheeler Transform (Keynote)..- Scaling genomic reuse: hypothesis and algorithms for k-mer collections (Keynote)..- Succinct Dynamic Data Structures (25 years on) (Keyno…

lieferbar innerhalb 2-3 Wochen

Buch

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

This volume LNAI 16099 constitutes the refereed proceedings of the 19th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2025, held in Hagen, Germany, dur…

lieferbar innerhalb 2-3 Wochen

Buch

Testing Software and Systems

This book constitutes the refereed proceedings of the 37th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2025, held in Limassol, Cyprus, during September 17--19, 2025.The 19 …

lieferbar innerhalb 2-3 Wochen

Buch

The 25th European Conference on Integrated Optics

This volume presents peer-reviewed and selected papers from the 2024 European Conference on Integrated Optics (ECIO), held on 17-19 June, 2024, and organized by RWTH Aachen University, Germany, in collabo…

lieferbar innerhalb 2-3 Wochen

Buch