FormalAnalysis – alle Bücher, CDs und LPs

Xiao-Xiong Gan
Formal Analysis

Formal analysis is the study of formal power series, formal Laurent series, formal root series, and other formal series or formal functionals. This book is the first comprehensive presentation of the topi…

lieferbar innerhalb 2-3 Wochen

Buch

Jean-Benoît Bost, François Charles
Quasi-Projective and Formal-Analytic Arithmetic Surfaces

A milestone in the geometric understanding of algebraization theorems that also provides an introduction to Arakelov geometryMotivated by questions of transcendental number theory, arithmetic, and Diophan…

lieferbar ab 15.9.2026.

Buch

Jean-Benoît Bost, François Charles
Quasi-Projective and Formal-Analytic Arithmetic Surfaces

A milestone in the geometric understanding of algebraization theorems that also provides an introduction to Arakelov geometryMotivated by questions of transcendental number theory, arithmetic, and Diophan…

lieferbar ab 15.9.2026.

Buch

Bernhard Ganter, Rudolf Wille
Formal Concept Analysis

Formal Concept Analysis is a field of applied mathematics based on the mathematization of concept and conceptual hierarchy. It thereby activates mathematical thinking for conceptual data analysis and kn…

lieferbar innerhalb 2-3 Wochen

Buch

Task-Oriented Information Modelling

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. TIM (standing for "Task-oriented Information Modelling") designate…

lieferbar innerhalb 2-3 Wochen

Buch

Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui
Formal Methods for the Analysis of Biomedical Ontologies

This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies. The authors take a pragmatic approach focused on generating…

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

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

Maria Lohmann
Laborwerte verstehen. Kompakt-Ratgeber

Unsere Gesundheit lässt sich messen. Anhand von verschiedenen Untersuchungen können Mediziner Aufschluss über unser Befinden erhalten: Laboruntersuchungen von Blut, Urin oder Stuhl geben verlässliche Erke…

sofort lieferbar

Buch

Mitch Ryder

With Love (180g)

Wenn ein Künstler vom Format eines Mitch Ryder auf seine sechs Jahrzehnte währende Karriere zurückblickt und Ihnen sagt, dass sein neuestes Album ein absolutes Muss ist, sollten Sie diese Aussage ernst ne…

Artikel am Lager

LP

Shake Stew

Heat

Kaum eine andere Band hat die mitteleuropäische Jazzszene in den letzten Jahren derart auf den Kopf gestellt wie Shake Stew. Während die ZEIT sie als »Österreichs Jazzband der Stunde« bezeichnete und sie …

Artikel am Lager

CD

Mitch Ryder

With Love

Wenn ein Künstler vom Format eines Mitch Ryder auf seine sechs Jahrzehnte währende Karriere zurückblickt und Ihnen sagt, dass sein neuestes Album ein absolutes Muss ist, sollten Sie diese Aussage ernst ne…

Artikel am Lager

CD

Shake Stew

Heat (180g)

Kaum eine andere Band hat die mitteleuropäische Jazzszene in den letzten Jahren derart auf den Kopf gestellt wie Shake Stew. Während die ZEIT sie als »Österreichs Jazzband der Stunde« bezeichnete und sie …

Artikel am Lager

2 LPs