TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 11.

Knorr, Tilman ; Kaiser, Markus ; Glenk, Friedrich ; Etzold, Bastian J. M. (2012)
Shrinking core like fluid solid reactions—A dispersion model accounting for fluid phase volume change and solid phase particle size distributions.
In: Chemical Engineering Science, 69 (1)
doi: 10.1016/j.ces.2011.11.002
Article, Bibliographie

Kaiser, Markus (2010)
Computer verification of algorithms using a formal proof system.
Technische Universität Darmstadt
Ph.D. Thesis, Bibliographie

Kaiser, Markus (2009)
Korrosion metallischer Werkstoffe unter Beaufschlagung von Kühlmittelzusätzen für Verbrennungskraftmaschinen.
Book, Bibliographie

Kaiser, Markus (2008)
Heißkühlung : Korrosionsgefrierschutzmittel für Hochleistungsmotoren.
Book, Bibliographie

Berger, Christina ; Gugau, Manfred ; Troßmann, Torsten ; Kaiser, Markus (2007)
Korrosions- und Gefrierschutzmittel für Hochleistungsmotoren : Informationstagung Motoren, Herbsttagung 2007, Leipzig, Abschlußbericht Vorhaben Nr. 856.
In: Forschungsvereinigung Verbrennungs-Kraftmaschinen / R, 539
Article, Bibliographie

Kaiser, Markus ; Buchmann, Johannes (2006)
Computer Verification in Cryptography.
Conference or Workshop Item, Bibliographie

Kaiser, Markus ; Buchmann, Johannes (2006)
A Formal Approach for Proof Constructions in Cryptography.
In: >International Journal of Computer Science, 1
Article, Bibliographie

Sausen, Eckhard ; Goericke, Manfred ; Meszaros, L. ; Hafner, Michael ; Wochner, T. ; Lievens, S. ; Dühring, E. ; Corthouts, J. ; Gugau, Manfred ; Kaiser, Markus (2005)
Prüfung der Eignung von Kühlmittelzusätzen für die Kühlflüssigkeit von Verbrennungsmotoren : Richtlinien für das Prüfverfahren.
Report, Bibliographie

Gugau, Manfred ; Kaiser, Markus (2004)
Moderne Kühlmittelzusätze : umwelt- und leichtmetallverträgliche Kühlmittelzusätze für moderne Verbrennungskraftmaschinen ; Abschlussbericht Vorhaben Nr. 777.
Book, Bibliographie

Gugau, Manfred ; Kaiser, Markus ; Berger, Christina (2004)
Moderne Kühlmittelzusätze und Entwicklung einer neuen FVV-Prüfrichtlinie.
Conference or Workshop Item, Bibliographie

Berger, Christina ; Gugau, Manfred ; Kaiser, Markus (2004)
Umwelt- und leichtmetallverträgliche Kühlmittelzusätze für moderne Verbrennungskraftmaschinen.
Conference or Workshop Item, Bibliographie

This list was generated on Sat Mar 2 00:56:56 2024 CET.