Power Conversion and Its Efficiency in Thermoelectric Materials von Feldhoff, Armin

Volltext

The Complete (but Unofficial) Guide to the Willem C Vis International Commercial Arbitration Moot - 2nd edition by Jorg Risse (ed) with Markus Altenkirch, Ragnar Harbst, Annette Keilmann and Lisa Reiser von Hayward, Benjamin

Volltext

Martin Hofmann’s contributions to type theory: Groupoids and univalence von Altenkirch, Thorsten

Volltext

Should Type Theory Replace Set Theory as the Foundation of Mathematics? von Altenkirch, Thorsten

Volltext

Monads need not be endofunctors von Altenkirch, Thosten, Chapman, James, Uustalu, Tarmo

Volltext

Die Beziehungen zwischen Slaven und Griechen in ihren sprichwörtern : ein Beitrag zur vergleichenden Parömiographie, Teil I / von Rudolf Altenkirch von Altenkrich, Rudolf, 1880

Volltext bestellen

Ultrafast imaging of laser-induced modifications in planar targets via single-shot in-line holography von Altenkirch, Richard, Peltz, Christian, Böttcher, Tom, Lochbrunner, Stefan, Fennel, Franziska, Fennel, Thomas

Volltext

Numerical study on the effect of capacitively coupled electrical stimulation on biological cells considering model uncertainties von Zimmermann, Julius, Altenkirch, Richard, van Rienen, Ursula

Volltext

Simulation with Entropy Thermodynamics

Volltext

Messtischblatt 1099 : Altenkirch, 1939 Altenkirch

Volltext bestellen

Containers: Constructing strictly positive types von Abbott, Michael, Altenkirch, Thorsten, Ghani, Neil

Volltext

Constructing quotient inductive-inductive types von Kaposi, Ambrus, Kovács, András, Altenkirch, Thorsten

Volltext

Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type von Altenkirch, Thorsten, Danielsson, Nils Anders, Kraus, Nicolai

Volltext

Normalisation by Evaluation for Type Theory, in Type Theory von Thorsten Altenkirch, Ambrus Kaposi

Volltext

In situ study of structural integrity of low transformation temperature (LTT)-welds von Altenkirch, J., Gibmeier, J., Kromm, A., Kannengiesser, Th, Nitschke-Pagel, Th, Hofmann, M.

Volltext

Recent (0-40 years) environmental und climate change as interpreted from the spatial and temporal distribution of organic matter (LOI) in sediment cores from seven tributary fjords... von Altenkirch, Jana

Volltext bestellen

Friction Stir Welding in HSLA-65 Steel: Part I. Influence of Weld Speed and Tool Material on Microstructural Development von Barnes, S. J., Bhatti, A. R., Steuwer, A., Johnson, R., Altenkirch, J., Withers, P. J.

Volltext

Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers von Altenkirch, Thorsten, Naraschewski, Wolfgang, Reus, Bernhard

Volltext

A functional quantum programming language von Altenkirch, T., Grattage, J.

Volltext

Internal Parametricity, without an Interval von Altenkirch, Thorsten, Chamoun, Yorgo, Kaposi, Ambrus, Shulman, Michael

Volltext