Inhalt Einstellungen Privatsphäre

Warenkorb EUR 00,00 *

Erweiterte Suche

Ohne aktives Javascript kann es zu Problemen bei der Darstellung kommen. Bitte aktivieren Sie deshalb Ihr Javascript.

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

Ihre Suche nach dem Schlagwort "Mathematik / Informatik, Computer" in Bücher ergab 119 Treffer.

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

Lecture Notes in Computer Science - Band 16201

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

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

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

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 Semantic Web - ISWC 2025

This two-volume set constitutes the proceedings of the 24th International Semantic Web Conference, ISWC 2025, held in Nara, Japan, during November 2--6, 2025.The 60 full papers included in these volumes w…

lieferbar innerhalb 2-3 Wochen

Buch

Theoretical Aspects of Computing - ICTAC 2025

This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24--28, 2025.The 21 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

Theoretical Computer Science

This book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3--5, 2025.The 9 full papers and 1 short p…

lieferbar innerhalb 2-3 Wochen

Buch

Web and Internet Economics

This volume LNCS 15534 constitutes the refereed proceedings of the 20th International Conference on Web and Internet Economics, WINE 2024, held in Edinburgh, UK, during December 2-5, 2024.The 34 full pape…

lieferbar innerhalb 2-3 Wochen

Buch

Women in Numbers Europe IV

This volume contains research and expository content based on a wide variety of topics within modern number theory and arithmetic geometry. Research in this volume arises from or is connected with the Wom…

lieferbar innerhalb 2-3 Wochen

Buch

World Conference of AI-Powered Innovation and TRIZ Methodology

This book constitutes the proceedings of the 25th IFIP WG 5.4 International TRIZ Future Conference on AI-Powered Innovation and Inventive Design, TFC 2025, held in Paris, France, during November 5--7, 202…

lieferbar innerhalb 2-3 Wochen

Buch

World Conference of AI-Powered Innovation and TRIZ Methodology

This book constitutes the proceedings of the 25th IFIP WG 5.4 International TRIZ Future Conference on AI-Powered Innovation and Inventive Design, TFC 2025, held in Paris, France, during November 5--7, 202…

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.