A dynamic simulation model for transient absorption chiller performance. Part I: The model von Kohlenbach, P., Ziegler, F.

Volltext

A dynamic simulation model for transient absorption chiller performance. Part II: Numerical results and experimental verification von Kohlenbach, P., Ziegler, F.

Volltext

Indoor temperature variations resulting from solar desiccant cooling in a building without thermal backup von White, S.D., Kohlenbach, P., Bongs, C.

Volltext

Assessment of Potential Energy and Greenhouse Gas Savings in the Commercial Building Sector by Using Solar Energy for Air-conditioning Purposes von Greenaway, Timothy, Kohlenbach, Paul

Volltext

The Design and Installation of a Combined Concentrating Power Station, Solar Cooling System and Domestic Hot Water System von Osborne, Jeremy P., Kohlenbach, Paul, Jakob, Uli, Dreyer, Johan, Kim, Jamey

Volltext

Term extraction and Ramsey's theorem for pairs von Kreuzer, Alexander P., Kohlenbach, Ulrich

Volltext

Extracting Herbrand disjunctions by functional interpretation von Gerhardy, Philipp, Kohlenbach, Ulrich

Volltext

Continuous Truth II: Reflections von Fourman, Michael P.

Volltext

Proof mining and combinatorics : Program extraction for Ramsey's theorem for pairs von Kreuzer, Alexander P, Cruiser, Alexander P

Volltext bestellen