Type Theory – alle Bücher, LPs und CDs

William M. Farmer
Simple Type Theory

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to sim…

lieferbar innerhalb 2-3 Wochen

Buch

Egbert Rijke
Introduction to Homotopy Type Theory

This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathemati…

lieferbar ab 31.8.2025.

Buch

Oscar Castillo, Patricia Melin
Type-3 Fuzzy Logic and Fractal Theory for Medical Diagnosis

This book is intended to be a reference for scientists and engineers interested in applying type-3 fuzzy logic and fractal theory techniques in medical diagnosis. In this book, a new model based on type-3…

lieferbar innerhalb 2-3 Wochen

Buch

András Horváth, Miklós Telek
Phase Type Distributions

Phase type distributions are widely applicable modeling and statistical tools for non-negative random quantities. They are built on Markov chains, which provide a simple, intuitive stochastic interpretati…

lieferbar innerhalb 1-2 Wochen

Buch

Liquid Tension Experiment

LTE3

Im heutigen Progressive Rock scheint es, als gäbe es jede Woche eine neue Supergroup. Aber lange bevor das die Norm wurde, und bevor Musiker regelmäßig in mehr als einer Band involviert waren, gab es Liqu…

lieferbar in mind. 4 Wochen

2 CDs

Liquid Tension Experiment

LTE3 (180g) (Limited Deluxe Box Set) (Opaque Hot Pink Vinyl)

Im heutigen Progressive Rock scheint es, als gäbe es jede Woche eine neue Supergroup. Aber lange bevor das die Norm wurde, und bevor Musiker regelmäßig in mehr als einer Band involviert waren, gab es Liqu…

lieferbar innerhalb von 3 Tagen

3 LPs, 2 CDs, Blu-ray Disc

Internationale Institutionen

Institutionen spielen eine zentrale Rolle bei der Kooperation und Konfliktregelung in der internationalen Politik. Sie beschränken oder ermöglichen bestimmte Verhaltensweisen und tragen dadurch zur Bearbe…

lieferbar innerhalb 2-3 Wochen

Buch

Georg Reiff
Religionssoziologische Gottesbilder

Dieses Buch untersucht individuelle Gottesvorstellungen christlicher Gläubiger. Auf Grundlage der in einer qualitativen Interviewstudie erhobenen empirischen Daten werden individuelle Gottesbilder rekonst…

lieferbar ab 10.8.2025.

Buch

Carole King

The Living Room Tour (180g) (Limited Numbered Edition) (Green Marbled Vinyl)

Carole King ist eine amerikanische Singer-Songwriterin und Komponistin. Sie war die erfolgreichste weibliche Singer-Songwriterin der zweiten Hälfte des 20. Jahrhunderts und schrieb (teils zusammen mit and…

Artikel am Lager

2 LPs

Katie Ebner-Landy
The Character Sketch as Philosophy

Katie Ebner-Landy shows that early modern Europeans, inspired by the ancient philosopher Theophrastus, embraced the character sketch as a source of moral and political education. Yet Enlightenment thinker…

lieferbar ab 21.10.2025.

Buch

Emily Huddart Kennedy
Eco-Types

Why acknowledging diverse eco-social relationships can help us overcome the political polarization that undermines our ability to protect the environment When we picture the ideal environmentalist, we li…

lieferbar innerhalb 1-2 Wochen

Buch

Linda Smith

Till Another Time: 1988 - 1996

Product Information When Linda Smith purchased a 4 track cassette recorder in the mid-1980s, it was not with the intention of launching a solo career. At the time, she was playing guitar in a band calle…

lieferbar innerhalb 2-3 Wochen

CD

David I Backer
As Public as Possible

A witty and provocative treatise on the financial policies we'll need to make our public schools work for all childrenFrom the anti-CRT panic to efforts to divert tax dollars to charter schools, the right…

lieferbar ab 2.12.2025.

Buch

Stefan Müller-Stach
The Code of Mathematics

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas …

lieferbar innerhalb 2-3 Wochen

Buch

Stergios Chatzikyriakidis, Robin Cooper, Eleni Gregoromichelaki
Types and the Structure of Meaning

Addresses the role of structure in semantic analysis from the perspective of theories of meaning using rich theories of types. Also relates the theory of frames to these type theories as introducing, to s…

lieferbar innerhalb 2-3 Wochen

Buch

Stergios Chatzikyriakidis, Robin Cooper, Eleni Gregoromichelaki
Types and the Structure of Meaning

Addresses the role of structure in semantic analysis from the perspective of theories of meaning using rich theories of types. Also relates the theory of frames to these type theories as introducing, to s…

lieferbar innerhalb 2-3 Wochen

Buch

Peter D'Adamo
Eat Right 4 Your Type

For over 20 years, Peter D'Adamo has extensively researched the connections between blood type, food, and disease. His first book, Eat Right 4 Your Type , is the only book to offer individualised health a…

lieferbar in mind. 4 Wochen

Buch

Lindemann

Skills In Pills (180g)

Lindemann sind Till Lindemann und Peter Tägtgren. Till Lindemann ist der Sänger von Rammstein, die bis heute ca. 17 Mio. Tonträger verkauft haben und damit eine der weltweit erfolgreichsten und respekti…

Artikel am Lager

LP

Iakovos Vasiliou
Varieties of Happiness

Almost all ancient Greek ethical theories are taken to be eudaimonist because of the central role of eudaimonia (happiness) within them. Varieties of Happiness critically examines eudaimonism and challeng…

lieferbar innerhalb 2-3 Wochen

Buch

The French School of Programming

T he French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors in…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Type Theory" - alle Bücher, LPs und CDs