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

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

Ansicht:

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
Aktueller Preis: EUR 72,27

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
Aktueller Preis: EUR 81,04

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
Aktueller Preis: EUR 72,27

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
Aktueller Preis: EUR 63,51

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
Aktueller Preis: EUR 142,37

Wittgenstein-Handbuch

Wittgensteins Denken belebt nach wie vor die zeitgenössischen Debatten in der Sprachphilosophie ebenso wie in der Sprachwissenschaft, der Philosophie der Logik und Mathematik oder der Philosophie des Geis…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 99,99

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
Aktueller Preis: EUR 142,37
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.