66 Ergebnisse - Zeige 61 von 66.

As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. This volume constitutes the Isabelle documentation. It begins by outlining theoretical aspects and then demonstrates the use in prac...

This book develops a theory of extrapolation spaces with applications to classical and modern analysis. Extrapolation theory aims to provide a general framework to study limiting estimates in analysis. The book also considers the role that optimal decompositions play in limiting inequalities incl. commutator estimates. Most of the results presented are new or have not appeared in book form before. A special feature of the book are the applicat...

In three chapters on Exponential Martingales, BMO-martingales, and Exponential of BMO, this book explains in detail the beautiful properties of continuous exponential martingales that play an essential role in various questions concerning the absolute continuity of probability laws of stochastic processes. The second and principal aim is to provide a full report on the exciting results on BMO in the theory of exponential martingales. The reade...

Presents a phonological, grammatical, and lexical description of a German-American dialect, Michigan Frankenmuth.

In The Bag: Selling in the Salon" gives you the building blocks necessary to generate sales day in and day out, featuring proven tips, techniques and technologies for generating additional revenue. With this book you will gain a clear understanding of how to:

Das Private, das unverwechselbar Menschliche, das Sympathische - die Bredow hat es in all ihren Büchern zum Mittelpunkt gemacht. Dabie hat sie nie übersehen, dass ihre liebenswerten Gestalten nicht im luftleeren Raum leben, sondern in einer Landschaft, einer Stadt, vor allem aber in einer Zeit samt ihren Irrungen und Wirrungen. Um nichts anderes geht es im neuen Buch der Bredow. Alles dreht sich um ein liebenswertes junges Mädchen voller Träum...